From Natural Language Requirements to Formal Specification Using an Ontology.
Driss SadounCatherine DuboisYacine Ghamri-DoudaneBrigitte GrauPublished in: ICTAI (2013)
Keyphrases
- formal specification
- natural language
- model checking
- specification languages
- specification language
- knowledge representation
- formal methods
- data abstraction
- process algebra
- object oriented design
- concurrent systems
- grid workflow
- machine learning
- natural language processing
- design methodologies
- knowledge base
- reverse engineering
- temporal logic
- written in natural language
- software components
- knowledge acquisition
- software engineering
- formal specification language
- model checker
- open source