Towards safe data flow processing by integration of design by contract in deterministic UML activities.

Zamira Daw Marcus Vetter Josef Börcsök

Published in: ICAT (2011)

Keyphrases

data flow
object oriented software
database machine
digital signal processing
metamodel
modeling language
data processing
design process
software architecture
digital circuits
life cycle
unified modeling language
database
software systems
software engineering
object oriented
case study