Translation of textual specifications to automata by means of discourse context modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5512 LNCS, Issue , 2009, Pages 197-211

  Kof, Leonid ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Behavior extraction; Behavior modeling; Natural language processing; Requirements analysis

Indexed keywords

BEHAVIOR EXTRACTION; BEHAVIOR MODELING; COMPLETE INFORMATION; CONTEXT MODELING; DISCOURSE CONTEXT; INDUSTRIAL REQUIREMENTS; MESSAGE SEQUENCE CHARTS; NATURAL LANGUAGE PROCESSING; NATURAL LANGUAGES; REQUIREMENTS ANALYSIS; REQUIREMENTS ANALYST; REQUIREMENTS DOCUMENT; SYSTEM BEHAVIORS; TEXTUAL DESCRIPTION;

AUTOMATA THEORY; CELL CULTURE; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FLOWCHARTING; LINGUISTICS; NATURAL LANGUAGE PROCESSING SYSTEMS; REQUIREMENTS ENGINEERING; ROBOTS;

TRANSLATION (LANGUAGES);

EID: 68749118638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02050-6_17     Document Type: Conference Paper

References (23)

1. Kof, L., Schätz, B.: Combining aspects of reactive systems. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 344-349. Springer, Heidelberg (2004)
2. Kof, L.: Scenarios: Identifying missing objects and actions by means of computational linguistics. In: 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 121-130. IEEE Computer Society Conference Publishing Services, Los Alamitos (2007)
3. Kof, L.: Treatment of Passive Voice and Conjunctions in Use Case Documents. In: Kedad, Z., Lammari, N., Métais, E., Meziane, E., Rezgui, Y. (eds.) NLDB 2007. LNCS, vol. 4592, pp. 181-192. Springer, Heidelberg (2007)
4. Kof, L.: From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction. In: 16th IEEE International Requirements Engineering Conference, Barcelona, Spain, pp. 331-332. IEEE Computer Society, Los Alamitos (2008)
5. Mich, L., Franch, M., Novi Inverardi, P.: Market research on requirements analysis using linguistic tools. Requirements Engineering 9, 40-56 (2004)
6. Rupp, C.: Requirements-Engineering und-Management. In: Professionelle, iterative Anforderungsanalyse für die Praxis, 2nd edn., Hanser-Verlag (2002) ISBN 3-446-21960-9
7. Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)
8. Abrial, J.R., Borger, E., Langmaack, H.: The steam boiler case study: Competition of formal program specification and development methods. In: Abrial, J.R., Borger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol. 1165. Springer, Heidelberg (1996)
9. Abrial, J.-R., Borger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol. 1165. Springer, Heidelberg (1996)
10. Curran, J.R., Clark, S., Vadas, D.: Multi-tagging for lexicalized-grammar parsing. In: 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Sydney, Australia, July 17-21 (2006)
11. Blackburn, P., Bos, J., Kohlhase, M., de Nivelle, H.: Inference and computational semantics. CLAUS-Report 106, Universitat des Saarlandes, Saarbrucken (1998)
12. Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol. 14, 277-330 (2005)
13. Ryan, K.: The role of natural language in requirements engineering. In: Proceedings of IEEE International Symposium on Requirements Engineering, pp. 240-242. IEEE Computer Society Press, Los Alamitos (1992)
14. Fabbrini, R., Fusani, M., Gnesi, S., Lami, G.: The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. In: 26th Annual NASA Goddard Software Engineering Workshop, Greenbelt, Maryland, pp. 97-105. IEEE Computer Society, Los Alamitos (2001)
15. Kamsties, E., Berry, D.M., Paech, B.: Detecting ambiguities in requirements documents using inspections. In: Workshop on Inspections in Software Engineering, Paris, France, pp. 68-80 (2001)
16. Chantree, F., Nuseibeh, B., de Roeck, A., Willis, A.: Identifying nocuous ambiguities in natural language requirements. In: RE 2006: Proceedings of the 14th IEEE International Requirements Engineering Conference (RE 2006), Washington, DC., USA, pp. 56-65. IEEE Computer Society Press, Los Alamitos (2006)
17. Goldin, L., Berry, D.M.: AbstFinder, a prototype natural language text abstraction finder for use in requirements elicitation. Automated Software Eng. 4, 375-412 (1997)
18. Abbott, R.J.: Program design by informal English descriptions. Communications of the ACM 26, 882-894 (1983)
19. Sawyer, P., Rayson, P., Cosh, K.: Shallow knowledge as an aid to deep understanding in early phase requirements engineering. IEEE Trans. Softw. Eng. 31, 969-981 (2005)
20. Vadera, S., Meziane, F.: From English to formal specifications. The Computer Journal 37, 753-763 (1994)
21. Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Propel: an approach supporting property elucidation. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 11-21. ACM Press, New York (2002)
22. Clark, S., Curran, J.R.: Wide-coverage efficient statistical parsing with ccg and log-linear models. Comput. Linguist. 33, 493-552 (2007)
23. Maiden, N.A.M.: CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements. Automated Software Engineering 5, 419-446 (1998)