A Formal Approach to Requirements Engineering (Invited Paper).
Friederike NicklMartin WirsingPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- requirements engineering
- invited paper
- requirements specification
- software engineering
- systems engineering
- goal oriented
- life cycle
- software development
- requirements elicitation
- automotive industry
- business process
- development process
- software requirements
- systems development
- security requirements
- requirements engineering process
- formal specification
- information systems
- artificial intelligence
- activity diagrams
- software intensive systems
- business processes
- book constitutes the refereed proceedings
- lecture notes
- information security
- information retrieval
- neural network