Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
