KIDS: a semiautomatic program development system

The Kestrel Interactive Development System (KIDS), which provides automated support for the development of correct and efficient programs from formal specifications, is described. The system has components for performing algorithm design, deductive inference, program simplification, partial evaluati...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 16; H. 9; S. 1024 - 1043
1. Verfasser:	Smith, D.R.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY IEEE 01.09.1990 Institute of Electrical and Electronics Engineers IEEE Computer Society
Schlagworte:	Algorithm design and analysis Algorithms Applied sciences Automatic programming Automation Computer programming Computer science; control theory; systems Data structures Design optimization Environmental economics Exact sciences and technology Finite difference methods Formal specifications Inference algorithms Interactive Knowledge Language Optimization Optimization techniques Performance evaluation Software Software engineering Specifications Syntax Systems development Theory Software tool Automatic programming Software development Formalization Program design Program specification Software engineering
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!