Animation prototyping of formal specifications of real-time systems.
T. S. HughesJim E. CoolingPublished in: Microprocessing and Microprogramming (1990)
Keyphrases
- real time systems
- formal specification
- code generation
- model checking
- specification languages
- object oriented design
- distributed systems
- concurrent systems
- real time
- reverse engineering
- mission critical
- formal methods
- real time database systems
- embedded systems
- rapid prototyping
- development process
- user interface
- real time embedded
- software components
- anytime algorithms
- cooperative
- semantic data models
- object oriented programming language
- timing constraints
- business rules
- temporal logic
- information systems