Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation.
Feng ChenGrigore RosuPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- oriented programming
- real time
- monitoring system
- database
- specification language
- implementation details
- efficient implementation
- high level
- formal specification
- business rules
- execution engine
- activity monitoring
- provably correct
- combining multiple
- data mining
- programming language
- software engineering
- evolutionary algorithm
- relational databases
- data streams
- bayesian networks