Can Formal Methods be Integrated into Real-Time Object-Oriented Design? Response to J. de la Puente's Contribution.
Horst F. WeddePublished in: Real Time Syst. (2000)
Keyphrases
- formal methods
- object oriented design
- formal specification
- real time
- safety critical
- model checking
- formal analysis
- process algebra
- reverse engineering
- model checker
- object oriented systems
- software design
- software engineering
- object oriented
- provably correct
- low cost
- database
- formal specification language
- knowledge based systems
- data warehouse
- information systems
- software components
- temporal logic
- relational databases
- case study