Titlebook: Constructing Correct Software; John Cooke Textbook 2005Latest edition Springer-Verlag London 2005 Formal Development.Formal Methods.OVal.S

anticipate

Introductionrticular programming language; nor is it a collection of standard algorithms for solving common problems. It is about the creation of software designs which are . to meet their requirements — that are .. And correctness cannnot be qualified — software is either correct or it isn’t

Limited

Sorting sorting. We demonstrate how a selection of different algorithms can be derived from a single specification, but our coverage is by no means exhaustive. Our major concern is the detailed application, and a certain amount of customisation., of the general transfinement tactics.

BOLT

有法律效應(yīng)

Resilience History and Focus in the USAWe now present some variants of the high-level designs given in Chapter 7. We shall use the same broad sub-divisions used there, namely exchange sorts, merge sorts and partition sorts — but beware that the distinction is often confusing, and that in array based implementations most operations are achieved by means of exchanges

HEW

Richard de Satgé,Vanessa WatsonThis book has focussed on the specification and design 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 that was hitherto unused).

墻壁

使隔離

文字

languor

978-1-85233-820-6Springer-Verlag London 2005

消散