Formal Methods in Requirements Engineering: Survey and Future Directions.
Robert LorchBaoluo MengKit SiuAbha MoitraMichael DurlingSaswata PaulSarat Chandra VaranasiCraig McMillanPublished in: FormaliSE@ICSE (2024)
Keyphrases
- future directions
- formal methods
- requirements engineering
- software engineering
- lessons learned
- literature review
- software development
- goal oriented
- requirements specification
- life cycle
- safety critical
- model checking
- development process
- requirements elicitation
- requirements engineering process
- formal specification
- software intensive systems
- software systems
- artificial intelligence
- knowledge based systems
- systems development
- reverse engineering
- software requirements
- current challenges
- security properties
- current trends
- development lifecycle
- current status
- database systems
- business process
- object oriented
- case study
- knowledge management
- software architecture
- metamodel
- modeling language
- building blocks
- programming language
- information systems