Requirements, Primitives and Models for Systems Specification.
César Augusto Missio MarconNey Laert Vilar CalazansFernando Gehm MoraesPublished in: SBCCI (2002)
Keyphrases
- complex systems
- reactive systems
- high level
- building blocks
- uml models
- statistical models
- case study
- computational models
- experimental data
- application specific
- mathematical models
- data sets
- knowledge based systems
- model selection
- distributed systems
- probabilistic model
- information systems
- expert systems
- bayesian networks
- formal methods
- real time systems
- specification language
- abstraction levels
- trading systems
- physical systems
- asynchronous circuits
- machine learning