Login / Signup
How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.
Jean-Yves Lucas
Jean-Luc Dormoy
Bruno Ginoux
Claudia Jimenez-Dominguez
Laurent Pierre
Published in:
APSEC (1998)
Keyphrases
</>
automatic programming
formal specification
theorem proving
model checking
specification languages
object oriented design
gene expression programming
reverse engineering
formal methods
formal specification language
machine learning
temporal logic
expert systems
evolutionary algorithm
object oriented