Sciweavers

15777 search results - page 42 / 3156
» Engineering in Software
Sort
View
LIPARI
2007
Springer
15 years 8 months ago
Software Manipulation with Annotations in Java
Vincenzo Gervasi, Giacomo A. Galilei
SIGSOFT
2005
ACM
15 years 8 months ago
Anchoring and adjustment in software estimation
Jorge Aranda, Steve M. Easterbrook
VMCAI
2004
Springer
15 years 7 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi