1146 search results - page 3 / 230 » Formal Specification Generation from Requirement Documents |
WER
1998
Springer
13 years 9 months ago
1998
Springer
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
RE
2008
Springer
13 years 4 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
ICRE
1998
IEEE
13 years 9 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...