"Formal methods" technology transfer will fail.
David Lorge ParnasPublished in: J. Syst. Softw. (1998)
Keyphrases
- formal methods
- technology transfer
- e government
- model checking
- formal analysis
- knowledge based systems
- safety critical
- current status
- model checker
- software engineering
- provably correct
- formal specification
- process algebra
- artificial intelligence
- design science
- nasa langley research center
- reactive systems
- software components
- knowledge management
- learning objects
- case study
- information systems
- real world
- database