Sciweavers

15777 search results - page 44 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ICSE
2000
IEEE-ACM
15 years 6 months ago
Software maintenance and evolution: a roadmap
Keith H. Bennett, Václav Rajlich
104
Voted
KBSE
1997
IEEE
15 years 6 months ago
Research Directions for Automated Software Verification: Using Trusted Hardware
Premkumar T. Devanbu, Stuart G. Stubblebine