3255 search results - page 207 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
127
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
144
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
132
Voted
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
130
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
145
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...