VDM++: a formal specification language for object-oriented designs
TOOLS 7 Proceedings of the seventh international conference on Technology of object-oriented languages and systems
Natural language understanding (2nd ed.)
Natural language understanding (2nd ed.)
Modal change logic (MCL): specifying the reasoning of knowledge-based systems
Data & Knowledge Engineering
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Visual modeling with Rational Rose 2000 and UML (2nd ed.)
Specification of Software Systems
Specification of Software Systems
Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition
Two-Level Grammar as an Object-Oriented Requirements Specification Language
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
A centering approach to pronouns
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Providing a unified account of definite noun phrases in discourse
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Editorial message: special track on the programming languages and object technologies
Proceedings of the 2002 ACM symposium on Applied computing
Validation of Distributed Real-Time and Embedded System composition in UniFrame
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Formal Methods For Quality Of Service Analysis In Component-Based Distributed Computing
Journal of Integrated Design & Process Science
Formal Specification Generation from Requirement Documents
Electronic Notes in Theoretical Computer Science (ENTCS)
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
An architecture for the UniFrame resource discovery service
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
Testing techniques in software engineering
Testing techniques in software engineering
NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems
Hi-index | 0.00 |
In software engineering there have been very few attempts to automate the translation from a requirements document written in a natural language (NL) to one of the formal specification languages. One of the major reasons for this challenge comes from the ambiguity of the NL requirements documentation because NL depends heavily on context. We use Contextual Natural Language Processing (CNLP) to overcome the ambiguity in NL, and Two-Level Grammar (TLG) to construct a bridge between a NL requirements specification and a formal specification in VDM++, an object-oriented extension of the Vienna Development Method. The result is a system for mapping natural language requirements documents into an object-oriented formal specification language.