Sciweavers

8627 search results - page 14 / 1726
» Software Engineering Using RATionale
Sort
View
94
Voted
APSEC
2003
IEEE
15 years 8 months ago
Modeling and Enacting Software Processes Using VRPML
Kamal Zuhairi Zamli, Peter Lee
IWPC
2003
IEEE
15 years 7 months ago
Software Components Capture Using Graph Clustering
Yves Chiricota, Fabien Jourdan, Guy Melanço...
80
Voted
VSTTE
2005
Springer
15 years 8 months ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel