Formal Specification Generation from Requirement Documents

Electronic Notes in Theoretical Computer Science

Volumn 195, Issue C, 2008, Pages 171-188

  Cabral, Gustavo ^a,b   Sampaio, Augusto ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^b MOTOROLA INC   (United States)

Author keywords

Controlled Natural Language; CSP; Formal Models Refinement; Formal Specification Generation; Use Case Specification

Indexed keywords

AUTOMATIC PROGRAMMING; NATURAL LANGUAGE PROCESSING SYSTEMS; PROGRAM DOCUMENTATION; SPECIFICATIONS;

CONTROLLED NATURAL LANGUAGE; FORMAL MODELS REFINEMENT; FORMAL SPECIFICATION GENERATION; USE CASE SPECIFICATION;

FORMAL METHODS;

EID: 38549169362     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.08.032     Document Type: Article

References (19)

1. Bowen J., and Hinchey M. Seven more myths of formal methods. IEEE Softw. 12 (1995) 34-41
2. Cartaxo, E., "Test Case Generation by means of UML Sequence Diagrams and Label Transition System for Mobile Phone Applications," Master's thesis, Universidade Federal de Campina Grande (UFCG) (2006)
3. Ferreira, P., A. Sampaio and A. Mota, Viewing CSP specifications with UML-RT diagrams, in: Brazilian Symposium on Formal Methods (SBMF), 2006
4. Fillmore, C., Frame semantics and the nature of language, In Proceeding of the New York Academy of Sciences: Conference on the Origin and Development of Language and Speech 280 (1976)
5. Fuchs, N., U. Schwertel and R. Schwitter, Attempto Controlled English - not just another logic specification language, in: LOPSTR'98: Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation (1990), pp. 1-20
6. Holt A. Formal verification with natural language specifications: guidelines, experiments and lessons so far. South African Computer Journal 24 (1999) 253-257. URL citeseer.ist.psu.edu/402557.html
7. Johnson B., Young M., and Skibo C. Inside Microsoft Visual Studio .NET (2002), Microsoft Press
8. Kuhn, R., R. Chandramouli and R. Butler, Cost effective use of formal methods in verification and validation, in: Foundations 02 Workshop on Verification & Validation, 2002
9. Lee, B.-S. and B. Bryant, Automated conversion from requirements documentation to an object-oriented formal specification language, in: SAC'02: Proceedings of the 2002 ACM symposium on Applied computing (2002), pp. 932-936
10. Leitão, D., "NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications," Master's thesis, Universidade Federal de Pernambuco (UFPE) (2006)
11. Mesquita, W., A. Sampaio and A. Melo, A strategy for the formal composition of frameworks, in: SEFM 2005, Third IEEE International Conference on Software Engineering and Formal Methods, 7-9 September 2005 (2005), pp. 404-413
12. Roscoe, A., Modelling and verifying key-exchange protocols using CSP and FDR, in: CSFW'95: Proceedings of the The Eighth IEEE Computer Security Foundations Workshop (CSFW'95) (1995), p. 98
13. Roscoe A., Hoare C., and Bird R. The Theory and Practice of Concurrency (1997), Prentice Hall PTR
14. Schwitter, R., English as a formal specification language, in: DEXA'02: Proceedings of the 13th International Workshop on Database and Expert Systems Applications (2002), pp. 228-232
15. Schwitter, R., A. Ljungberg and D. Hood, Ecole - a look-ahead editor for a controlled language, in: Controlled Translation, Proceedings of EAMT-CLAW03, Joint Conference combining the 8th International Workshop of the European Association for Machine Translation and the 4th Controlled Language Application Workshop, 2003, pp. 141-150
16. Selic, B., Tutorial: An overview of UML 2.0, in: ICSE'04: Proceedings of the 26th International Conference on Software Engineering (2004), pp. 741-742
17. St. Laurent S., Lenz E., and McRae M. Office 2003 XML: Integrating Office with the rest of the world (2004), O'Reilly & Associates, Inc.
18. Wojcik, R., J. Hoard and K. Holzhauser, The Boeing Simplified English Checker, in: Proceedings of the International Conference, Human Machine Interaction and Artificial Intelligence in Aeronautics and Space. Toulouse: Centre d'Etudes et de Recherches de Toulouse, 1990, pp. 43-57
19. Zukowski J. Java 6 Platform Revealed (Revealed) (2006), Apress