Login / Signup
Specify-explore-refine (SER): from specification to implementation.
Andreas Gerstlauer
Junyu Peng
Dongwan Shin
Daniel Gajski
Atsushi Nakamura
Dai Araki
Yuuji Nishihara
Published in:
DAC (2008)
Keyphrases
</>
specification language
database
efficient implementation
high level
formal specification
implementation details
implementation issues
code generation
data sets
data mining
decision making
case study
image segmentation
information technology