Evolution and Reuse of Formal Specification Using Decision Structures

  title={Evolution and Reuse of Formal Specification Using Decision Structures},
  author={J. Christian Wild and Daniela Rosca},
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


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


Publications referenced by this paper.

Similar Papers

Loading similar papers…