Generating optimized code from SCR specifications.

Tom Rothamel Yanhong A. Liu Constance L. Heitmeyer Elizabeth I. Leonard

Published in: LCTES (2006)

Keyphrases

unit testing
control flow
code generation
formal specification
concurrent systems
functional requirements
static analysis
data flow
source code
real time
software testing
database systems
website
social networks
genetic algorithm
delay insensitive
real world