Integrating Formal Methods into the Development Process.
Richard A. KemmererPublished in: IEEE Softw. (1990)
Keyphrases
- development process
- formal methods
- software engineering
- software development
- metamodel
- safety critical
- software projects
- case study
- systems development
- formal analysis
- modeling language
- knowledge based systems
- development processes
- functional requirements
- formal specification
- model checking
- design process
- artificial intelligence
- software application
- requirements elicitation
- development lifecycle
- requirements engineering
- software quality
- software systems
- object oriented
- knowledge representation
- access control
- decision making