Specware: Formal Support for Composing Software

@inproceedings{Srinivas1995SpecwareFS,
  title={Specware: Formal Support for Composing Software},
  author={Yellamraju V. Srinivas and Richard J{\"u}llig},
  booktitle={MPC},
  year={1995}
}
Specware supports the systematic construction of formal speciications and their stepwise reenement into programs. The fundamental operations in Specware are that of composing speciications (via colimits), the corresponding reenement by composing reenements (via sheaves), and the generation of programs by composing code modules (via colimits). The concept of diagram reenement is introduced as a practical realization of composing reenements via sheaves. Sequential and parallel composition of… CONTINUE READING
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 91 extracted citations

References

Publications referenced by this paper.

Applying formal software synthesis

  • R. ullig
  • IEEE Software 10,
  • 1993
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…