``KIDS [Kestrel Interactive Development System] is basically a program transformation system -- one applies a sequence of consistency-preserving transformations to an initial specification and achieves a correct and hopefully efficient program.''[Smith, Douglas R., ``KIDS: A Semiautomatic Program Development System'', IEEE Trans. on Software Engineering, vol. 16, no. 9, Sept. 1990, pp. 1024-1043.]

Program development in KIDS follows these steps:

Contents    Page-10    Prev    Next    Page+10    Index