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ženo v:

Podrobná bibliografie
Vydáno 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:	angličtina
Vydáno:	New York, NY IEEE 01.09.1990 Institute of Electrical and Electronics Engineers IEEE Computer Society
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!