Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen.

Martin Schweikert Hans Eveking

Published in: MBMV (2010)

Keyphrases

object oriented
machine learning
software development
software architecture
formal methods
uml diagrams
multi agent
software engineering
database design
metamodel
unified modeling language
object oriented modeling