Formalising a derivation strategy for formal specifications from natural language requirements models

Proceedings of the Fifth IEEE International Symposium on Signal Processing and Information Technology

Volumn 2005, Issue , 2005, Pages 646-651

  Mauco, María Virginia ^a   Leonardi, María Carmen ^a   Riesco, Daniel ^b   Montejano, Germán ^b   Debnath, Narayan ^c  

^a UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES   (Argentina)

^b UNIVERSIDAD NACIONAL DE SAN LUIS   (Argentina)

^c WINONA STATE UNIVERSITY   (United States)

Author keywords

Formal specification; Language Extended Lexicon; Natural language requirements models; RAISE

Indexed keywords

COMPUTATIONAL LINGUISTICS; IMAGE QUALITY; MATHEMATICAL TRANSFORMATIONS; SOFTWARE ENGINEERING; SPECIFICATIONS;

FORMAL SPECIFICATION; LANGUAGE EXTENDED LEXICON; NATURAL LANGUAGE REQUIREMENTS MODELS; RAISE;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 33846985290     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSPIT.2005.1577173     Document Type: Conference Paper

References (16)

1. B. Bryant, B. Lee, W. Cao, F. Zhao, C. Burt, R. Raje, A. Olson, and M. Auguston. From Natural Language Requirements to Executable Models of Software Components. In Proceedings of Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, pages 51-58, 2003.
2. H. Dang Van, C. George, T. Janowski, and R. Moore, editors. Specification Case Studies in RAISE. Springer, 2002.
3. Díaz, I. and Pastor, O. and Moreno, L. and Matteo, A. Una Aproximación Linguística de Ingeniería de Requisites para OO-Method. In Proceedings of IDEAS2004: Workshop Iberoamericano de Ingeniería de Requisitos y Desarrollo de Ambientes de Software, pages 270-281, Peru, May 2004.
4. C. George. RAISE Tools User Guide. Research Report 227, United Nations University/International Institute for Software Technology (UNU/IIS), Macau, February 2001.
5. T. R. L. Group. The RAISE Specification Language. BCS Practitioner Series. Prentice Hall, 1992.
6. T. R. M. Group. The RAISE Development Method. BCS Practitioner Series. Prentice Hall, 1995.
7. N. Juristo, A. Moreno, and M. Lopez. How to Use Linguistic Instruments for Object-Oriented Analysis. IEEE Software, pages 80-89, May-June 2000.
8. B. Lee and B. Bryant. Automation of Software System Development Using Natural Language Processing and Two-Level Grammar. In Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers, volume 2941 of Lecture Notes in Computer Science, pages 219-233. Springer-Verlag, 2004.
9. J. Leite, G. Hadad, J. Doom, and G. Kaplan. A Scenario Construction Process. Requirements Engineering Journal, 5(1):38-61, 2000. Springer-Verlag.
10. L. Li. Translating Use Cases to Sequence Diagrams. In Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, pages 293-296, 2000.
11. M. Mauco, D. Riesco, and C. George. Deriving the Types of a Formal Specification from a Client-Oriented Technique. In Proceedings of the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, pages 1-8, Japan, 2001.
12. M. Mauco, D. Riesco, and C. George. Using a Scenario Model To Derive the Functions of a Formal Specification. In Proc. 8th Asia-Pacific Software Engineering Conference (APSEC 2001), IEEE Press, pages 329-332, Macao, 2001.
13. M. Mauco, D. Riesco, and C. George. Deriving an Initial Specification in RSL from Natural Language Models. In Proc. First International Conference on the Principles of Software Engineering, pages 111-120, Argentina, 2004.
14. B. Nuseibeh and S. Easterbrook. Requirements Engineering: A Roadmap. In Proceedings of the Conference on The Future of Software Engineering, pages 35-46. ACM, 2000.
15. A. van Lamsweerde. Formal Specification: a Roadmap. In Proceedings of the Conference on The Future of Software Engineering, pages 147-159. ACM, 2000.
16. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proceedings of the 22nd International Conference on Software Engineering, pages 5-19. ACM, 2000.