Login / Signup

Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications.

Thomas EmersonMark H. Burstein
Published in: ASE (1999)
Keyphrases
  • program synthesis
  • formal specification
  • object oriented design
  • software engineering
  • case study
  • software design
  • database
  • machine learning
  • reverse engineering
  • model checking
  • development process