This site contains older material on Eiffel. For the main Eiffel page, see http://www.eiffel.com.

Publication list

Bertrand Meyer
April 2000

If you find an error or omission, please send an e-mail to the author.

Books

    [1] With Claude Baudoin: Méthodes de Programmation (Programming Methodology), Eyrolles, Paris, 1978; third revised edition, 1984. Translation: Russian.

    [2] Object-Oriented Software Construction, Prentice Hall, 1988. Translations: German, French, Italian, Japanese, Dutch, Chinese, Rumanian. (See [8] below for second edition.)

    [3] Introduction to the Theory of Programming Languages, Prentice Hall, 1990. Translations: Japanese, French. Second edition in preparation.

    [4] Eiffel: The Language, Prentice Hall, 1991. Second revised printing, 1992. Translations: French. Third edition in preparation.

    [5] Reusable Software: The Base Object-Oriented Component Libraries, Prentice Hall, 1994.

    [6] An Object-Oriented Environment: Principles and Application, Prentice Hall, 1994.

    [7] Object Success: A Manager's Guide to Object-Orientation, its Impact on the Corporation, and its Use for Reengineering the Software Process, Prentice Hall, 1995.

    [8] Object-Oriented Software Construction, second edition , Prentice Hall, January 1997. Translations: Spanish; in progress: French, Chinese, Japanese.

    [9] [In progress] Design by Contract, Prentice Hall, publication expected late 2000.

Books edited

    [10] With Dino Mandrioli: Advances in Object-Oriented Software Engineering, Prentice Hall, 1991.

    [11] With Jean-Marc Nerson: Object-Oriented Applications, Prentice Hall, 1993.

Standards

    [12] (Lead author) Eiffel Library Kernel Standard (ELKS), Nonprofit International Consortium for Eiffel, 1995.

Conference proceedings edited

    [13] Logiciel et Matériel, Applications et Implications (Proceedings of the National AFCET-INFORMATIQUE 1980 Conference, Nancy), November 1980, AFCET, Paris.

    [14] With Larry Druffel: 10th International Conference on Software Engineering (Singapore), IEEE Computer Society, 1988.

    [15] With co-editors (including: Jean Bézivin, Roger Duke, Raimund Ege, Timothy Korson, Christine Mingins, Jean-Marc Nerson, Jean-François Perrot, John Potter, Madhu Singh, Mario Tokoro): TOOLS EUROPE, USA, PACIFIC andASIA conferences (Technology of Object-Oriented Languages and Systems) 1 to 34, Paris, Sydney, Melbourne, Dortmund, Santa Barbara, Versailles, published by SOL (vol. 1), Angkor (volume 2), Prentice Hall (vols. 4 to 26) and IEEE Computer Society (vol. 27 on), since 1989.

Book series edited

    [16] Editor of the Component and Object Technology Series (originally: Object-Oriented Series), Prentice Hall, since 1990. About 30 titles published, several in press.

    [17] Editor of the Eiffel in Practice series, Addison-Wesley, since 1995. Three titles published.

Journal departments/columns edited

    [18] Editor of the Object and Component Technology (originally: Object Technology) Department of Computer (IEEE), 1996-1999. About 30 articles published, of which about 40% by guest authors.

    [19] Editor of the Eiffel column in JOOP (Journal of Object-Oriented Programming), since 1997.

    [20] With Clemens Szyperski and Bruce Powell Douglas, co-editor of Beyond Objects column of Software Development, since 1999.

Special journal issues edited

    [21] Special issue of Communications of the ACM on concurrent object-oriented programming, vol. 36, no. 9, September 1993.

    [22] With Christine Mingins: special issue of Computer (IEEE) on component-based development, July 1999.

Chapters in collective books

    [23] With Jean-Raymond Abrial and Stephen A. Schuman: A Specification Language, in On the Construction of Programs, Cambridge University Press, eds. R. McNaughten and R.C. McKeag,, 1980. (Description of early version of the Z specification language.)

    [24] Article "Langages de Programmation" (Survey article for the programming language section), in Encyclopédie " Techniques de l'Ingénieur " (Engineering Encyclopedia), Paris, December 1980.

    [25] Article "Génie Logiciel" (Survey article on software engineering), Encyclopédie Techniques de l'Ingénieur (Engineering Encyclopedia), 1986.

    [26] Design by Contract, in Advances in Object-Oriented Software Engineering, eds. D. Mandrioli and B. Meyer [10] , Prentice Hall, 1991, pp. 1-50.

    [27] The New Culture of Software Development in Advances in Object-Oriented Software Engineering, eds. D. Mandrioli and B. Meyer [10] , Prentice Hall, 1991, pp. 51-64. (Revised version of TOOLS '89 article, see [87] .)

    [28] Eiffel: An Introduction, in Object-Oriented Programming Systems, Tools and Applications, ed. J.J. Florentin, Chapman & Hall, 1991, pp 149-182. Also appears in New Computing Techniques in Physics Research, eds. D. Perret-Gallix and W. Wojcik, Editions du CNRS, Paris, 1990, pp. 191-208.

    [29] An Overview of Object-Oriented Technology, in Object-Oriented Applications , eds. B. Meyer and J.-M. Nerson [11] , Prentice Hall, 1993.

(Several articles listed below also republished as book chapters.)

Articles in refereed journals (including columns)

    [30] With Claude Kaiser and Etienne Pichat L'Enseignement de la Programmation à l'IIE (Teaching Programming at the IIE engineering school), in Zéro-Un Informatique, 1975.

    [31] La Description des Structures de Données (The Description of Data Structures), in Bulletin de la Direction des Etudes et Recherches d'Electricité de France, Série C (Informatique), Clamart (France), 1976.

    [32] Initiation à la programmation en milieu industriel (Teaching Modern Programming Methodology in an Industrial Environment), in RAIRO, série bleue (informatique), vol. 11, no. 1, pages 21-34 1977.

    [33] A Note on Computing Multiple Sums, in Software, Practice and Experience, vol. 8, 1978, pages 3-8.

    [34] Quelques concepts importants des langages de programmation modernes et leur expression en Simula 67 (Some Important Concepts of Modern Programming Languages and their Expression in Simula 67), in Bulletin de la Direction des Etudes et Recherches d'Electricité de France, Série C (Informatique), Clamart (France), no. 1, 1979, pages 89-150 Also in GROPLAN 9, AFCET, 1979.

    [35] With Michel Demuynck: Les Langages de Spécification (Specification Languages), in Bulletin de la Direction des Etudes et Recherches d'Electricité de France, Série C (Informatique), Clamart (France), no. 1, 1979, pages 39-60.

    [36] With Alain Bossavit: Sur la Programmation rationnelle des Algorithmes numériques (On the systematic development of numerical algorithms), in Bulletin de la Direction des Etudes et Recherches d'Electricité de France, Série C (Informatique), Clamart (France), no. 2, 1979.

    [37] With Michel Demuynck: Les Langages de Spécification, followed by A la Recherche de la Spécification Idéale (two survey papers on specification languages), in Zéro-Un Informatique, no. 150 et 151, April and May 1981, pp. 62-70, 65-70.

    [38] Principles of Package Design, in Communications of the ACM, vol. 25, no. 7, pages 419-428 July 1982.

    [39] With Jean-Marc Nerson and Soon Hae Ko: Showing Programs on a Screen, in Science of Computer Programming, no. 2, vol. 5, 1985, pages 111-142.

    [40] Incremental String Matching, 1985, in Information Processing Letters, vol. 21, 18 November 1985, pages 219-227.

    [41] With Alain Bossavit: An Application of Program Transformation to Supercomputer Programming, pages 27-38 in Vector and Parallel Processors in Computational Science (Eds. Duff and Reid), special issue of Computer Physics Communications, North-Holland Publishing Company, Amsterdam, 1985. (Revised version of the VAPP conference presentation, Oxford, 1984; see [72] ).

    [42] On Formalism in Specifications, in I EEE Software, vol. 3, no. 1, January 1985, pages 6-25. Republished in T. Colburn, J. Fetzer, and T. Rankin (eds.), Program Verification: Fundamental Problems in Computer Science, Kluwer Academic Publishers, Dordrecht, Netherlands, 1993. Also in Dutch translation: Over het gebruijk van formalismen in specificaties, in Informatie, jaargang 28 nr. 5-6, 1986.

    [43] Cépage: A Software Design Tool, in Computer Language, September 1986, vol. 3, no. 9, pages 43-53.

    [44] Language-based Editing with Cépage, in The Journal of Systems and Software, 1987.

    [45] Reusability: the Case for Object-Oriented Design, in IEEE Software, vol. 4, no. 2m March 1987, pages 50-62. Reprinted in the following volumes: Selected Reprints in Software, ed. M. Zelkowitz, IEEE Press, 1987; Software Reusability, ed. T. Biggerstaff, Addison-Wesley, 1988; Object-Oriented Computing, IEEE Press, 1988.

    [46] Genericity, static type checking, and inheritance, in The Journal of Pascal, Ada and Modula-2, 1987. (Revised version of OOPSLA '86 paper, see [84] .)

    [47] Eiffel: Applying the Principles of Object-Oriented Design, in Computer Language, May 1988.

    [48] Eiffel: A Language and Environment for Software Engineering, in The Journal of Systems and Software, 1988.

    [49] The Eiffel Environment, in Unix Review, Volume 6, Number 8, pages 44-55, August 1988.

    [50] Bidding Farewell to Globals, in Journal of Object-Oriented Programming, Volume 1, Number 4, pages 73-76, August-September 1988.

    [51] Harnessing Multiple Inheritance, in Journal of Object-Oriented Programming, Volume 1, Number 5, pages 48-51, November-December 1988.

    [52] From Structured Programming to Object-Oriented Design: The Road to Eiffel, in S tructured Programming, Volume 10, Number 1, pages 19-39, January 1989.

    [53] The New Culture of Software Development, in Journal of Object-Oriented Programming, Volume 3, Number 4, pages 76-81, November-December 1990. (Revised version of TOOLS 89 article, see [87] .)

    [54] You can write, but can you type?, in Journal of Object-Oriented Programming, Volume 1, Number 6, pages 58-67, March-April 1989.

    [55] Writing Correct Software, in Dr. Dobb's Journal, February 1990, pages 48-63.

    [56] Tools for the New Culture: Lessons from the Design of the Eiffel Libraries, in Communications of the ACM, volume 33, Number 9, pages 40-60, September 1990.

    [57] Applying "Design by Contract ", in Computer (IEEE), 25, 10, October 1992, pages 40-51 (invited paper in special object-oriented issue; slightly revised version of [150] ).

    [58] The Legacy of Simula, in Object Magazine, October 1992 (invited paper in 25th anniversary issue on O-O technology).

    [59] Design by contract: building bug-free O-O software, in Hotline on Object-Oriented Technology, volume 4, Number 2, December 1992, pages 4-8. German version, ComputerWoche, February 1994.

    [60] Towards an Object-Oriented Curriculum , in Journal of Object-Oriented Programming, Volume 6, Number 2, May 1993, pages 76-81.

    [61] What is an Object-Oriented Environment? Five Principles and their Application, in Journal of Object-Oriented Programming, Volume 6, Number 4, July-August 1993, pages 75-81.

    [62] Systematic Concurrent Object-Oriented Programming, in Communications of the ACM, 36, 9, September 1993, pp. 56-80.

    [63] (With 13 other authors) Where is Software Headed? A Virtual Roundtable, in Computer (IEEE), vol. 28, no. 8, August 1995, pages 119-121.

    [64] The Conceptual Perspective, in Computer (IEEE), vol. 29, no. 1, January 1996.

    [65] The Reusability Challenge, in Computer (IEEE), vol. 29, no. 2, February 1996, pages 76-78.

    [66] The Many Faces of Inheritance: A Taxonomy of Taxonomy, in Computer (IEEE), vol. 29, no. 5, May 1996, pages 105-108.

    [67] Why Your Next Project Should Use Eiffel, in Journal of Object-Oriented Programming, vol. 9, no. 2, May 1996, pages 59-63, 82.

    [68] Schema Evolution: Concepts, Terminology and Solutions, in Computer (IEEE), vol. 29, no. 10, October 1996, pages 119-121.

    [69] Design by Contract: The Lessons of Ariane, in Computer (IEEE), vol. 30, no. 1, January 1997, pages 129-130.

    [70] Practice to Perfect: The Quality First Model, in Computer (IEEE), vol. 30, no. 5, May 1997, pages 102-106.

    [71] The Next Software Breakthrough, in Computer (IEEE), vol. 30, no. 7, July 1997, pages 113-114.

    [72] With Christopher Creel and Philippe Stephan: The Opportunity of a Millenium, in Computer (IEEE), vol. 30, no. 11, November 1997, pages 137-138.

    [73] The Future of Object Technology, in Computer (IEEE), vol. 31, no. 1, January 1998, pages 140-141.

    [74] The Component Combinator for Enterprise Applications, in JOOP, vol. 10, no. 8, January 1998, pages 5-9.

    [75] With Christine Mingins and Heinz Schmidt: Providing Trusted Components to the Industry, in Computer (IEEE), vol. 31, no. 5, May 1998, pages 104-105.

    [76] Tell Less, Say More: The Power of Implicitness, in Computer (IEEE), vol. 31, no. 7, July 1998, pages 97-98.

    [77] The Role of Object-Oriented Metrics, in Computer (IEEE), vol. 31, no. 11, November 1998, pages 123-125.

    [78] The Eiffel Approach to Portability, in JOOP, July-August 1998.

    [79] Prelude to a Theory of Void, in JOOP, November 1998.

    [80] EiffelBase Goes Public, in JOOP, November 1998.

    [81] On to Components, in Computer (IEEE), vol. 32, no. 1, January 1999, pages 139-140.

    [82] Rules for Component Builders, in Software Development, May 1999.

    [83] Extension season, in JOOP, June 1999.

    [84] With Christine Mingins: Component-Based Development: From Buzz to Spark (special issue introduction), in Computer (IEEE), vol. 29, no. 7, July 1999, pages 35-37.

    [85] With Paul Dubois, Mark Howard, Michael Schweitzer and Emmanuel Stapf: From Calls to Agents, in Journal of Object-Oriented Programming, September 1999.

    [86] Every Little Bit Counts: Towards More Reliable Software, in Computer (IEEE), vol. 32, no. 11, November 1999, pages 131-133.

    [87] The Significance of Components, in Software Development, November 1999.

    [88] A Really Good Idea, in Computer (IEEE), vol. 32, no. 12, December 1999, pages 144-147.

    [89] The Ethics of Free Software, in Software Development, March 2000, pages 32-36.

    [90] What to Compose, in Software Development, March 2000, pages 59, 71, 74-75.

    [91] Contracts for Components, in Software Development, July 2000 (to appear).

    [92] Towards More Extensive Contracts, in JOOP, July 2000 (to appear).

Articles in conference proceedings

    [93] L'Atelier Logiciel (The Software Workshop), in Journées BIGRE, INRIA (Rocquencourt), 1977.

    [94] With Michel Demuynck: Les Langages de Spécification: Vers une meilleure Compréhension des Problèmes, et des Programmes plus fiables (Specification Languages: Towards More Reliable Programs), in Convention Informatique, Paris, September 1978.

    [95] With Alain Bossavit: On the Constructive Approach to Programming: The Case of "Partial Choleski Factorization" (A Tool for Static Condensation in Numerical Analysis), in Advances in Computer Methods for Partial Differential Equations III, (IMACS Symposium, Bethlehem, Pennsylvania) eds. Vichnevetsky and Stepleman, pages 287-291 1979.

    [96] With Gérard Brisson: Two Program Manipulation Systems Using Simula: SATRAPE and ZAIDE, in Simula Summer School, Oslo (Norway), July 1980.

    [97] A Basis for the Constructive Approach to Programming, in Information Processing 80 (Proceedings of the IFIP World Computer Congress), Tokyo, October 6-9, 1980) ed. S. H. Lavington, North-Holland Publishing Company, Amsterdam, pages 293-298, 1980.

    [98] A Three-Level Approach to Data Structure Description, and Notational Framework, in ACM-NBS Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, 25-26 June 1981. eds. Michael Brodie and Steven Zilles;, Proceedings appear as the January 1981 issues of the SIPLAN, SIGMOD, SIGART newsletters, pages 164-166.

    [99] Some Methodological Aspects of Using a Cray-1 (Abstract), in Cray User's Group Meeting, Bad-Schliersee, Germany, September 1981.

    [100] With Alain Bossavit: The Design of Vector Programs, in Algorithmic Languages, eds. Jaco de Bakker and R.P. van Vliet, North-Holland Publishing Company, Amsterdam, 1981, pages 99-114.

    [101] With Bertrand Heilbronn and Alain Poujol: Avantages et Limites des Spécifications formelles: Une expérience industrielle (Benefits and Limitations of Formal Specifications: An Experiment in Industry), in Journées AFCET-AUTOMATIQUE sur la Validation des Spécifications fonctionnelles, AFCET, Paris, 23 October 1981.

    [102] Vers un Environnement Conversationnel à deux dimensions, in Journées BIGRE, Grenoble, 27-29 January 1982.

    [103] Towards a Two-Dimensional Programming Environment, in Proceedings of the European Conference on Integrated Computing Systems, (ECICS 82), Stresa (Italy), 1-3 September 1982. Reprinted in Readings in Artificial Intelligence, Tioga Press, Palo Alto, 1983 Amsterdam, eds. Pierpaolo Degano and Erik Sandewall, North-Holland, 1983, pages 167-179.

    [104] With Alain Bossavit: An Application of Program Transformation to Supercomputer Programming (invited presentation), in Vector and Parallel Processors in Computational Sciences (Proceedings of VAPP Conference, Oxford, 28-31 August 1984), eds. I.S. Duff and J.K. Reid, North Holland, 1984, pages 27-38.

    [105] A System Description Method, in International Workshop on Models and Languages for Software Specification and design, Orlando (Fl.), eds. Robert G. Babb II and Ali Mili, March 1984, pages 42-46.

    [106] With Jean-Marc Nerson: Cépage : Un Editeur structurel Pleine Page, in Second Colloque de Génie Logiciel (Second Conference on Software Engineering), AFCET, Nice (France), June 1984, pages 153-158.

    [107] CEPAGE, A Full-Screen Structured Editor, in Software Engineering: Practice and Experience, ed. Emmanuel Girard, North Oxford Academic, Oxford, 1984, pp. 60-65. (English version of [78] .)

    [108] Software Engineering for Engineering Software (invited presentation), in Tools, Methods and Languages for Scientific Computation, (ACM-INRIA, Paris, 1983) North-Holland, Amsterdam, 1984.

    [109] With Alain Bossavit: Transformation de Programmes: Une Application à la Programmation des Super-Ordinateurs (Program Transformation: An Application to Supercomputer Programming), in Journées AFCET-Ada, December 1984.

    [110] The Software Knowledge Base, in 8th International Conference on Software Engineering, London, August 1985, pages 158-165.

    [111] Cépage: vers la Conception de Logiciel assistée par Ordinateur/Towards Computer-Aided Design of Software, in Convention Informatique, Paris, September 1985.

    [112] Genericity versus inheritance , in ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), Portland (Oregon), September 29 - October 2, 1986, pages 391-405.

    [113] With Mananobu Matsuo, Yasutsugu Doi, Hiroshi Matsumoto and Jean-Marc Nerson: The Cepage structural editor (in Japanese), in Japanese Society for Computer Science, Tokyo, July 1987, pages 391-405.

    [114] With Jean-Marc Nerson and Masanobu Matsuo: Safe and Reusable Programming using Eiffel, in Proceedings of First European Software Engineering Conference (ESEC 87), Strasbourg (France), September 8-11, 1987, Springer-Verlag Lecture Notes in Computer Science, 1987.

    [115] The New Culture of Software Development: Reflections on the Practice of Object-Oriented Design , in TOOLS 1 (Technology of Object-Oriented Languages and Systems, Paris, November 1989), SOL, Paris, pages 13-23, 1989.

    [116] With Philip Hucklesby: The Eiffel Object-Oriented Parsing Library, in TOOLS 1 (Technology of Object-Oriented Languages and Systems, Paris, November 1989), SOL, Paris, pages 501-507, 1989.

    [117] Sequential and Concurrent Object-Oriented Programming, in TOOLS 2, (Technology of Object-Oriented Languages and Systems, Paris, 23-26 June 1990), Angkor/SOL, Paris, pages 17-28, June 1990.

    [118] Towards an Object-Oriented Curriculum, in TOOLS 11 (Technology of Object-Oriented Languages and Systems, Santa Barbara, August 1993), eds. R. Ege, M. Singh and B. Meyer, Prentice Hall, 1993, pages 585-594. (Revised version of [57] .).

    [119] On the Role of Methodology: Advice to the Advisors, in Object-Oriented Technology for Database and Software Systems (Montreal, 1995), eds. V. S. Alagar and R. Missaoui (eds.), World Scientific Publishers, Singapore, 1995, pages 1-5.

    [120] Static Typing , in OOPSLA 96 (Object-Oriented Programming, Systems, Languages and Applications), Atlanta, 1996. (Keynote lecture, published in supplementary proceedings, ACM SIGPLAN, precise reference unknown. See [93] .)

    [121] Static Typing , in Object Technologies for Advanced Software, eds. Kokichi Futatsugi and Satoshi Matsuoka, Springer Lecture Notes in Computer Science 1049, Springer Verlag (Berlin), 1996, pages 57-75. (Revised version of [92] .)

Films, video presentations

    [123] With Eric de Drouas: A Vector Computer: The Cray-1 and how to program it (1-hour instructional video film on vector programming on the Cray-1), Electricité de France, Clamart (France), 1981, French and English versions.

    [124] Object-Oriented Design and Programming , 18-hour instructional video film, Europace (training organization for major industrial companies in the European Union), September 1988. Two-hour live follow-up lecture and panel, December 1991.

    [125] Introduction to Object-Oriented Techniques, 8-hour instructional video film, IBM, Thornwood (New York), January 1989.

    [126] Interview on object-oriented technology, BBC/Open University, London, June 1992.

    [127] Object-Oriented Software Engineering, instructional video film, Europace (new edition of 1988 program [96] ) and Interactive Software Engineering, September 1992.

Guest editorials, interviews (a selection)

    [128] Interview with Editorial Board Member B. Meyer . J ournal of Object-Oriented Programming, 1989.

    [129] Pure Object-Oriented Programming with Eiffel . Interview in Programmer's Update, pages 59-69, February 1990. An interview where the author explains some of the key Eiffel ideas.

    [130] Object-Orientation Outlook, 1991: Optimism, pessimism, challenges . Guest editorial in Journal of Object-Oriented Programming, October 1991.

    [131] The Object-Oriented Perspective . Interview in ASCII Magazine, Tokyo, October 1991.

    [132] Evolution or revolution? (discussion of O-O vs. structured methods), Object Magazine, October 1991.

    [133] Advances in Eiffel . Interview in Software Design, Tokyo (Japan), December 1991.

    [134] New Developments in Object-Oriented Technology . Interview in ASCII Magazine, Tokyo (Japan), December 1991.

    [135] Interview in ProgramNow, London, March 1992.

    [136] Interview in .EXE, London, May 1992.

    [137] Interview in IX Magazine, Germany, July 1992.

    [138] Interview in 01 Informatique (major French Computer weekly), March 1996.

    [139] Interview in Le Monde Informatique (the other major French Computer weekly), September 1996.

    [140] Interview in The Australian (major Australian daily), 3 December 1996.

    [141] Guest editorial for 10-th anniversary issue of Journal of Object-Oriented Programming, 1996.

    [142] The View from the Eiffel Tower, interview by Carlo Pescio in Software Development, September 1997.

    [143] Interview in Programmez (French programming magazine), October 1998.

Book reviews

    [144] Numerous book reviews in Technology and Science of Informatics, 1982-1985.

    [145] With Olivier Lecarme: Review of "Compilation", by Cunin, Voiron, Griffiths, in ACM Computing Reviews, 1982.

    [146] The human factor has knocked three times: review of three books on human factors in interactive systems (Card, Moran, Newell; Ledgard, Singer, Whiteside; Shneiderman), in TSI (Technology and Science of Informatics), vol. 3, no. 3, pages 205-208 (English Edition) 1984.

    [147] Review of "Computer Systems Methodologies", by C.A. Ziegler, in Science of Computer Programming, vol. 5, no. 1, January 1985.

Course notes (a selection)

    [148] Introduction à la Programmation en Algol W (Introduction to Programming in Algol W), IIE (Institut d'Informatique d'Entreprise), Paris, 1975.

    [149] With Jean-Raymond Abrial: Course notes on formal specification; case study (automated directory system), INRIA-EDF-CEA Summer School on Programming Methodology, Le-Bréau-sans-Nappe, France, July 1978.

    [150] Le Génie Logiciel (Software Engineering), Course Notes, EDF, 1981-83.

    [151] An Introduction to the Art of Writing Correct Programs, March 1984 (Revised January 1985), Report TRCS84-05, Computer Science Department, University of California, Santa Barbara, (Course notes for CS130A).

    [152] Object-Oriented Software Construction, course notes, Interactive Software Engineering and other training organizations, 1987-2000 (English and French editions).

    [153] Object Technology for Managers and Managing O-O Projects, course notes, Interactive Software Engineering and other training organizations, 1990-2000 (English and French editions).

    [154] Designing Reusable Libraries, course notes, Interactive Software Engineering and other training organizations, 1991-2000 (English and French editions).

    [155] Design by Contract, course notes, Interactive Software Engineering and other training organizations, 1998-2000 (English and French editions).

    [156] Component-Based Development, course notes, Interactive Software Engineering and other training organizations, 1999-2000.

Articles in unrefereed publications (a selection)

    [157] Sur le Formalisme dans les Spécifications (On formalism in Specifications), in GLOBULE (Newsletter of the AFCET Software Engineering Working Group), no. 1, pages 81-122 1979.

    [158] With Jean-Marc Nerson: Quatre Outils d'Analyse Statique (Comparison of Four Static Analysis Tools), in GLOBULE (Newsletter of the AFCET Software Engineering Working Group), Paris, no. 4, 1982.

    [159] Some Mistakes are Worse than Others (note on The Science of Programming by David Gries), in Software Engineering Notes (ACM), vol. 8, no. 5, October 1983.

    [160] A Note on Iterative Hanoi, in ACM SIGPLAN Notices, vol. 19, no. 12, December 1984, pages 38-40.

    [161] Eiffel: Programming for Reusability and Extendibility, in ACM SIGPLAN Notices, February 1987.

Technical reports and manuals (a selection)

    [162] Un Ramasse-Miette par Tri (Garbage Collection through Sorting), Atelier Logiciel no. 8, Electricité de France, Clamart (France), August 1978.

    [163] With B. Lalande and P. Gaudron: Reduce: Calcul Symbolique (Symbolic Computation with Reduce) (manual), Electricité de France, Clamart (France), Atelier Logiciel 20, 1979.

    [164] With Eugène Audin, Gérard Brisson and Françoise Vapné-Ficheux: Gescran, Manuel de Référence (A Screen Handling Package), Electricité de France, Clamart (France), Atelier Logiciel 22, 1980.

    [165] Le langage Fortran 77 (The Fortran 77 Language), Electricité de France, Clamart (France), Atelier Logiciel 10, June 1980.

    [166] Un Calculateur Vectoriel: Le Cray-1 et sa Programmation (Version 2) (A Vector Computer: The Cray-1 and how to Program It), Atelier Logiciel no. 24, HI-34552/01, Electricité de France, Clamart (France), June 4, 1980.

    [167] La Spécification (survey on specification), Electricité de France, Clamart (France), Atelier Logiciel 28, April 1981.

    [168] With Gérard Brisson and Françoise Vapné-Ficheux: Ensorcelé: Entrées et Sorties Sans Format (A General-Purpose Input-Output Package) (manual), Atelier Logiciel no. 4, 7, Electricité de France, Clamart (France), April 1981 (Fourth Edition).

    [169] With Eric de Drouas: Ada: Introduction et Bibliographie (Ada: Introduction and Bibliography), Electricité de France, Clamart (France), Atelier Logiciel 21, 1983.

    [170] Errare, un Outil de Traitement des Erreurs (A General-Purpose Error-Handling Package) (manual), Electricité de France, Clamart (France), Atelier Logiciel 30, 1983.

    [171] Numerous other user manuals and technical reports -- Atelier Logiciel (software workbench) series --, Electricité de France, Clamart (France), 1977-1983.

    [172] Towards a Relational Theory of Software, Internal Report, University of California, Santa Barbara, July 1984.

    [173] M: A System Description Method, Technical Report TR CS 85-15, Uiversity of California, Santa Barbara, 1985.

    [174] Eiffel: A Language for Software Engineering, Technical Report TR-CS-85-19, Uiversity of California, Santa Barbara, 1985.

    [175] Eiffel: Un langage et une Méthode pour le Génie Logiciel (Eiffel: A Language and Method for Software Engineering), unpublished article, June 1986.

    [176] Cépage User's Manual, Technical Report TR-CE-4/UM, Interactive Software Engineering Inc., 1986-1988.

    [177] LDL User's Manual, Technical Report TR-CE-8/LD, Interactive Software Engineering Inc., 1986-1988.

    [178] Eiffel: Basic Reference (manual), Technical Report TR-EI-2/BR, Interactive Software Engineering Inc., 1986-1988.

    [179] Design by Contract , Technical Report TR-EI-12/CO, Interactive Software Engineering Inc., 1986.

    [180] Eiffel Complements 1 : Disciplined Exceptions, Technical Report TR-EI-15/DE, Interactive Software Engineering Inc., May 1988.

    [181] Static Typing for Eiffel, Technical Report TR-EI-18/ST, Interactive Software Engineering Inc., January 1989, revised July 1989.

    [182] Eiffel Types, Technical Report TR-EI-19/ET, March 1989, revised July 1989.

    [183] Eiffel: The Libraries (manual), Technical Report TR-EI-7/LI, Interactive Software Engineering Inc., 1987-1990.

    [184] Eiffel: The Environment (manual), Technical Report TR-EI-5/UM, Interactive Software Engineering Inc., 1988-1990.

    [185] EiffelCase: Engineering Software, Forward and Backward (manual), Technical Report TR-EI-53/EA, Interactive Software Engineering Inc., 1994.

    [186] ISE Eiffel: The Environment (manual), Technical Report TR-EI-39/IE, Interactive Software Engineering Inc., 1994-2000 (successive editions).

    [187] Building Graphical Applications with EiffelBuild (manual), Technical Report TR-EI-43/UI, Interactive Software Engineering Inc., 1994.

    [188] Eiffel vs. C++, Technical Report TR-EI-59/CE, ISE Inc., 1993 (also available at http://www.eiffel.com).

Electronic publications (a selection)

    [189] Several hundred Web pages at http: //eiffel.com (technical reports, white papers, technology papers), 1993-2000.

    [190] Several hundred Usenet postings on comp.lang.eiffel, comp.object and comp.software-engineering, 1986-1998.