stepwise refinement
stepwise refinement An approach to software development in which an initial highly abstract representation of some required program is gradually refined through a sequence of intermediate representations to yield a final program in some chosen programming language. The initial representation employs notations and abstractions that are appropriate for the problem being addressed. Subsequent development then proceeds in a sequence of small steps. Each step refines some aspect of the representation produced by the previous step, thus yielding the next representation in the sequence. Typically a single step involves simultaneous refinement of both data structures and operations, and is small enough to be performed with some confidence that the result is correct. Refinement proceeds until the final representation in the sequence is expressed entirely in the chosen programming language. The approach is normally associated with N. Wirth, designer of the Pascal and Modula languages. Compare structured programming.
More From encyclopedia.com
Richard came a couple of steps nearer. , step / step/ • n. 1. an act or movement of putting one leg in front of the other in walking or running: Ron took a step back she turned and retraced… Dieppe , Dieppe •cep, Dieppe, hep, misstep, outstep, pep, prep, rep, schlepp, skep, step, steppe, strep •quickstep • sidestep • doorstep •goosestep • footstep… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Lisp , LISP
LISP, an acronym for LISt Processing, is a programming language developed by John McCarthy in the late 1950s. Although LISP is a general-purpose… Programming Language , In order for computers to accept commands from humans and perform tasks vital to productivity and e-commerce, a means of communication must exist. Pr… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati…
You Might Also Like
NEARBY TERMS
stepwise refinement