An Implementation of Program Synthesis from Formal Specifications: PRECOMAS.

Published in: ECAI (1988)

Keyphrases

program synthesis
formal specification
protocol specification
specification language
object oriented design
design methodology
model checking
reverse engineering
formal specification language
databases
specification languages
recursive programs
database
temporal logic
formal methods