Login / Signup

The experimental Estelle Compiler: automatic generation of implementations from formal specifications.

Joachim TheesReinhard Gotzhein
Published in: FMSP (1998)
Keyphrases
  • formal specification
  • general purpose
  • automatically generate
  • business process
  • object oriented design