System design using an integrated specification and performance modeling methodology.
Ambar SarkarPublished in: EURO-DAC (1996)
Keyphrases
- design methodology
- modeling language
- engineering design
- building blocks
- design process
- modeling method
- bayesian networks
- methodological framework
- modeling tool
- computer aided
- software architecture
- artificial intelligence
- embedded systems
- conceptual model
- modeling framework
- formal methods
- formal verification
- user interface
- unified modeling language