47 search results - page 1 / 10 » Automated conversion from requirements documentation to an o... |
SAC
2002
ACM
13 years 4 months ago
2002
ACM
ACSC
2000
IEEE
13 years 8 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...
ER
1998
Springer
13 years 8 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
ASWEC
1998
IEEE
13 years 8 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
ENTCS
2008
13 years 4 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...