@article{DIA_1990__23__67_0, author = {Gaudel, M. C. and Moineau, Th.}, title = {A theory of software reusability}, journal = {Diagrammes}, pages = {67--84}, publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques}, volume = {23}, year = {1990}, mrnumber = {1082998}, zbl = {0712.68066}, language = {en}, url = {http://archive.numdam.org/item/DIA_1990__23__67_0/} }
TY - JOUR AU - Gaudel, M. C. AU - Moineau, Th. TI - A theory of software reusability JO - Diagrammes PY - 1990 SP - 67 EP - 84 VL - 23 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://archive.numdam.org/item/DIA_1990__23__67_0/ LA - en ID - DIA_1990__23__67_0 ER -
Gaudel, M. C.; Moineau, Th. A theory of software reusability. Diagrammes, Actes Volume 2. Journées d'études esquisses, logique et informatique théorique, Tome 23 (1990), pp. 67-84. http://archive.numdam.org/item/DIA_1990__23__67_0/
[BBC 86] "Abstract implementation and correctness proofs", in Proc. Srd STACS, Jan. 1986, Springer-Verlag LNCS 210, Jan. 1986. | MR | Zbl
, and ,[Ber 87] "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. | MR | Zbl
,[Bid 89a] "Pluss, un langage pour le développement de spécifications algébriques modulaires", Thèse d'Etat, Université Paris-Sud, Mai 1989.
,[Bid 89b] "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.
,[BW 82] "Partial abstract types", Acta Informatica, No. 18, 1982. | MR | Zbl
and ,[EKMP 80] "Algebraic implementation of abstract data types", Theoretical Computer Science, Oct. 1980. | Zbl
, , and ,[EM 85] "Fundamentals of algebraic specification", Springer Verlag, Berlin-Heidelberg-New York-Tokyo, 1985. | MR | Zbl
and ,[FGJM 85] "Principles of OBJ2", in proc. 12th ACM Symposium on Principles of Programming Languages, Jan. 1985.
, , and ,[Gau 85] "Towards structured algebraic specifications", ESPRIT'85 - Status Report, Part I, pp. 493-510, North Holland, 1986.
,[GM 88] "A theory of software reusability", In Proc. ESOP'88, LNCS 300, Springer Verlag, 1988.
and ,[GH 78] "The algebraic specification of abstract data types." Acta Informatica, No. 10, 1978. | MR | Zbl
and ,[Pro 82] "ORSEC : Un Outil de Recherche de Spécifications Equivalentes par Comparaison d'exemple", Thèse de 3eme cycle, Nancy I, Dec. 1982.
,[SW 82] "Implementation of parametrized specifications", Report CSR-102-82, Department of Computer Science, University of Edinburgh.
and ,[Wir 83] "Structured algebraic specifications : a kernel language", Habilitation Thesis, Technische Universität München, Sept. 1983.
,[WPPDB 83] "On hierarchy of abstract data types", Acta Informatica, No. 20, 1983. | MR | Zbl
, , , and ,