Title :
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
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;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth
Conference_Location :
Monterey, CA
Print_ISBN :
0-8186-6380-4
DOI :
10.1109/KBSE.1994.342685
