Structuring Retrenchments in the small with B (2002)
by
Michael Poppleton
,
Richard Banach
BibTeX
@MISC{Poppleton02structuringretrenchments,
author = {Michael Poppleton and Richard Banach},
title = {Structuring Retrenchments in the small with B},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Simple retrenchment is briefly reviewed as a liberalisation of classical refinement, for the formal description of application developments too demanding for refinement. Two generalisations, output and evolving retrenchment, are presented. Simple monotonicity results for retrenchment are recalled, forming the basis of a piecewise development method.
