Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing.
Anmol NayakHariprasad TimmapathiniVidhya MuraliKarthikeyan PonnalaguVijendran Gopalan VenkoparaoAmalinda PostPublished in: REFSQ (2022)
Keyphrases
- formal specification
- software requirements
- natural language processing
- requirements specification
- software systems
- systems development
- specification language
- software development
- software components
- information extraction
- object oriented design
- specification languages
- model checking
- functional requirements
- requirements engineering
- software architecture
- development process
- software engineering
- reverse engineering
- knowledge based systems
- natural language
- knowledge representation
- benchmark suite
- formal methods
- artificial intelligence
- machine learning
- written in natural language
- concurrent systems
- semantic data models
- formal specification language
- metamodel
- fine grained
- source code