Titlebook: Constructing Correct Software; D. John Cooke Textbook 19981st edition Springer-Verlag London 1998 Formal Development.algorithms.design.dev

MUTED

Siddhartha Mishra,Christoph Schwabre more complicated than others but it is often the case that specifiers of software think in terms of units which are too small. Many specifications can be expressed using . data items, but in a way which does not unduly constrain their subsequent refinement down to an implementation. Using the con

epidermis

深淵

Gonzalo Rivas-Torres,Damian C. Adams The coverage is by no means complete, in particular there is little attention paid to the creation of clever internal data structures. Our major concern is the detailed application, and a certain amount of customisation., of the general transfinement tactics described earlier.

Pamphlet

María de Lourdes Torres,Carlos F. Menantions to two further examples which illustrate different aspects of algorithm design. These are two important, if unfamiliar, problems which can both be represented pictorially. We could follow them through right down to the level of complete PDL implementations; however, we shall stop at an earlie

碎片

https://doi.org/10.1007/978-3-319-67017-1We do not advocate that Chapter 2A should necessarily be read sequentially and in its entirety. Probably the best approach is to study Sections 2.3.1/2 (Booleans) and 2.3.4 (Integers). Other parts of Section 2.3 can be consulted and studied when necessary. Section 2.4 includes an example of how transformations can be used to manipulate programs.

Mri485

Gonzalo Rivas-Torres,María Gloria RivasSo far we have only considered specifications and designs of programs which carry out computations; i.e. situations where, given suitable data, we compute an appropriate result and deposit it in a named location (which was hitherto unused).

Anticonvulsants

Transformations II,We do not advocate that Chapter 2A should necessarily be read sequentially and in its entirety. Probably the best approach is to study Sections 2.3.1/2 (Booleans) and 2.3.4 (Integers). Other parts of Section 2.3 can be consulted and studied when necessary. Section 2.4 includes an example of how transformations can be used to manipulate programs.

生氣的邊緣

The Broader Picture,So far we have only considered specifications and designs of programs which carry out computations; i.e. situations where, given suitable data, we compute an appropriate result and deposit it in a named location (which was hitherto unused).

中世紀(jì)

長矛