Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain.
Predrag FilipovikjTrevor JagerfieldMattias NybergGuillermo Rodríguez-NavasCristina Cerschi SeceleanuPublished in: COMPSAC Workshops (2016)
Keyphrases
- requirements specification
- requirements engineering
- software engineering
- specification language
- software systems
- software requirements
- programming language
- development process
- life cycle
- database
- software development
- formal specification
- source code
- functional requirements
- systems development
- knowledge management
- e learning
- machine learning