Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project.

Eric Conquet Jean-Luc Marty

Published in: World Congress on Formal Methods (1999)

Keyphrases

case study
design process
artificial intelligence
design space
computational complexity
future plans
data sets
e learning
software development
computer aided
formal model
systems development
current status
support environment