Metavariables and Conditional Reenements in the Reenement Calculus Publishing Information

We describe two techniques for the reenement calculus that facilitate goal-directed development. The techniques achieve this by allowing the deferring of decisions about the precise form of reenement steps, so high-level choices can be expressed as soon as those choices are appropriate. Metavariables are place-holders for components of partly developed… CONTINUE READING