Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications?
John P. J. KellyPublished in: Fehlertolerierende Rechensysteme (1989)
Keyphrases
- fault tolerant
- software design
- object oriented design
- formal specification
- fault tolerance
- software systems
- distributed systems
- load balancing
- software engineering
- safety critical
- state machine
- software development
- specification languages
- complex systems
- source code
- uml diagrams
- educational software
- model checking
- design patterns
- formal methods
- open source
- high level
- reverse engineering
- case study
- object oriented systems
- distributed databases
- real world
- object oriented
- information systems
- artificial intelligence