System-Level Object-Orientation in the Specification and Validation of Embedded Systems.
João M. FernandesRicardo J. MachadoPublished in: SBCCI (2001)
Keyphrases
- embedded systems
- object orientation
- computing power
- low cost
- embedded software
- resource limited
- embedded devices
- real time systems
- object oriented
- physical database design
- software systems
- field programmable gate array
- high level
- database
- distributed systems
- query processing
- formal specification
- database systems
- databases