Collective Specification and Verification of Behavior Models and Object-oriented Implementations.
Qing YiJianwei NiuAnitha R. MarneniPublished in: ICSOFT (2) (2011)
Keyphrases
- object oriented
- conceptual models
- physical systems
- probabilistic model
- case study
- prior knowledge
- software engineering
- object oriented databases
- statistical models
- experimental data
- programming language
- reactive systems
- asynchronous circuits
- collective behavior
- human behavior
- process model
- machine learning algorithms
- data sets
- query language
- artificial neural networks
- relational databases
- high level
- machine learning