Applying translucid contracts for modular reasoning about aspect and object oriented events.
Mehdi BagherzadehGary T. LeavensRobert DyerPublished in: FOAL (2011)
Keyphrases
- object oriented
- programming language
- object oriented databases
- data model
- event detection
- database applications
- database design
- website
- formal theory
- event recognition
- database schema
- relational databases
- human activities
- programming interface
- object oriented languages
- temporal information
- software engineering
- supply chain
- real time
- database
- design patterns
- bayesian networks
- temporal data
- qualitative reasoning
- event sequences
- image sequences
- database systems
- object orientation
- genetic algorithm
- object oriented concepts