Sciweavers

15824 search results - page 41 / 3165
» Specialising in Software Engineering
Sort
View
112
Voted
VMCAI
2004
Springer
15 years 8 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi
103
Voted
APSEC
2003
IEEE
15 years 8 months ago
Modeling and Enacting Software Processes Using VRPML
Kamal Zuhairi Zamli, Peter Lee
99
Voted
CSMR
2003
IEEE
15 years 8 months ago
Maintaining Evolving Component-Based Software with UML
Ye Wu, Jeff Offutt