3514 search results - page 1 / 703 » Evolving Specification Engineering |
KBSE
1998
IEEE
13 years 8 months ago
1998
IEEE
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
RE
1995
Springer
13 years 8 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
EUROMICRO
2002
IEEE
13 years 9 months ago
2002
IEEE
1 Product line engineering is usually a very beneficial, but sometimes also a very risky endeavor, as there is no guarantee for economic success. In this paper, we will describe an...
IWPSE
2010
IEEE
13 years 2 months ago
2010
IEEE
Updating the requirements specification during software evolution is a manual and expensive task. Therefore, software engineers usually choose to apply modifications directly to t...