Synthesis of Software from Logical Constraints

摘要

This paper presents the case for constraints (requirements formalised as logical assertions) as the key starting point for software development. We describe how system development from such constraints can be auto-mated.