|
|
|
This list is also available by date of publication |
|
For online versions of publications (all recent ones, and many older ones), follow the right-margin links. | ||
Books | ||
[P1] With Claude Baudoin: Méthodes de Programmation (Programming Methodology), Eyrolles, Paris, 1978; third revised edition, 1984. Translation: Russian (Mir Publishing) | ||
[P2] Object-Oriented Software Construction, Prentice Hall, 1988. Translations: German (Carl Hanser Verlag), French (InterEditions), Italian (Jackson publishing), Japanese (ASCII Corp.), Dutch (Prentice Hall), Chinese, Rumanian. (See [P8] below for second edition.) | ||
[P3] Introduction to the Theory of Programming Languages, Prentice Hall, 1990. Translations: Japanese (ASCII Corp.), French (InterEditions). | ||
[P4] Eiffel: The Language, Prentice Hall, 1991. Second revised printing, 1992. Translations: French (InterEditions). Third edition in preparation (see [P10]). | ||
[P5] An Object-Oriented Environment: Principles and Application, Prentice Hall, 1994. | ||
[P6] Reusable Software: The Base Object-Oriented Component Libraries, Prentice Hall, 1994. | ||
[P7] 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. Translation: German (Carl Hanser Verlag). | ||
[P8] Object-Oriented Software Construction, second edition, Prentice Hall, January 1997. Translations: Spanish (Prentice Hall Latin America), French (Eyrolles), Russian (Russkaia Redaktsia / Internet Universitet, Moscow, 2005), Serbian (CET, Belgrade, 2003), Japanese (IT Architects, 2007). | ||
[P9] Touch of Class: Learning to Program Well Using Object Technology and Design by Contract, Springer-Verlag, August 2009. | ||
[P10] Standard Eiffel (revised edition of [P4]), in progress. | "Standard Eiffel"" draft (user: Talkitover, password: etl3) | |
Books edited | ||
[P11] (Editor, with Dino Mandrioli) Advances in Object-Oriented Software Engineering, Prentice Hall, 1991. | ||
[P12] (Editor, with Jean-Marc Nerson) Object-Oriented Applications, Prentice Hall, 1993. | ||
[P13] (Editor, with Jürg Kohlas and André Schiper) Dependable Systems: Software, Computing, Networks, Lecture Notes in Computer Science 4028, Springer-Verlag, September 2006. | ||
Standards | ||
[P14] (Editor) Eiffel Library Kernel Standard (ELKS), Nonprofit International Consortium for Eiffel, 1995. | ||
[P15] (Editor) ECMA standard: Eiffel Analysis, Design and Programming Language, approved as International Standard 367 by ECMA International, 21 June 2005. | ||
Conference proceedings edited | ||
[P16] (Editor) Logiciel et Matériel, Applications et Implications (Proceedings of the National AFCET-INFORMATIQUE 1980 Conference, Nancy), November 1980, AFCET, Paris. | ||
[P17] (Editor, with Larry Druffel) 10th International Conference on Software Engineering (Singapore), IEEE Computer Society, 1988. | ||
[P18] (Co-editor, with others including: Jean Bézivin, Roger Duke, Raimund Ege, Timothy Korson, Christine Mingins, Jean-Marc Nerson, Jean-François Perrot, John Potter, Wolfgang Pree, Madhu Singh, Mario Tokoro) TOOLS EUROPE, USA, PACIFIC and ASIA conferences (Technology of Object-Oriented Languages and Systems) 1 to 38, Paris, Sydney, Melbourne, Dortmund, Santa Barbara, Versailles, Zurich, published by SOL (vol. 1), Angkor (volume 2), Prentice Hall (vols. 4 to 26) and IEEE Computer Society (vol. 27 on), 1989 to 2003. (Volumes since 2007 listed separately.) | ||
[P19] (Editor, with Yuri Gurevich) TAP: Tests And Proofs, First International Conference, ETH Zurich, February 12-13, 2007, revised papers, Lecture Notes in Computer Science 4454, Springer-Verlag, August 2007. | ||
[P20] (Editor, with Mathai Joseph) Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD), ETH Zurich, February 5-6, 2007, revised papers, Lecture Notes in Computer Science 4716, Springer-Verlag, October 2007. | ||
[P21] (Editor, with Richard Paige) Objects, Components, Models and Patterns: 46th international TOOLS conference, Zurich, Switzerland, June/July 2008, Lecture Notes in Business Information Processing 11, Springer-Verlag, June 2008. | ||
[P22] (Editor, with Jim Woodcock) VSTTE: Verified Software: Theories, Tools, Experiments, ETH Zurich, 10-13 October 2005, revised papers and transcripts, Lecture Notes in Computer Science 4171, Springer-Verlag, 2008. | ||
[P23] (Editor, with Jerzy R. Nawrocki and Bartosz Walter) Balancing Agility and Formalism in Software Engineering, CEE-SET 2007, Second IFIP TC2 Central and East European Conference on Software Engineering Techniques, October 10-12, 2007, Poznán, Poland, revised selected papers, Lecture Notes in Computer Science 5082, Springer-Verlag, 2008. | ||
[P24] (Editor, with Kay Berkling, Mathai Joseph and Martin Nordio) Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD), ETH Zurich, July 2-3, 2008, revised papers, Lecture Notes in Business Information Processing 16, Springer-Verlag, May 2009. | ||
[P25] (Editor, with Manuel Oriol) Objects, Components, Models and Patterns: 47th international TOOLS conference, Zurich, Switzerland, June/July 2009, Lecture Notes in Business Information Processing 33, Springer-Verlag, June 2008. | ||
[P26] (Editor, with Olly Gotel and Mathai Joseph) Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD), ETH Zurich, July 2-3, 2009, Lecture Notes in Business Information Processing 35, Springer-Verlag, July 2009 | ||
Book series edited | ||
[P27] Editor of the Component and Object Technology Series (originally: Object-Oriented Series), Prentice Hall, 1990-2003. About 30 titles published. | ||
[P28] Editor of the Eiffel in Practice series, Addison-Wesley, 1995-2000. Three titles published. | ||
Journal departments or columns edited | ||
[P29] Editor of the Object and Component Technology (originally: Object Technology) Department of Computer (IEEE), 1996-1999. About 20 articles published, of which about 40% by guest authors. | ||
[P30] Editor of the Eiffel column in JOOP (Journal of Object-Oriented Programming), 1997-2001. | ||
[P31] With Clemens Szyperski and Grady Booch, co-editor of Beyond Objects column of Software Development, 1999-2002. | ||
Special journal issues edited | ||
[P32] (Editor) Special issue of Communications of the ACM on concurrent object-oriented programming, vol. 36, no. 9, September 1993. | ||
[P33] (Editor, with Christine Mingins) Special issue of Computer (IEEE) on component-based development, July 1999. | ||
Chapters in collective books | ||
[P34] 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.) | ||
[P35] Article "Langages de Programmation" (Survey article for the programming language section), in Encyclopédie "Techniques de l'Ingénieur " (Engineering Encyclopedia), Paris, December 1980. | ||
[P36] Article "Génie Logiciel" (Survey article on software engineering), Encyclopédie Techniques de l'Ingénieur (Engineering Encyclopedia), 1986. | ||
[P37] 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. | ||
[P38] The New Culture of Software Development in Advances in Object-Oriented Software Engineering, eds. D. Mandrioli and B. Meyer [P11], Prentice Hall, 1991, pp. 51-64. (Revised version of TOOLS 1 article [P161]; see also the JOOP article [P71].) | ||
[P39] Design by Contract, in Advances in Object-Oriented Software Engineering, eds. D. Mandrioli and B. Meyer [P11], Prentice Hall, 1991, pp. 1-50. | ||
[P40] An Overview of Object-Oriented Technology, in Object-Oriented Applications, eds. B. Meyer and J.-M. Nerson [P12], Prentice Hall, 1993. | ||
[P41] An Overview of Eiffel, in The Handbook of Programming Languages, Vol. 1, Object-Oriented Languages, ed. Peter H. Salus, Macmillan Technical Publishing, 1998. (See [P289] for updated version.) | ||
[P42] Principles of Language Design and Evolution, in Millenial Perspectives in Computer Science (Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare), eds. Jim Davies, Bill Roscoe and Jim Woodcok, Cornerstones of Computing, Palgrave, Basingstoke-New York, 2000, pages 229-246. | Language design and evolution (the text as intended) | |
[P43] With Karine Arnout: Finding implicit contracts in .NET components, in Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 2002, Revised Lectures, eds. Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf and Willem-Paul de Roever, Lecture Notes in Computer Science 2852, Springer-Verlag, 2003, pages 285-318. Extended version of [P124]. | ||
[P44] The Power of Abstraction, Reuse and Simplicity: An Object-Oriented Library for Event-Driven Design, in From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, eds. Olaf Owe, Stein Krogdahl, Tom Lyche, Lecture Notes in Computer Science 2635, Springer-Verlag, 2004, pages 236-271. | ||
[P45] The Dependent Delegate Dilemma, in Engineering Theories of Software Intensive Systems, Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004, eds. Manfred Broy, J Gruenbauer, David Harel, C.A.R. Hoare, NATO Science Series II: Mathematics, Physics and Chemistry, vol. 195, Springer-Verlag, June 2005. | ||
[P46] With Bernd Schoeller and Tobias Widmer: Making Specifications Complete Through Models, in Architecting Systems with Trustworthy Components, eds. Ralf Reussner, Judith Stafford and Clemens Szyperski, Lecture Notes in Computer Science, Springer-Verlag, 2006. | ||
[P47] Dependable Software, in Dependable Systems: Software, Computing, Networks [P13], eds. J Kohlas, B. Meyer, A. Schiper, Lecture Notes in Computer Science, Springer-Verlag, September 2006. | ||
[P48] Software Architecture: Functional vs. Object-Oriented Design, in Beautiful Architecture, eds. Diomidis Spinellis and Georgios Gousios, O'Reilly, 2009, pages 315-348. | ||
Articles in refereed journals and columns | ||
[P49] 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. | ||
[P50] 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. | ||
[P51] A Note on Computing Multiple Sums, in Software, Practice and Experience, vol. 8, 1978, pages 3-8. | ||
[P52] 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. | ||
[P53] 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. | ||
[P54] 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. | ||
[P55] Principles of Package Design, in Communications of the ACM, vol. 25, no. 7, pages 419-428 July 1982. | Package design (as published) | |
[P56] 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 [P154].) | ||
[P57] With Jean-Marc Nerson and Soon Hae Ko: Showing Programs on a Screen, in Science of Computer Programming, vol. 5, no. 2, 1985, pages 111-142. | ||
[P58] On Formalism in Specifications, in IEEE Software, vol. 3, no. 1, January 1985, pages 6-25 (cover feature). (Translated and adapted from [P247].) 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. | ||
[P59] Incremental String Matching, 1985, in Information Processing Letters, vol. 21, 18 November 1985, pages 219-227. | ||
[P60] Cépage: A Software Design Tool, in Computer Language, September 1986, vol. 3, no. 9, pages 43-53. | ||
[P61] Genericity versus inheritance, in The Journal of Pascal, Ada and Modula-2, 1987. (Revised version of OOPSLA '86 paper [P158].) | ||
[P62] Language-based Editing with Cépage, in The Journal of Systems and Software, 1987. | ||
[P63] Reusability: the Case for Object-Oriented Design, in IEEE Software, vol. 4, no. 2, March 1987, pages 50-62. Republished 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. | ||
[P64] Eiffel: A Language and Environment for Software Engineering, in The Journal of Systems and Software, 1988. | ||
[P65] Eiffel: Applying the Principles of Object-Oriented Design, in Computer Language, May 1988. | ||
[P66] Bidding Farewell to Globals, in Journal of Object-Oriented Programming, Volume 1, Number 4, pages 73-76, August-September 1988. | ||
[P67] The Eiffel Environment, in Unix Review, Volume 6, Number 8, pages 44-55, August 1988. | ||
[P68] Harnessing Multiple Inheritance, in Journal of Object-Oriented Programming, Volume 1, Number 5, pages 48-51, November-December 1988. | ||
[P69] From Structured Programming to Object-Oriented Design: The Road to Eiffel, in Structured Programming, Volume 10, Number 1, January 1989, pages 19-39. | Road to Eiffel (reconstructed from pre-publication text). | |
[P70] You can write, but can you type?, in Journal of Object-Oriented Programming, Volume 1, Number 6, pages 58-67, March-April 1989. | ||
[P71] 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 [P161]; see also the book chapter version [P38].) | ||
[P72] Writing Correct Software, in Dr. Dobb's Journal, February 1990, pages 48-63. | ||
[P73] 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. | Library design (as published) | |
[P74] 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 [P273].) Republished in Object-Oriented Systems and Applications, ed. David Rine, IEEE Computer Press, 1994. | Applying "Design by Contract" (as published) | |
[P75] The Legacy of Simula, in Object Magazine, October 1992 (invited paper in 25th anniversary issue on O-O technology). | ||
[P76] Design by contract: building bug-free O-O software, in Hotline on Object-Oriented Technology, volume 4, Number 2, December 1992, pages 4-8. Revised version (2000) online at eiffel.com. Translations: German in ComputerWoche, February 1994; Russian in Otkrytye Systemy (Open Systems Journal), vol. 6, no. 32, 1998, pages 34-38; Chinese by Jian Hu. | ||
[P77] Towards an Object-Oriented Curriculum, in Journal of Object-Oriented Programming, Volume 6, Number 2, May 1993, pages 76-81. (Revised as [P164].) | ||
[P78] 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. | ||
[P79] Systematic Concurrent Object-Oriented Programming, in Communications of the ACM, 36, 9, September 1993, pp. 56-80. | SCOOP concurrency (as published) | |
[P80] (With other authors) Where is Software Headed? A Virtual Roundtable, in Computer (IEEE), vol. 28, no. 8, August 1995, pages 119-121. | ||
[P81] The Conceptual Perspective, in Computer (IEEE), vol. 29, no. 1, January 1996, pages 86-88. | First installment of Computer OT column (as published) | |
[P82] The Reusability Challenge, in Computer (IEEE), vol. 29, no. 2, February 1996, pages 76-78,. | Reusability challenge (as published) | |
[P83] The Many Faces of Inheritance: A Taxonomy of Taxonomy, in Computer (IEEE), vol. 29, no. 5, May 1996, pages 105-108. | Taxonomy of inheritance (as published) | |
[P84] Why Your Next Project Should Use Eiffel, in Journal of Object-Oriented Programming, vol. 9, no. 2, May 1996, pages 59-63, 82. | ||
[P85] Reality: A cousin twice removed, in Computer (IEEE), vol. 29, no. 7, July 1996, pages 96-97. | Reality (as published) | |
[P86] Schema Evolution: Concepts, Terminology and Solutions, in Computer (IEEE), vol. 29, no. 10, October 1996, pages 119-121. | Schema evolution (as published) | |
[P87] Teaching object technology, in Computer (IEEE), vol. 29, no. 12, December 1996, page 117. | Teaching object technology (as published) | |
[P88] With Jean-Marc Jézéquel: Design by Contract: The Lessons of Ariane, in Computer (IEEE), vol. 30, no. 1, January 1997, pages 129-130. | Ariane (prepublication version, HTML) or PDF as published | |
[P89] Practice to Perfect: The Quality First Model, in Computer (IEEE), vol. 30, no. 5, May 1997, pages 102-106. | Quality first (as published) | |
[P90] The Next Software Breakthrough, in Computer (IEEE), vol. 30, no. 7, July 1997, pages 113-114. | The next software breakthrough (as published) | |
[P91] With Christopher Creel and Philippe Stephan: Year 2000: The Opportunity of a Millenium, in Computer (IEEE), vol. 30, no. 11, November 1997, pages 137-138. | Opportunity of a millenium -- also available in PDF (as published) | |
[P92] With Christopher Creel: Is object technology ready for the embedded world?, in JOOP (Journal of Object-Oriented Programming), vol. 11, no. 1, January 1998, pages 69-71, 76. | ||
[P93] The Component Combinator for Enterprise Applications, in JOOP (Journal of Object-Oriented Programming), vol. 10, no. 8, January 1998, pages 5-9. | ||
[P94] The Future of Object Technology, in Computer (IEEE), vol. 31, no. 1, January 1998, pages 140-141. | Future of object technology (as published) | |
[P95] With Christine Mingins and Heinz Schmidt: Providing Trusted Components to the Industry, in Computer (IEEE), vol. 31, no. 5, May 1998, pages 104-105. | Trusted components (as published) | |
[P96] Approaches to Portability, in JOOP (Journal of Object-Oriented Programming), July-August 1998. | ||
[P97] Tell Less, Say More: The Power of Implicitness, in Computer (IEEE), vol. 31, no. 7, July 1998, pages 97-98. | Power of implicitness (as published) | |
[P98] EiffelBase Goes Public, in JOOP (Journal of Object-Oriented Programming), November 1998. | ||
[P99] Prelude to a Theory of Void, in JOOP (Journal of Object-Oriented Programming), vol. 11, no. 7, November 1998, pages 36-48. | Theory of void (prepublication draft) | |
[P100] The Role of Object-Oriented Metrics, in Computer (IEEE), vol. 31, no. 11, November 1998, pages 123-125. | O-O Metrics (as published) | |
[P101] Design by Contract, Components and Debugging, in JOOP (Journal of Object-Oriented Programming), vol. 11, no. 8, January 1999, pages 75-79. | ||
[P102] On to Components, in Computer (IEEE), vol. 32, no. 1, January 1999, pages 139-140. | On to components (as published) | |
[P103] Extension season, in JOOP (Journal of Object-Oriented Programming), June 1999. | ||
[P104] With Christine Mingins: Component-Based Development: From Buzz to Spark (introduction to special issue), in Computer (IEEE), vol. 29, no. 7, July 1999, pages 35-37. | Component-based development (as published) | |
[P105] With Paul Dubois, Mark Howard, Michael Schweitzer and Emmanuel Stapf: From Calls to Agents, in Journal of Object-Oriented Programming, vol. 12, no. 6, September 1999. | ||
[P106] Every Little Bit Counts: Towards More Reliable Software, in Computer (IEEE), vol. 32, no. 11, November 1999, pages 131-133. | Every little bit counts (as published) | |
[P107] A Really Good Idea (final installment of Components and Object Technology column), in Computer (IEEE), vol. 32, no. 12, December 1999, pages 144-147. | A really good idea (as published) | |
[P108] What to Compose, in Software Development, March 2000, vol. 8, no. 3, pages 59, 71, 74-75. | ||
[P109] With Christine Mingins, Raphael Simon and Emmanuel Stapf: Eiffel on the Web: Integrating Eiffel Systems into the Microsoft .NET Framework, MSDN (online article), July 2000. Also in Chinese and Japanese translations. Describes an initial implementation, now obsolete; replaced by [P119]. | Original description of Eiffel for .NET (obsolete). Also: Chinese and Japanese | |
[P110] With Christine Mingins, Raphael Simon and Emmanuel Stapf: Eiffel for E-Commerce under .NET, JOOP (Journal of Object-Oriented Programming), July 2000. | ||
[P111] Contracts for Components, in Software Development, vol. 8, no. 7, July 2000, pages 51-53 | ||
[P112] Towards More Expressive Contracts, in JOOP (Journal of Object-Oriented Programming), July 2000. | ||
[P113] The Significance of .NET, in Software Development, November 2000. |
.NET | |
[P114] Conversions in an Object-Oriented Language with Inheritance, in JOOP (Journal of Object-Oriented Programming), vol. 13, no. 9, January 2001, pages 28-31. | ||
[P115] Software Engineering in the Academy, in Computer (IEEE), vol. 34, no. 5, May 2001, pages 28-35. Translations: Russian in Otkrytye Systemy (Open Systems Publications), #07-08-2001, October 2001; Chinese (Jian Hu). | Software engineering in the academy as published (PDF) ; in Russian ; in Chinese | |
[P116] .NET is coming, in Computer (IEEE), vol. 34, no. 8, August 2001, pages 92-97. Translation: Russian in Otkrytye Systemy (Open Systems Publications), #11-2001, November 2001. | .NET overview as published (PDF); in Russian | |
[P117] Overloading vs Object Technology, in in JOOP (Journal of Object-Oriented Programming), vol. 14, no. 4, October-November 2001, pages 3-7. | ||
[P118] Multi-language programming: how .NET does it, 3-part article in Software Development, May, June and July 2002. Part 1: Polyglot Programming; Part 2: Respecting other object models; Part 3: Interoperability: at what cost, and with whom? |
Multi-language: HTML, as published:
part 1
(2 and 3 forthcoming). | |
[P119] With Raphael Simon and Emmanuel Stapf: Full Eiffel on .NET, MSDN (online article), July 2002. Replaces [P109]. | ||
[P120] The Start of an Eiffel Standard in Journal of Object Technology (JOT), vol. 1, no. 2, July-August 2002, pp. 95-99 | ||
[P121] Proving Pointer Program Properties, Part 1: Context and overview, in Journal of Object Technology (JOT), vol. 2, no. 2, March-April 2003, pp. 87-108. | ||
[P122] Proving Pointer Program Properties, Part 2: The Overall Object Structure, in Journal of Object Technology (JOT), vol. 2, no. 2, May-June 2003, pp. 77-100. | ||
[P123] With Piotr Nienaltowski and Volkan Arslan: Concurrent Object-Oriented Programming on .NET, in IEE Proceedings on Software, vol. 150, no. 5, October 2003, pages 308-314. | ||
[P124] with Karine Arnout: Spotting Hidden Contracts: The .NET example , in Computer (IEEE), vol. 36, no. 11, November 2003, pages 48-55. Short version of [P43]. | ||
[P125] Offshore Development: The Unspoken Revolution in Software Engineering, in Computer (IEEE), January 2006, pages 124, 122-123. | ||
[P126] Teachable, Reusable Units of Cognition, in Computer (IEEE), vol. 39, no. 4, April 2006, pages 20-24. | ||
[P127] With Karine Arnout: Pattern Componentization: the Factory Example, in Innovations in Systems and Software Technology (a NASA Journal) (Springer-Verlag), 2006 (Online First version 6 May 2006). | ||
[P128] With Karine Arnout: Componentization: the Visitor Example, in Computer (IEEE), vol. 39, no. 7, July 2006, pages 23-30. | ||
[P129] Seven Principles of Software testing, in IEEE Computer, vol. 41, no. 10, pages 99-101, August 2008. (See also ensuing discussion [P256] in IEEE Software.) | ||
[P130] Design and Code Reviews in the Age of the Internet, in Communications of the ACM, vol. 51, no. 9, September 2008, pages 66-71. (Journal version of SEAFOOD 2008 paper [P191].) | ||
[P131] With Christine Choppy, Jørgen Staunstrup and Jan van Leeuwen: Research Evaluation for Computer Science, in Communications of the ACM, vol. 52, no. 4, April 2009, pages 31-34. (Shorter version of Informatics Europe report [P292].) | ||
[P132] With Piotr Nienaltowski and Jonathan Ostroff: Contracts for Concurrency, in Formal Aspects of Computing Journal, vol. 21, no. 4, pages 305-318, August 2009. | ||
[P133] With Ilinca Ciupa, Andreas Leitner, Arno Fiva, Yi Wei and Emmanuel Stapf: Programs that Test Themselves, IEEE Computer, pages 46-55, September 2009 (cover feature). | ||
Articles in technical magazines | ||
[P134] 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, 1977. | ||
[P135] With Michel Demuynck: Les Langages de Spécification, followed by À 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. | ||
[P136] Rules for Component Builders, in Software Development, Vol. 7, no. 5, May 1999. | Rules for component builders (as published in SD) | |
[P137] The Significance of Components, in Software Development, Vol. 7, no. 11, November 1999, pages 56-57. | Significance of components -- see also published version from SD site | |
[P138] The Ethics of Free Software, in Software Development, March 2000, Vol. 8, no. 3, pages 32-36. | ||
Articles in conference proceedings | ||
[P139] L'Atelier Logiciel (The Software Workshop), in Journées BIGRE, INRIA (Rocquencourt), 1977. | ||
[P140] 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. | ||
[P141] 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. | ||
[P142] With Gérard Brisson: Two Program Manipulation Systems Using Simula: SATRAPE and ZAIDE, in Simula Summer School, Oslo (Norway), July 1980. | ||
[P143] 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. | ||
[P144] 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. | Three-level approach (as published) | |
[P145] Some Methodological Aspects of Using a Cray-1 (Abstract), in Cray User's Group Meeting, Bad-Schliersee, Germany, September 1981. | ||
[P146] With Alain Bossavit: The Design of Vector Programs, in Algorithmic Languages (Proceedings of IFIP International Symposium on Algorithmic Languages, Amsterdam, 26-29 October 1981), eds. Jaco de Bakker and R.P. van Vliet, North-Holland Publishing Company, Amsterdam, 1981, pages 99-114. | ||
[P147] 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. | ||
[P148] Vers un Environnement Conversationnel à deux dimensions, in Journées BIGRE, Grenoble, 27-29 January 1982. (For revised English version see [P149].) | ||
[P149] Towards a Two-Dimensional Programming Environment, in Proceedings of the European Conference on Integrated Computing Systems, (ECICS 82), Stresa (Italy), 1-3 September 1982, eds. Pierpaolo Degano and Erik Sandewall, North-Holland, 1983, pages 167-179. (English version, revised, of [P148].) Republished in Readings in Artificial Intelligence, Tioga Press, Palo Alto, 1983. | ||
[P150] Software Engineering for Engineering Software (invited presentation), in Tools, Methods and Languages for Scientific Computation (ACM-INRIA, Paris, 1983), North-Holland, Amsterdam, 1984. | ||
[P151] With Jean-Marc Nerson: 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 [P153].) | ||
[P152] 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, Report DIUL-RR-8408 (Université Laval, Département d'Informatique, Quéebec), March 1984, pages 42-46. (For a fuller description, see the UCSB report [P271].) | ||
[P153] 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. | ||
[P154] 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; see [P56] for the journal version. | ||
[P155] The Software Knowledge Base, in 8th International Conference on Software Engineering, London, August 1985, pages 158-165. | Software Knowledge Base (as published) | |
[P156] 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. | ||
[P157] Cépage: vers la Conception de Logiciel assistée par Ordinateur/Towards Computer-Aided Design of Software, in Convention Informatique, Paris, September 1985. | ||
[P158] 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. (See also journal version: [P61].) | Genericity vs. inheritance (as published) | |
[P159] 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. | ||
[P160] 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. | ||
[P161] 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. (Revised versions: in JOOP [P71] and as a book chapter [P38].) | ||
[P162] 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. | ||
[P163] 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. | ||
[P164] Towards an Object-Oriented Curriculum, in TOOLS 11, Technology of Object-Oriented Languages and Systems, Santa Barbara, August 1993, eds. Raimund Ege, Madhu Singh and B. Meyer, Prentice Hall 1993, pages 585-594. (Revised version of [P77].) | ||
[P165] 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. | ||
[P166] Static Typing, in OOPSLA 96 (Object-Oriented Programming, Systems, Languages and Applications), Atlanta, 1995. (Keynote lecture, published in supplementary proceedings, ACM SIGPLAN OOPS Messenger, vol. 6, no. 4, October 1995, pages 20-29. See [P167].) | Static typing (as published) | |
[P167] Static Typing, in Object Technologies for Advanced Software, eds. K. Futatsugi and S. Matsuoka, Springer Lecture Notes in Computer Science 1049, Springer Verlag (Berlin), 1996, pages 57-75. (Revised version of [P166].) | ||
[P168] With Tanit Talbi and Emmanuel Stapf: A metric framework for object-oriented development, in TOOLS 39 (Technology of Object-Oriented Languages and Systems, Santa Barbara, USA, 29 July-3 August 2001), Santa Barbara, USA, pages 164-172, 2001. | ||
[P169] A Framework for Proving Contract-Equipped Classes, in Abstract State Machines 2003, Advances in Theory and Practice, 10th International Workshop, Taormina (Italy), March 3-7, 2003, eds. Egon Börger, Angelo Gargantini, Elvinia Riccobene, Springer-Verlag, 2003, pages 108-125. | ||
[P170] The Grand Challenge of Trusted Components, in 25th International Conference on Software Engineering, Portland, Oregon, May 2003, pages 660-667. | ||
[P171] Towards Practical Proofs of Class Correctness, in ZB 2003: Formal Specification and Development in Z and B, Proceedings of 3rd International Conference, Turku, Finland, June 2003, eds. Didier Bert, Jonathan P. Bowen, Steve King and Marina Waldén, Lecture Notes in Computer Science 2651, Springer-Verlag, 2003, pages 359-387. | Practical class proofs (with formating and color) | |
[P172] The Outside-In Method of Teaching Introductory Programming, in OO 2003: 9th IPSJ-SIGSE Symposium on Object-Orientation, Information Processing Society of Japan, ed. Mikio Aoyama, Tokyo, August 2003. (See revised version: [P173].) | ||
[P173] The Outside-In Method of Teaching Introductory Programming, in Perspective of System Informatics, Proceedings of fifth Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, 9-12 July 2003, ed. Manfred Broy and Alexandr Zamulin, Lecture Notes in Computer Science 2890, Springer-Verlag, 2003, pages 66-78. Revised version of [P172]. | ||
[P174] Attached Types and their Application to Three Open Problems of Object-Oriented Programming, in ECOOP 2005 (Proceedings of European Conference on Object-Oriented Programming, Edinburgh, 25-29 July 2005), ed. Andrew Black, Lecture Notes in Computer Science 3586, Springer-Verlag, 2005, pages 1-32. | ||
[P175] With Michela Pedroni: The Inverted Curriculum in Practice, in Proceedings of SIGCSE 2006, ACM, Houston (Texas), 1-5 March 2006, pages 481-485. | ||
[P176] With Stephanie Balzer and Patrick Eugster: Can aspects implement contracts?, in RISE 2005 (Rapid Integration of Software Engineering techniques), Second International Workshop, Heraklion, Crete, Greece, September 8-9 2005, eds. Nicolas Guelfi and Anthony Savidis, Lecture Notes in Computer Science 3943, Springer-Verlag, 2006, pages 145-157. | ||
[P177] With Andreas Leitner, Ilinca Ciupa and Mark Howard: Reconciling Manual and Automated Testing: the AutoTest Experience, in 40th Hawaii International Conference on System Sciences, Hawaii, January 2007. | ||
[P178] With Ilinca Ciupa, Andreas Leitner and Lisa (Ling) Liu: Automatic testing of object-oriented software, in SOFSEM 2007 (Current Trends in Theory and Practice of Computer Science), January 20-26, 2007, ed. Jan van Leeuwen, Lecture Notes in Computer Science, Springer-Verlag, 2007. | ||
[P179] With Ilinca Ciupa, Lisa (Ling) Liu, Manuel Oriol, Andreas Leitner and Raluca Borca-Muresan: Systematic evaluation of test failure results, in Workshop on Reliability Analysis of System Failure Data (RAF 2007), Cambridge (UK), 1-2 March 2007. | ||
[P180] With Ilinca Ciupa, Andreas Leitner and Manuel Oriol: Experimental Assessment of Random Testing for Object-Oriented Software, in ISSTA'07: International Symposium on Software Testing and Analysis, London, July 2007. | ||
[P181] With Lisa (Ling) Liu and Bernd Schoeller: Using Contracts and Boolean Queries to Improve the Quality of Automated Test Generation, in TAP: Tests And Proofs ([P19]), ETH Zurich, February 12-13, 2007, eds. Y. Gurevich and B. Meyer, Lecture Notes in Computer Science 4454, Springer-Verlag, August 2007, pages 114-130. | ||
[P182] With Andreas Leitner, Ilinca Ciupa, Manuel Oriol and Arno Fiva: Contract-Driven Development = Test Driven Development - Writing Test Cases, in ESEC/FSE'07: European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering, Dubrovnik (Croatia), September 2007. | ||
[P183] With Marco Piccioni and Manuel Oriol: IDE-integrated Support for Schema Evolution in Object-Oriented Applications, in Workshop on Reflection, AOP and Meta-Data for SOftware Evolution (RAM-SE 07), 2007. | ||
[P184] With Andreas Leitner, Manuel Oriol, Ilinca Ciupa and Andreas Zeller: Efficient Unit Test Case Minimization, in ASE'07: 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta (Georgia), November 2007. | ||
[P185] With Marco Piccioni: The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development, in Proceedings of IEEE Conference on Software Engineering & Training (CSEE&T), Charleston (South Carolina), 14-17 April 2008, ed. H. Saiedian, pages 3-16. | ||
[P186] With Marie-Helene Nienaltowski and Michela Pedroni: Compiler Error Messages: What Can Help Novices?, in Proceedings of SIGCSE 2008 (39th Technical Symposium on Computer Science Education), ACM, Portland (Oregon), Texas, 12-15 March 2008, ACM SIGCSE Bulletin, vol. 40, no. 1, pages 168-172. | ||
[P187] With Michela Pedroni, Manuel Oriol and Lukas Angerer: Automatic Extraction of Notions from Course Material, in Proceedings of SIGCSE 2008 (39th Technical Symposium on Computer Science Education), ACM, Portland (Oregon), 12-15 March 2008, ACM SIGCSE Bulletin, vol. 40, no. 1, pages 251-255. | ||
[P188] With Ilinca Ciupa, Alexander Pretschner, Andreas Leitner and Manuel Oriol: On the Predictability of Random Tests for Object-Oriented Software, in Proceedings of ICST'08: IEEE International Conference on Software Testing, Verification and Validation 2008, Lillehammer (Norway), April 2008 (best paper award). | ||
[P189] With Ilinca Ciupa, Andreas Leitner and Manuel Oriol: ARTOO: Adaptive Random Testing for Object-Oriented Software, in Proceedings of ICSE 2008 (International Conference on Software Engineering), Leipzig, 10-18 May 2008, IEEE Computer Press. | ||
[P190] With Martin Nordio and Peter Müller: Proof-Transforming Compilation of Eiffel Programs, in Proceedings of TOOLS EUROPE 2008, Zurich, 30-June-4 July 2008, eds. R. Paige and B. Meyer, Lecture Notes in Business Information Processing 11, Springer-Verlag, 2008 ([P21]), pages 316-335. | ||
[P191] Design and Code Reviews in the Age of the Internet , in Proceedings of SEAFOOD 2008 (Software Engineering Advances For Offshore and Outsourced Development, eds. K. Berkling, M. Joseph, M. Nordio and B. Meyer, Springer LNBIP 16, 2009 [P24]. ([P130] is the journal version.) | ||
[P192] Eiffel as a Framework for Verification, in VSTTE 2005 (Verified Software: Tools, Theories, Experiments), eds. B. Meyer and J. Woodcock, Lecture Notes in Computer Science 4171, Springer-Verlag, 2008 [P22]. | ||
[P193] With Martin Nordio, Roman Mitin, Carlo Ghezzi, Elisabetta Di Nitto and Giordano Tamburelli: The Role of Contracts in Distributed Development, in Proceedings of SEAFOOD 2009 (Software Engineering Advances For Offshore and Outsourced Development), Zurich, June-July 2009, Lecture Notes in Business Information Processing 35, Springer Verlag, 2009 [P26]. | ||
[P194] With Martin Nordio, Cristiano Calcagno and Peter Müller: A Sound and Complete Program Logic for Eiffel, in Proceedings of TOOLS 2009 (Technology of Object-Oriented Languages and Systems), Zurich, June-July 2009, eds. M. Oriol and B. Meyer, Springer LNBIP 33 [P25], June 2009. | ||
[P195] With Nadia Polikarpova and Ilinca Ciupa: A Comparative Study of Programmer-Written and Automatically Inferred Contracts, in ISSTA 2009: International Symposium on Software Testing and Analysis, Chicago, July 2009. | ||
Book reviews | ||
[P196] Numerous book reviews in Technology and Science of Informatics, 1982-1985. | ||
[P197] With Olivier Lecarme: Review of "Compilation", by Cunin, Voiron, Griffiths, in ACM Computing Reviews, 1982. | ||
[P198] 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. | ||
[P199] Review of "Computer Systems Methodologies", by C.A. Ziegler, in Science of Computer Programming, vol. 5, no. 1, January 1985. | ||
[P200] Assessing a C# Text, in Computer (IEEE), vol. 35, no. 4, April 2002, pages 86-88. | C# book review (as published). More complete version: PDF or HTML | |
Films, videos | ||
[P201] 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. | ||
[P202] Introduction to Object-Oriented Techniques, 8-hour instructional video film, IBM, Thornwood (New York), January 1989. | ||
[P203] 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. | ||
[P204] Interview on object-oriented technology, BBC/Open University, London, June 1992. | ||
[P205] Object-Oriented Software Engineering, instructional video film, Europace (new edition of 1988 program [P203]) and Interactive Software Engineering, September 1992. | ||
[P206] Bertrand Meyer's .NET Training Course, video course on .NET, Prentice Hall, 2001. | .NET course's Amazon page | |
Interviews, guest editorials (a selection) | ||
[P207] Conversation with Editorial Board Member B. Meyer, in Journal of Object-Oriented Programming, 1989. | ||
[P208] Pure Object-Oriented Programming with Eiffel, Interview in Programmer's Update, pages 59-69, February 1990. | ||
[P209] Evolution or revolution? (discussion of O-O vs. structured methods), Object Magazine, October 1991. | ||
[P210] Object-Orientation Outlook, 1991: Optimism, pessimism, challenges, Guest editorial in Journal of Object-Oriented Programming, vol. 4, no. 5, September 1991, page 8. | ||
[P211] The Object-Oriented Perspective, Interview in ASCII Magazine, Tokyo, October 1991. | ||
[P212] Advances in Eiffel, Interview in Software Design, Tokyo (Japan), December 1991. | ||
[P213] New Developments in Object-Oriented Technology, Interview in ASCII Magazine, Tokyo (Japan), December 1991. | ||
[P214] Towering Above the Landscape, Interview in ProgramNow, London, March 1992. | ||
[P215] Interview in .EXE, London, May 1992. | ||
[P216] Interview in IX Magazine, Germany, July 1992. | ||
[P217] The Choice for Introductory Software Education, Guest editorial in Journal of Object-Oriented Programming, vol. 7, no. 3, June 1994, page 8. | ||
[P218] Guest editorial for 10-th anniversary issue of Journal of Object-Oriented Programming, 1996. | ||
[P219] Interview in 01 Informatique (major French Computer weekly), March 1996. | ||
[P220] Interview in Le Monde Informatique (the other major French Computer weekly), September 1996. | ||
[P221] Eiffel, towering example of quick, clean software, interview in The Australian, 3 December 1996. | ||
[P222] Local OT program a towering achievement, interview in The Australian, 10 December 1996. | ||
[P223] The View from the Eiffel Tower, interview by Carlo Pescio in Software Development, September 1997. | ||
[P224] Interview in Programmez (French programming magazine), October 1998. | ||
[P225] Interview in Bits and Chips (Dutch programming magazine), March 2001. | ||
[P226] Interview in 01 Informatique July 2001. | ||
[P227] Author interview for InformIT, November 30, 2001. | Informit interview (with registration), or local copy | |
[P228] "Programmierer haben nicht aus Fehler gelernt", interview by Peter Monadjemi in ComputerWoche, February 2002. | ||
[P229] ETH-Professor Bertrand Meyer in Gespräch, interview by Stefan Betschon in Neue Zürcher Zeitung, 3 January 2003. | ||
[P230] View of Software Engineering Challenged, interview (also of Eugene Spafford) by Kathy Kowalenko in The Institute (bulletin of the IEEE, Institute of Electrical and Electronic Engineering), March 2003. | ||
[P231] Bertrand Meyer and his book (article by Vladimir Billig, in Russian), in IT News, vol. 36, no. 11, Moscow, 14 June 2005, page 24. | Article (see page 24) | |
[P232] Eiffel chapter, in Masterminds of Programming (Conversations with the Creators of Major Programming Languages), eds. Federico Biancuzzi and Shane Warden, O' Reilly, 2009. | ||
Eulogy | ||
[P233] In memory of Kristen Nygaard and Ole-Johan Dahl, in Journal of Object Technology (JOT), vol. 1, no. 4, pages 7, 14-15, September 2002, also with texts by Ole Lehrmann Madsen and Kristen Nygaard. | ||
[P234] Jean Ichbiah and his Contributions, in ACM SIGSOFT Software Engineering Notes vol. 32, no. 2, page 4. | ||
Course notes (a selection) | ||
[P235] Introduction à la Programmation en Algol W (Introduction to Programming in Algol W), course notes, IIE (Institut d'Informatique d'Entreprise), Paris, 1975. | ||
[P236] 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. | ||
[P237] Le Génie Logiciel (Software Engineering), course notes, EDF, 1981-83. | ||
[P238] An Introduction to the Art of Writing Correct Programs, course notes, March 1984 (Revised January 1985), Report TRCS84-05, Computer Science Department, University of California, Santa Barbara (course notes for CS130A). | ||
[P239] Object-Oriented Software Construction, course notes, Interactive Software Engineering and other training organizations, 1987-2000 (English and French editions). | ||
[P240] Object Technology for Managers and Managing O-O Projects, course notes, Interactive Software Engineering and other training organizations, 1990-2000 (English and French editions). | ||
[P241] Designing Reusable Libraries, course notes, Interactive Software Engineering and other training organizations, 1991-2000 (English and French editions). | ||
[P242] Design by Contract, course notes, Interactive Software Engineering and other training organizations, 1998-2000 (English and French editions). | ||
[P243] Component-Based Development, course notes, Interactive Software Engineering and other training organizations, 1999-2000. | ||
[P244] Course notes on contracts and components, INRIA-EDF-CEA Summer School, Le-Bréau-sans-Nappe, France, July 1999. | ||
[P245] .NET in One Day, course notes, Interactive Software Engineering and other training organizations, 2000-2001. | ||
[P246] Numerous ETH course notes, 2001-present, with slides, other materials and (for some courses) lecture videos: Introduction to Programming, Programming in the Large, Software Architecture, Software Engineering, Trusted Components, Object-Oriented Software Construction (ex-Advanced Topics in Object Technology), Software Engineering for Offshore Development, Concurrent Object-Oriented Programming. | ||
Articles in unrefereed publications (a selection) | ||
[P247] 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. (For revised English version see |ref FORMENG|.) | ||
[P248] 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. | ||
[P249] Some Mistakes are Worse than Others: An open letter to Professor David Gries (note on Gries's The Science of Programming), in Software Engineering Notes (ACM), vol. 8, no. 5, October 1983. | ||
[P250] A Note on Iterative Hanoi, in ACM SIGPLAN Notices, vol. 19, no. 12, December 1984, pages 38-40. | ||
[P251] Eiffel: Programming for Reusability and Extendibility, in ACM SIGPLAN Notices, February 1987. | ||
[P252] UML: The Positive Spin, in Cutter IT Journal (formerly American Programmer), vol. X, no. 3, 1997. | ||
[P253] On an Open Issue of Programming Language Phonetics, in Journal of Object Technology (JOT), vol. 2, no. 2, March-April 2003, pp. 109-110. | ||
[P254] With Willy Zwaenepoel: European Computer Science Takes Its Fate in Its Own hands, in Communications of the ACM, March 2006. (Report on first European Computer Science Summit.) | ||
[P256] With Gerald D. Everett: Point/CounterPoint: Test Principles, discussion about the article "Seven Principles of Software Testing" [P129], in IEEE Software, vol. 26, no. 4, July-August 2009, pages 62-66. | ||
[P257] With Ivar Jacobson: Methods Need Theory, Dr. Dobb's Journal, August 6, 2009. | ||
[P258] With Alexander Kogtenkov and Emmanuel Stapf: Avoid a Void: The Eradication of Null Dereferencing, draft, July 2009. | ||
[P259] With Carlo Furia: Inferring Loop Invariants Using Postconditions, submitted for publication, September 2009. | ||
Technical reports and manuals (a selection) | ||
[P260] Numerous other user manuals and technical reports -- Atelier Logiciel (software workbench) series --, Electricité de France, Clamart (France), 1977-1983. | ||
[P261] Un Ramasse-Miette par Tri (Garbage Collection through Sorting), Atelier Logiciel no. 8, Electricité de France, Clamart (France), August 1978. | ||
[P262] With B. Lalande and P. Gaudron: Reduce: Calcul Symbolique (Symbolic Computation with Reduce) (manual), Electricité de France, Clamart (France), Atelier Logiciel 20, 1979. | ||
[P263] 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. | ||
[P264] Le langage Fortran 77 (The Fortran 77 Language), Electricité de France, Clamart (France), Atelier Logiciel 10, June 1980. | ||
[P265] 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. | ||
[P266] 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). | ||
[P267] La Spécification (survey on specification), Electricité de France, Clamart (France), Atelier Logiciel 28, April 1981. | ||
[P268] With Eric de Drouas: Ada: Introduction et Bibliographie (Ada: Introduction and Bibliography), Electricité de France, Clamart (France), Atelier Logiciel 21, 1983. | ||
[P269] Errare, un Outil de Traitement des Erreurs (A General-Purpose Error-Handling Package) (manual), Electricité de France, Clamart (France), Atelier Logiciel 30, 1983. | ||
[P270] Towards a Relational Theory of Software, Internal Report, University of California, Santa Barbara, July 1984. | ||
[P271] M: A System Description Method, Technical Report TR CS 85-15, Uiversity of California, Santa Barbara, 1985. | ||
[P272] Eiffel: A Language for Software Engineering, Technical Report TR-CS-85-19, University of California, Santa Barbara, 1985. | ||
[P273] Design by Contract, Technical Report TR-EI-12/CO, Interactive Software Engineering Inc., 1986. | ||
[P274] Cépage User's Manual, Technical Report TR-CE-4/UM, Interactive Software Engineering Inc., 1986-1988. | ||
[P275] Eiffel: Basic Reference (manual), Technical Report TR-EI-2/BR, Interactive Software Engineering Inc., 1986-1988. | ||
[P276] LDL User's Manual, Technical Report TR-CE-8/LD, Interactive Software Engineering Inc., 1986-1988. | ||
[P277] Eiffel: Un langage et une Méthode pour le Génie Logiciel (Eiffel: A Language and Method for Software Engineering), unpublished article, June 1986. | ||
[P278] Eiffel: The Libraries (manual), Technical Report TR-EI-7/LI, Interactive Software Engineering Inc., 1987-1990. | ||
[P279] Eiffel: The Environment (manual), Technical Report TR-EI-5/UM, Interactive Software Engineering Inc., 1988-1990. | ||
[P280] Invitation to Eiffel, Technical Report TR-EI-67/IV, Interactive Software Engineering Inc., 1988-2002. | ||
[P281] Eiffel Complements 1 :Disciplined Exceptions, Technical Report TR-EI-15/DE, Interactive Software Engineering Inc., May 1988. | ||
[P282] Static Typing for Eiffel, Technical Report TR-EI-18/ST, Interactive Software Engineering Inc., January 1989, revised July 1989. | ||
[P283] Eiffel Types, Technical Report TR-EI-19/ET, March 1989, revised July 1989. | ||
[P284] First Steps with EiffelBench, Technical Report TR-EI-38/IE, Interactive Software Engineering Inc., 1993-1997 (successive editions). Replaced by [P290]. | ||
[P285] Eiffel vs. C++, Technical Report TR-EI-59/CE, ISE Inc., 1993. | ||
[P286] ISE Eiffel: The Environment (manual), Technical Report TR-EI-39/IE, Interactive Software Engineering Inc., 1994-2000 (successive editions). Original text derived from [P5]. | ||
[P287] Building Graphical Applications with EiffelBuild (manual), Technical Report TR-EI-43/UI, Interactive Software Engineering Inc., 1994. | ||
[P288] EiffelCase: Engineering Software, Forward and Backward (manual), Technical Report TR-EI-53/EA, Interactive Software Engineering Inc., 1994. | ||
[P289] An Eiffel Tutorial, Technical Report TR-EI-66/TU, Interactive Software Engineering Inc., July 2001. (Adapted, revised and extended from [P41].) | ||
[P290] EiffelStudio: A Guided Tour, Technical Report TR-EI-68/GT, Interactive Software Engineering Inc., July 2001. Replaces [P284]. | ||
[P291] With Marie-Hélène Ng Cheong Vee and Keith L. Mannock: Empirical study of novice error paths, unpublished technical report, August 2005. | ||
[P292] With Christine Choppy, Jørgen Staunstrup and Jan van Leeuwen: Research Evaluation for Computer Science, Informatics Europe report, April 2009. (For short version see the CACM article [P131].) | ||
TOOLS conference Tutorials (a selection) | ||
[P293] Design by Contract: the Eiffel method, in TOOLS 26, Santa Barbara, USA, 1998. | ||
[P294] Managing by Contract, in TOOLS 30, Santa Barbara, USA, 1999. | ||
[P295] Seamless Development with the Eiffel Model, in TOOLS 29, 1999. | ||
[P296] Agent-Based Programming in Eiffel, in TOOLS 34, Santa Barbara, USA, 2000. | ||
[P297] Programming with agents: combining O-O and functional techniques, in TOOLS Europe 2000. | ||
[P298] Building Trusted Components, in TOOLS 39, Santa Barbara, USA, 2001. | ||
[P299] Trusted Components & Classes, in TOOLS Pacific 2002. | ||
Miscellaneous electronic publications | ||
[P300] Numerous Usenet postings on comp.lang.eiffel, comp.object and comp.software-engineering, 1986-2000. | ||
[P301] Numerous Web pages at http: //eiffel.com (technical reports, white papers, technology papers), 1993-2000. | ||
|
Meyer home - Publications - Events - Software engineering home - CS home |