Executable C++ Program Generation from the Structured Object-Oriented Design Diagrams.

Minoru Harada Takahiro Mizuno

Published in: APSEC (1999)

Keyphrases

object oriented design
formal specification
software design
model checking
object oriented systems
process algebra
object oriented
generation process
program execution
computer programs
reverse engineering
control flow
data model
real world
data sets
software systems
test cases
source code
artificial intelligence