Add to ORKGThe drawbacks of using refinement alone in the construction of specifications from simple abstract models is used as the spur for the introduction of retrenchment, a method based on the main ideas of refinement, but one which is more liberal in character. The basics of the retrenchment mechanism are reviewed in preparation for exploring its integration with refinement. The particula
Given a record of the derivation of a component from its specification, and a new, changed specifica...
Some of the success stories of model based refinement are recalled, as well as some of the annoyance...
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [ref] as a liberalization ...
The more obvious and well known drawbacks of using refinement as the sole means of progressing from...
Discussion of a simple example demonstrates various expressive limitations of the refinement calculu...
Abstract. The ingredients of typical methodologies for model based development via refinement are re...
In conventional model-oriented formal refinement, the abstract model is supposed to capture all the ...
It is argued that refinement, in which I/O signatures stay the same, preconditions are weakened and ...
AbstractRefinement is reviewed, highlighting in particular the distinction between its use as a spec...
It is argued that refinement, in which I/O signatures stay the same, preconditions are weakened and ...
Some of the shortcomings of using refinement alone as the means of passing from high level simple mo...
Refinement is a long-established technique that is widely used in the rigorous development of softwa...
AbstractRetrenchment is a flexible model evolution formalism that arose as a reaction to the limitat...
Refinement is reviewed, highlighting in particular the distinction between its use as a specificatio...
Simple retrenchment is briefly reviewed in the B specification language of J.-R.Abrial (Abrial,1996)...
Given a record of the derivation of a component from its specification, and a new, changed specifica...
Some of the success stories of model based refinement are recalled, as well as some of the annoyance...
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [ref] as a liberalization ...
The more obvious and well known drawbacks of using refinement as the sole means of progressing from...
Discussion of a simple example demonstrates various expressive limitations of the refinement calculu...
Abstract. The ingredients of typical methodologies for model based development via refinement are re...
In conventional model-oriented formal refinement, the abstract model is supposed to capture all the ...
It is argued that refinement, in which I/O signatures stay the same, preconditions are weakened and ...
AbstractRefinement is reviewed, highlighting in particular the distinction between its use as a spec...
It is argued that refinement, in which I/O signatures stay the same, preconditions are weakened and ...
Some of the shortcomings of using refinement alone as the means of passing from high level simple mo...
Refinement is a long-established technique that is widely used in the rigorous development of softwa...
AbstractRetrenchment is a flexible model evolution formalism that arose as a reaction to the limitat...
Refinement is reviewed, highlighting in particular the distinction between its use as a specificatio...
Simple retrenchment is briefly reviewed in the B specification language of J.-R.Abrial (Abrial,1996)...
Given a record of the derivation of a component from its specification, and a new, changed specifica...
Some of the success stories of model based refinement are recalled, as well as some of the annoyance...
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [ref] as a liberalization ...