AMPHION: Specification-based programming for scientific subroutine libraries
Michael Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood, Richard J. Waldinger, Mark E. Stickel · International Symposium on Artificial Intelligence · 1994
AMPHION is a knowledge-based software engineering (KBSE) system that guides a user in developing a diagram representing a formal problem specification. It then automatically implements a solution to this specification as a program consisting of calls to subroutines from a library. The diagram provides an intuitive domain oriented notation for creating a specification that also facilitates reuse and modification. AMPHION'S architecture is domain independent. AMPHION is specialized to an application domain by developing a declarative domain theory. Creating a domain theory is an iterative process that currently requires the joint expertise of domain experts and experts in automated formal methods for software development.