DMCA
Deductive Composition of Astronomical Software from Subroutine Libraries (0)
Cached
Download Links
- [www.ai.sri.com]
- [ase.arc.nasa.gov]
- [ic.arc.nasa.gov]
- [ase.arc.nasa.gov]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings 12th International Conference on Automated Deduction |
| Citations: | 79 - 6 self |
BibTeX
@INPROCEEDINGS{Stickel_deductivecomposition,
author = {Mark Stickel and Richard Waldinger and Michael Lowry and Thomas Pressburger and Ian Underwood},
title = {Deductive Composition of Astronomical Software from Subroutine Libraries},
booktitle = {In Proceedings 12th International Conference on Automated Deduction},
year = {},
pages = {341--355},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Automated deduction techniques are being used in a system called Amphion to derive, from graphical specifications, programs composed from a subroutine library. The system has been applied to construct software for the planning and analysis of interplanetary missions. The library for that application is a collection of subroutines written in FORTRAN-77 at JPL to perform computations in solar-system kinematics. An application domain theory has been developed that describes A preliminary version of this appears in the proceedings of the Twelfth International Conference on Automated Deduction, Nancy, France, June 1994, pages 341-355. y fstickel,waldingerg@ai.sri.com z flowry, pressburger,underwoodg@ptolomy.arc.nasa.gov the procedures in a portion of the library, as well as some basic properties of solar-system astronomy, in the form of first-order axioms. Specifications are elicited from the user through a menu-driven graphical user interface; space scientists have found the graph...
Keyphrases
subroutine library deductive composition astronomical software com flowry application domain theory basic property deduction technique solar-system astronomy first-order axiom preliminary version automated deduction graphical specification solar-system kinematics menu-driven graphical user interface interplanetary mission space scientist twelfth international conference underwoodg ptolomy
