Evolution and Reuse of Formal Specification Using Decision Structures

@inproceedings{Wild1994EvolutionAR,
  title={Evolution and Reuse of Formal Specification Using Decision Structures},
  author={J. Christian Wild and Daniela Rosca},
  booktitle={KBSE},
  year={1994}
}
In this paper, we discuss the use of a knowledge structure, called the decision space, for the evolution of formal specifications. Because evolution is a particularly intense form of reuse, what we say will also impact on reusability. We demonstrate our approach using a formal specification, written in the Z formal specification language, for an aerospace application known as the RSDIMU (Redundant Strapped Down Inertial Measurement Unit). We show that articulating the decision structure and… CONTINUE READING
3 Citations
6 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-3 of 3 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…