Bunches for Object-Oriented, Concurrent, and Real-Time Specification.
Richard F. PaigeEric C. R. HehnerPublished in: World Congress on Formal Methods (1999)
Keyphrases
- computer vision
- real time
- object oriented
- vision system
- relational databases
- high level
- programming language
- low cost
- database applications
- object oriented databases
- formal specification
- hybrid automata
- real time systems
- object oriented database systems
- conceptual model
- office information systems
- programming interface
- specification language
- database schema
- genetic algorithm
- database
- neural network
- reinforcement learning
- case study