Program design by informal English descriptions
Communications of the ACM
Software Engineering Economics
Software Engineering Economics
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
Automated Software Engineering
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Market research for requirements analysis using linguistic tools
Requirements Engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering
IEEE Transactions on Software Engineering
Identifying Nocuous Ambiguities in Natural Language Requirements
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Multi-tagging for lexicalized-grammar parsing
ACL-44 Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics
Wide-coverage efficient statistical parsing with ccg and log-linear models
Computational Linguistics
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Treatment of passive voice and conjunctions in use case documents
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
From requirements to models: feedback generation as a result of formalization
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
NLDB'09 Proceedings of the 14th international conference on Applications of Natural Language to Information Systems
Decision support for the software product line domain engineering lifecycle
Automated Software Engineering
Hi-index | 0.01 |
[Context and motivation] Natural language is the main presentation means in industrial requirements documents. In such documents, system behavior is specified either in the form of scenarios or in the form of automata described in natural language. The behavior descriptions are often incomplete: For the authors of requirements documents some facts are so obvious that they forget to mention them; this surely causes problems for the requirements analyst. [Question/problem] Formalization of textual behavior description can reveal deficiencies in requirements documents. Formalization can take two major forms: it can be based either on interaction sequences or on automata, cf. survey [1]. Translation of textual scenarios to interaction sequences (Message Sequence Charts, or MSCs) was presented in our previous work [2,3,4]. To close the gap and to provide translation techniques for both formalism types, an algorithm translating textual descriptions of automata to automata themselves is necessary. [Principal ideas/results] It was shown in our previous work that discourse context modeling allows to complete information missing from scenarios written in natural language and to translate scenarios to MSCs. The goal of the approach presented in this paper is to translate textual descriptions of automata to automata themselves, by adapting discourse context modeling to texts describing automata. [Contribution] The presented paper shows how the previously developed context modeling approach can be adapted in order to become applicable to texts describing automata. The proposed approach to translation of text to automata was evaluated on a case study, which proved applicability of the approach.