Using UML as a Front-end for StreamIt Programs Verification and Generation.

Fateh Boutekkouk Mohamed Benmohammed

Published in: J. Multim. (2010)

Keyphrases

formal methods
symbolic execution
hardware designs
specification language
database design
back end
generation process
software engineering
computer programs
object oriented
model checking
metamodel
database
data model
database systems
intermediate level
verification method
case study
class diagrams
databases