Formal Methods for a Space Software Development Environment.
P. TaylorPublished in: Ada-Europe (1994)
Keyphrases
- formal methods
- software development environment
- formal analysis
- formal specification
- process algebra
- model checking
- knowledge based systems
- safety critical
- artificial intelligence
- software engineering
- development environment
- databases
- knowledge acquisition
- software development
- database
- modeling language
- case study
- software engineers
- information systems