Keyphrases
- requirements engineering
- software engineering
- systems engineering
- life cycle
- goal oriented
- requirements specification
- software development
- formal specification
- automotive industry
- requirements elicitation
- business process
- development process
- systems development
- security requirements
- programming language
- software requirements
- tool support
- literature review
- requirements engineering process
- information systems
- real world
- activity diagrams
- reverse engineering
- model checking
- relational databases
- artificial intelligence