Sciweavers

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