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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on software engineering Ročník 16; číslo 9; s. 1024 - 1043
Hlavný autor:	Smith, D.R.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY IEEE 01.09.1990 Institute of Electrical and Electronics Engineers IEEE Computer Society
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!