Experiences Using Lightweight Formal Methods for Requirements Modeling.
Steve M. EasterbrookRobyn R. LutzRichard CovingtonJohn KellyYoko AmpoDavid HamiltonPublished in: IEEE Trans. Software Eng. (1998)
Keyphrases
- lightweight
- formal methods
- development lifecycle
- modeling language
- formal analysis
- knowledge based systems
- safety critical
- model checking
- formal specification
- artificial intelligence
- reactive systems
- software engineering
- case study
- process algebra
- black box
- open source
- database systems
- handheld devices
- web services
- databases