NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
AMPHION: Specification-based programming for scientific subroutine librariesAMPHION 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.
Document ID
19950017260
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Lowry, Michael (RECOM Technologies, Inc. Moffett Field, CA, United States)
Philpot, Andrew (RECOM Technologies, Inc. Moffett Field, CA, United States)
Pressburger, Thomas (RECOM Technologies, Inc. Moffett Field, CA, United States)
Underwood, Ian (RECOM Technologies, Inc. Moffett Field, CA, United States)
Waldinger, Richard (SRI International Corp. Menlo Park, CA., United States)
Stickel, Mark (SRI International Corp. Menlo Park, CA., United States)
Date Acquired
September 6, 2013
Publication Date
October 1, 1994
Publication Information
Publication: JPL, Third International Symposium on Artificial Intelligence, Robotics, and Automation for Space 1994
Subject Category
Computer Programming And Software
Accession Number
95N23680
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle19950017195Collected WorksEleventh Workshop for Computational Fluid Dynamic Applications in Rocket Propulsion, Part 1
No Preview Available