On deriving equivalent architecture model from system specification.
Samar AbdiDaniel GajskiPublished in: ASP-DAC (2004)
Keyphrases
- formal model
- high level
- probabilistic model
- conceptual model
- information systems
- specification language
- reference model
- prior knowledge
- management system
- selection mechanism
- cost function
- object model
- theoretical analysis
- multi layer
- mathematical model
- computational model
- database
- expert systems
- feature selection
- search engine