An Isomorphic Mapping for SpecC In UML.

Jorge L. Díaz-Herrera Hanmei Chen Rukshana Alam

Published in: OMER (2001)

Keyphrases

formal methods
software systems
database design
data mining
software engineering
object oriented modeling
real time
databases
case study
object oriented
sequence diagrams
unified modeling language
model driven engineering