Essential concepts of algebraic specification and program development

@article{Sannella1997EssentialCO,
  title={Essential concepts of algebraic specification and program development},
  author={Donald Sannella and Andrzej Tarlecki},
  journal={Formal Aspects of Computing},
  year={1997},
  volume={9},
  pages={229-269}
}
The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere. 
BETA

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

241 Citations

0102030'97'02'08'14
Citations per Year
Semantic Scholar estimates that this publication has 241 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-10 OF 60 REFERENCES

Formally - driven fiiendly specifications of concurrent systems : a tworail approach

  • E. Astesiano, G. Reggio
  • Proc . ICSE17 Workshop on Formal Methods…
  • 1995

Development by SPECification and TRAnsformation: Methodology - Language Family - System

  • B. Hoffmann, Krieg-Briickner, B. PROgram
  • Theoretical Computer Science
  • 1993

Similar Papers

Loading similar papers…