Sciweavers

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