Sciweavers

15799 search results - page 43 / 3160
» Software engineering: a roadmap
Sort
View
VMCAI
2004
Springer
15 years 7 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi
88
Voted
APSEC
2003
IEEE
15 years 7 months ago
Modeling and Enacting Software Processes Using VRPML
Kamal Zuhairi Zamli, Peter Lee