An Approach to the Formal Specification of Configurable Models of Graphics Systems.
David B. ArnoldDavid A. DuceGraham J. ReynoldsPublished in: Eurographics (1987)
Keyphrases
- formal specification
- complex systems
- formal methods
- software components
- model checking
- computer graphics
- object oriented design
- trading systems
- temporal logic
- business process
- artificial intelligence
- building blocks
- knowledge based systems
- access control
- distributed systems
- object oriented
- relational databases
- expert systems
- data abstraction
- multimedia