Animation of Behavioral Specifications through Code Generation for a Payment System.

Ozan Deniz Mehmet Adak Halit Oguztüzün

Published in: BCI (2009)

Keyphrases

code generation
application development
formal specification
software development
code generator
rapid prototyping
modeling language
model driven
design patterns
user interface
real world
development process
data sets
software systems
query language
image analysis
design tools
case study
software reuse
data mining