Download now Free registration required
Proper techniques and testing are two important approaches that assist in the development of high quality software while traditionally these approaches have been seen as rivals. The authors augment the usual semantics of substitution with an explicit notation of frame, which allow one to develop a simple self-contained theory of generalized substitution outside their usual context of the B method. In doing so, they gain some useful insight about the nature of substitutions, which enables them to resolve some heather to problematic issues concerning substitutions within the B method.
- Format: PDF
- Size: 252.06 KB