Sciweavers

2124 search results - page 305 / 425
» Changing the paradigm of software engineering
Sort
View
ESEM
2009
ACM
14 years 23 days ago
Test coverage and post-verification defects: A multiple case study
Test coverage is a promising measure of test effectiveness and development organizations are interested in costeffective levels of coverage that provide sufficient fault removal w...
Audris Mockus, Nachiappan Nagappan, Trung T. Dinh-...
FASE
2009
Springer
14 years 23 days ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
UML
2000
Springer
14 years 14 days ago
Towards a UML profile for interaction design: the Wisdom approach
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
Nuno Jardim Nunes, João Falcão e Cun...
ACMSE
2008
ACM
13 years 11 months ago
A self-testing autonomic job scheduler
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
Alain E. Ramirez, Barbara Quinones-Morales, Tariq ...
AOSD
2008
ACM
13 years 11 months ago
View-based maintenance of graphical user interfaces
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
Peng Li, Eric Wohlstadter