Formality in Software Requirements.
Jean-Michel BruelSophie EbersoldFlorian GalinierAlexandr NaumchevManuel MazzaraBertrand MeyerPublished in: CoRR (2019)
Keyphrases
- software requirements
- requirements specification
- systems development
- software development
- software systems
- development process
- functional requirements
- formal specification
- requirements engineering
- knowledge based systems
- software architecture
- software engineering
- metamodel
- written in natural language
- knowledge representation
- information technology
- information systems