915 search results - page 1 / 183 » Maximally Abstract Retrenchments |
IFM
1999
Springer
14 years 3 months ago
1999
Springer
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
JLP
2010
13 years 5 months ago
2010
Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (...
FM
2003
Springer
14 years 4 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...