Sciweavers

1180 search results - page 10 / 236
» Total Functional Software Engineering - Overview Paper
Sort
View
RE
2010
Springer
14 years 5 months ago
Dealing with Non-Functional Requirements in Model-Driven Development
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
David Ameller, Xavier Franch, Jordi Cabot
VSTTE
2010
Springer
14 years 8 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
ICSE
2001
IEEE-ACM
15 years 3 months ago
Functional Paleontology: System Evolution as the User Sees It
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
Annie I. Antón, Colin Potts
ICSE
2009
IEEE-ACM
15 years 5 months ago
A sense of community: A research agenda for software ecosystems
Software vendors lack the perspective to develop software within a software ecosystem. The inability to function in a software ecosystem has already led to the demise of many soft...
Slinger Jansen, Anthony Finkelstein, Sjaak Brinkke...
GECCO
2005
Springer
146views Optimization» more  GECCO 2005»
15 years 4 months ago
An empirical study of the robustness of two module clustering fitness functions
Two of the attractions of search-based software engineering (SBSE) derive from the nature of the fitness functions used to guide the search. These have proved to be highly robust...
Mark Harman, Stephen Swift, Kiarash Mahdavi