AMPHION: automatic programming for subroutine libraries

Author

Lowry, Michael ; Philpot, Andrew ; Pressburger, Thomas ; Underwood, Ian

Author_Institution

AI Res. Branch, NASA Ames Res. Center, Moffett Field, CA, USA

fYear

1994

fDate

20-23 Sep 1994

Firstpage

2

Abstract

AMPHION is a generic architecture that is specialized to a particular domain and subroutine library through a domain theory and domain-specific theorem-proving tactics. This paper discusses AMPHION-NAIF, the application of AMPHION to the domain of solar system kinematics as implemented in the SPICELIB subroutine library. The Navigation Ancillary Information Facility (NAIF) at NASA´s Jet Propulsion Laboratory (JPL) is charged with developing software to support the planetary science community in planning and analyzing the observation geometries of solar system bodies in interplanetary scientific missions. The objective of SPICELIB is to enable end-users in the planetary science community to construct their own application programs

Keywords

astronomy computing; automatic programming; military computing; programming environments; software reusability; software tools; solar system; subroutines; AMPHION; AMPHION-NAIF; Jet Propulsion Laboratory; NASA; Navigation Ancillary Information Facility; SPICELIB; SPICELIB subroutine library; application programs; automatic programming; domain theory; domain-specific theorem-proving; end-users; generic architecture; interplanetary scientific missions; observation geometries; planetary science community; solar system bodies; solar system kinematics; subroutine libraries; Aircraft navigation; Algorithms; Application software; Automatic programming; Information analysis; Kinematics; Laboratories; Propulsion; Software libraries; Solar system;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth

Conference_Location

Monterey, CA

ISSN

1068-3062

Print_ISBN

0-8186-6380-4

Type

conf

DOI

10.1109/KBSE.1994.342685

Filename

342685