Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development.
Hans-Gerhard GroßNikolas MayerPublished in: WORDS (2003)
Keyphrases
- real time
- object oriented
- search space
- search efficiency
- software engineering
- low cost
- search algorithm
- vision system
- knowledge based systems
- case study
- search queries
- object oriented databases
- design patterns
- search strategy
- control system
- development process
- database applications
- high speed
- data model
- object oriented database systems
- relational databases
- code generation
- object orientation