Sciweavers

Share
47 search results - page 1 / 10
» Automated conversion from requirements documentation to an o...
Sort
View
ACSC
2000
IEEE
10 years 5 months ago
Object-Oriented Natural Language Requirements Specification
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...
Barrett R. Bryant
ER
1998
Springer
123views Database» more  ER 1998»
10 years 5 months ago
From Object Oriented Conceptual Modeling to Automated Programming in Java
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...
Oscar Pastor, Vicente Pelechano, Emilio Insfr&aacu...
ASWEC
1998
IEEE
10 years 5 months ago
Supplementing Process-Oriented with Structure-Oriented Design Explanation within Formal Object Oriented Method
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...
LeMai Nguyen, Paul A. Swatman, Graeme G. Shanks
ENTCS
2008
135views more  ENTCS 2008»
10 years 1 months ago
Formal Specification Generation from Requirement Documents
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...
Gustavo Cabral, Augusto Sampaio
books