A theory of software reusability

M. C. Gaudel; Th. Moineau

Diagrammes (1990)

  • Volume: 23, page 67-84
  • ISSN: 0224-3911

How to cite


Gaudel, M. C., and Moineau, Th.. "A theory of software reusability." Diagrammes 23 (1990): 67-84. <http://eudml.org/doc/91750>.

author = {Gaudel, M. C., Moineau, Th.},
journal = {Diagrammes},
keywords = {abstract algebraic types; formal specifications; modularity; PLUSS; Software reusability; hierarchical specifications},
language = {eng},
pages = {67-84},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {A theory of software reusability},
url = {http://eudml.org/doc/91750},
volume = {23},
year = {1990},

AU - Gaudel, M. C.
AU - Moineau, Th.
TI - A theory of software reusability
JO - Diagrammes
PY - 1990
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 23
SP - 67
EP - 84
LA - eng
KW - abstract algebraic types; formal specifications; modularity; PLUSS; Software reusability; hierarchical specifications
UR - http://eudml.org/doc/91750
ER -


  1. [BBC 86] G. Bernot, M. Bidoit and C. Choppy, "Abstract implementation and correctness proofs", in Proc. Srd STACS, Jan. 1986, Springer-Verlag LNCS 210, Jan. 1986. Zbl0585.68025MR827740
  2. [Ber 87] G. Bernot, "Good functors ... are those preserving philosophy!", in Proc. 2nd Summer Conference on Category Theory and Computer Science, Ed-inburgh, Sept. 1987. also LRI report No. 354, June 1987. Zbl0639.68022MR925230
  3. [Bid 89a] M. Bidoit, "Pluss, un langage pour le développement de spécifications algébriques modulaires", Thèse d'Etat, Université Paris-Sud, Mai 1989. 
  4. [Bid 89b] M. Bidoit, "The stratified loose approach : A generalization of initial and loose semantics", in Proc. 1st Int. Conf. on Algebraic Methodology and Software Technology, Iowa City, USA, May 1989. 
  5. [BW 82] M. Broy and M. Wirsing, "Partial abstract types", Acta Informatica, No. 18, 1982. Zbl0494.68020MR688344
  6. [EKMP 80] H. Ehrig, H. Kreowski, B. Mahr and P. Padawitz, "Algebraic implementation of abstract data types", Theoretical Computer Science, Oct. 1980. Zbl0483.68018
  7. [EM 85] H. Ehrig and B. Mahr, "Fundamentals of algebraic specification", Springer Verlag, Berlin-Heidelberg-New York-Tokyo, 1985. Zbl0557.68013MR788495
  8. [FGJM 85] K. Futatsugi, J.A. Goguen, J-P. Jouannaud and J. Meseguer, "Principles of OBJ2", in proc. 12th ACM Symposium on Principles of Programming Languages, Jan. 1985. 
  9. [Gau 85] M.-C. Gaudel, "Towards structured algebraic specifications", ESPRIT'85 - Status Report, Part I, pp. 493-510, North Holland, 1986. 
  10. [GM 88] M.-C. Gaudel and Th. Moineau, "A theory of software reusability", In Proc. ESOP'88, LNCS 300, Springer Verlag, 1988. Zbl0712.68066
  11. [GH 78] J.V. Guttag and J. J. Horning, "The algebraic specification of abstract data types." Acta Informatica, No. 10, 1978. Zbl0369.68010MR495099
  12. [Pro 82] K. Proch, "ORSEC : Un Outil de Recherche de Spécifications Equivalentes par Comparaison d'exemple", Thèse de 3eme cycle, Nancy I, Dec. 1982. 
  13. [SW 82] D. Sanella and M. Wirsing, "Implementation of parametrized specifications", Report CSR-102-82, Department of Computer Science, University of Edinburgh. 
  14. [Wir 83] M. Wirsing, "Structured algebraic specifications : a kernel language", Habilitation Thesis, Technische Universität München, Sept. 1983. Zbl0599.68021
  15. [WPPDB 83] M. Wirsing, P. Pepper, H. Partsch, W. Dosch and M. Broy, "On hierarchy of abstract data types", Acta Informatica, No. 20, 1983. Zbl0513.68015MR720236

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.