AMPHION: Automatic Programming for Scientific Subroutine Libraries

@inproceedings{Lowry1994AMPHIONAP,
  title={AMPHION: Automatic Programming for Scientific Subroutine Libraries},
  author={Michael R. Lowry and Andrew Philpot and Thomas Pressburger and Ian Underwood},
  booktitle={ISMIS},
  year={1994}
}
This paper describes A MPHION1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. A MPHION is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a diagram that represents the formal specification through menus based upon the domain theory and the… CONTINUE READING
Highly Cited
This paper has 62 citations. REVIEW CITATIONS
40 Citations
7 References
Similar Papers

Citations

Publications citing this paper.

63 Citations

0246'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-7 of 7 references

D . R . Smith : KIDS : A Semiautomatic Program Development System

  • A. Philpot Lowry, T. Pressburger
  • IEEE Transactions on Software Engineering
  • 1990

Programming

  • E. H. Tyugu, Knowledge-Based
  • 1988
1 Excerpt

Rich: Report on a Knowledge-Based Software Assistant

  • C. Green, D. Luckham, R. Balzer, T. Cheathan
  • Artificial Intelligence and Software Engineering
  • 1986
1 Excerpt

Denotation Semantics: the Scott-Strachey approach to programming language semantics

  • J. Stoy
  • Retract defined on page 133
  • 1977
1 Excerpt

Proofs and Refutations

  • E. Lakatos
  • 1976
1 Excerpt

Similar Papers

Loading similar papers…