Sciweavers

16725 search results - page 364 / 3345
» Engineering Software Correctness
Sort
View
168
Voted
ICST
2010
IEEE
15 years 5 months ago
Challenges with Software Verification and Validation Activities in the Space Industry
Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal R...
172
Voted
KBSE
2010
IEEE
15 years 5 months ago
PLASMA: a plan-based layered architecture for software model-driven adaptation
Hossein Tajalli, Joshua Garcia, George Edwards, Ne...
SIGSOFT
2010
ACM
15 years 5 months ago
Evidence-based software production
James Kirby Jr., David M. Weiss, Robyn R. Lutz
179
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
The case for software evolution
Claire Le Goues, Stephanie Forrest, Westley Weimer
156
Voted
ICSE
2009
IEEE-ACM
16 years 8 months ago
Predicting build failures using social network analysis on developer communication
Adrian Schröter, Daniela Damian, Thanh H. D. ...