Sciweavers

267 search results - page 17 / 54
» Cross-Platform Development: Software that Lasts
Sort
View
76
Voted
ICSE
2007
IEEE-ACM
15 years 3 months ago
Fifth Workshop on Software Quality
Cost, schedule and quality are highly correlated factors in software development. They basically form three sides of the same triangle. Beyond a certain point (the “Quality is F...
Barry W. Boehm, Sunita Chulani, June M. Verner, Be...
VSTTE
2005
Springer
15 years 3 months ago
Model Checking: Back and Forth between Hardware and Software
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, He...
ECOOP
2005
Springer
15 years 3 months ago
The Role of Design Information in Software Evolution
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
Walter Cazzola, Sonia Pini, Massimo Ancona
APSEC
2006
IEEE
15 years 3 months ago
An Accurate and Convenient Undo Mechanism for Refactorings
Refactoring makes existing source code more understandable and reusable without changing observable behavior. Therefore, applying refactorings to existing source code and reversin...
Katsuhisa Maruyama
SEFM
2005
IEEE
15 years 3 months ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...