Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
Philippe A. PalanqueRémi BastideFabio PaternòPublished in: INTERACT (1997)
Keyphrases
- formal specification
- formal methods
- safety critical
- interactive systems
- model checking
- process algebra
- specification language
- object oriented design
- reverse engineering
- model checker
- safety analysis
- human computer interaction
- user interface
- fault tolerant
- agent architecture
- artificial intelligence
- knowledge based systems
- software components
- expert systems