Architectural System Modeling for Correct-by-Construction RTL Design.

Joakim Urdahl Dominik Stoffel Wolfgang Kunz

Published in: MBMV (2015)

Keyphrases

modeling language
engineering design
software architecture
modeling tool
database
life cycle
multiscale
expert systems
building blocks
design process
learning environment
conceptual model
conceptual framework
case study
social networks
design methodology
optimal design
artificial intelligence