Formal Methods Technology Transfer: Impediments and Innovation (Abstract).
Dan CraigenPublished in: CONCUR (1995)
Keyphrases
- technology transfer
- formal methods
- knowledge based systems
- artificial intelligence
- safety critical
- model checking
- formal specification
- model checker
- e government
- process algebra
- formal analysis
- software engineering
- design science
- development lifecycle
- current status
- reactive systems
- trade off
- expert systems
- high level
- nasa langley research center
- real world
- databases