Sciweavers

15783 search results - page 32 / 3157
» Evidence-Based Software Engineering
Sort
View
REFSQ
2010
Springer
13 years 7 months ago
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
Giedre Sabaliauskaite, Annabella Loconsole, Emelie...
ICSE
2009
IEEE-ACM
13 years 7 months ago
A generic software framework for role-based Organic Computing systems
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-P...
KBSE
2010
IEEE
13 years 7 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...