977 search results - page 31 / 196 » Formal methods integration in software engineering |
121
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...
123
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
144
click to vote
AGILEDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
131
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
126
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...