Sciweavers

8627 search results - page 14 / 1726
» Software Engineering Using RATionale
Sort
View
IWPC
2003
IEEE
15 years 3 months ago
Software Components Capture Using Graph Clustering
Yves Chiricota, Fabien Jourdan, Guy Melanço...
VSTTE
2005
Springer
15 years 3 months ago
Model-Checking Software Using Precise Abstractions
Marsha Chechik, Arie Gurfinkel