Information Systems Modelling with TROLL Formal Methods at Work.
Peter HartelGrit DenkerMojgan KowsariMaren KroneHans-Dieter EhrichPublished in: Inf. Syst. (1997)
Keyphrases
- formal methods
- information systems
- model checking
- formal specification
- formal analysis
- artificial intelligence
- provably correct
- knowledge based systems
- information technology
- safety critical
- temporal properties
- conceptual models
- model checker
- process algebra
- health care
- software engineering
- design and implementation issues
- specification language
- reactive systems
- modeling language
- development lifecycle
- high level
- formal specification language