Bertrand Meyer: publication list, by date

This is the raw version, with only authors, title, date and venue, and no separation by years.

You can also access the list with comments and links to the actual publication PDFs

There in addition a list by kind of publication (book, journal etc.), currently not up-to-date but to be reinstated shortly.

     

Last updated on 31 October 2024.

[494] (Ongoing) “Technology+” Blog, August 2009-present

[493] (Ongoing) Communications of the ACM blog, 2010-present

[492] (Ongoing) Concurrency Made Easy, in preparation.

[491] (Ongoing) Standard Eiffel (revised edition of [112]), in progress.

[490] (Ongoing) ETH and Constructor Institute of Technology course material, 2001-present, with slides, complementary documents, exercises and lecture videos.

[489] With Reto Weber: Programming Really Is Simple Mathematics, to appear in Yuri Gurevich 2025 Festscrhift, edṡ Guillermo Badia, Springer LNCS, 2025, to appear.

[488] With Li Huang and Reto Weber: Loop unrolling: formal definition and application to improving test suites and test coverage, October 2024, submitted for publication.

[487] With Victoria Kamanchuk and Ilgiz Mustafin: BugPatterns: a standard language, database schema and repository for research on bugs and automatic program repair, October 2024, submitted for publication.

[486] With Manuel Oriol and Huang Li: Seeding Contradiction: a fast method for generating full-coverage test suites, to appear in Springer Nature Computer Science, 2025.

[485] With Li Huang, Sophie Ebersold, Alexander Kogtenkov, and Yinling Liu: Lessons from Formally Verified Deployed Software Systems, under revision for Computing Surveys, October 2024.

[484] With Li Huang and Manuel Oriol: Is MCDC really better? Lessons from combining tests and proofs, in , proceedings of TAP 24, International Conference on Tests and Proofs, Milan, 7-9 September 2024, to appear as Lecture Notes in Computer Science, Springer, 2024.

[483] With Li Huang, Ilgiz Mustafin and Manuel Oriol: Execution-free Program Repair, in FSE 2024, in proceedings of ACM International Conference on the Foundations of Software Engineering, Porto de Galinhas, Brazil, 15-19 July 2024, to appear.

[482] Right and Wrong: Ten Choices in Language Design, chapter 13 of The French School of Programming, ed. Bertrand Meyer, Springer, May 2024 [481].

[481] Editor: The French School of Programming, Springer, 2024.

[480] With Li Huang and Manuel Oriol: System and method for repairing computer programs automatically without execution, filed as US Patent 18/648,802, 29 April 2024.

[479] With Viktoryia Kananchuk and Li Huang: BUGFIX: towards a common language and framework for the Automatic Program Repair Community, to be presented at Automatic Program Repair workshop of ICSE 2024 (International Conference on Software Engineering), Lisbon, 20 April 2024.

[478] A formal definition of loop unrolling with applications to test coverage, technical note, arXiv, March 2024 (revised August 2024).

[477] With Alisa Arkadova and Alexander Kogtenkov, The Concept of Class Invariant in Object-Oriented Programming, in Formal Aspects of Computing, vol. 36, no. 1, published 20 March 2024.

[476] Niklaus Wirth, or the Importance of Being Simple, in Communications of the ACM blog, 9 January 2024.

[475] With Manuel Oriol and Huang Li: Seeding Contradiction: a fast method for generating full-coverage test suites, in ICTSS 2023, proceedings of 35th IFIP International Conference on Testing Software and Systems, Bergamo (Italy), 18-21 September 2023.

[474] With Li Huang: A Failed Proof Can Yield a Useful Test, in STVR journal (Software Testing, Verification and Reliability), 2023, to appear.

[473] With Manuel Oriol, Li Huang and others: Seeding contradictions as a fast method for generating full-coverage test suites, filed as US Patent 17/818,348, 8 August 2022.

[472] With Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, and Florian Galinier: Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests, in JOT (Journal of Object Technology), vol. 22, no. 1, 2023, pages 1-19.

[471] Online version of Object Success [144], released March 2023.

[470] Handbook of Requirements and Business Analysis, Springer, 2022.

[469] Statement Considered Harmful, in Communications of the ACM blog, 14 December 2022.

[468] What Do ChatGPT and AI-based Automatic Program Generation Mean for the Future of Software (blog article), in Communications of the ACM blog [493], 23 December 2022.

[467] Logical Beats Sequential, in Communications of the ACM blog, 8 December 2022.

[466] How To Teach (blog article), in Communications of the ACM blog [493], 21 December 2022.

[465] With Li Huang and Manuel Oriol: Improving Counterexample Quality from Failed Program Verification, in ISWF (International Workshop on Software Faults), part of ISSRE-2022, October 2022.

[464] Not Your Grandmonther's Textbook Exercise, in Communications of the ACM blog, 1 September 2022

[463] With Li Huang and others: Test Generation from Failed Proofs, filed as US Patent 17/818,348, 8 August 2022.

[462] Online version of Object-Oriented Software Construction, second edition [165], released September 2022.

[461] The Legacy of Barry Boehm, in Communications of the ACM blog, 23 August 2022

[460] With Alfredo Capozucca, Jean-Michel Bruel and Manuel Mazzara (editors): Special Issue on New Paradigms of Software Production and Deployment, in Springer Nature Computer Science, vol. 3, no. 2, 2022.

[459] Mental Self-Check, in Communications of the ACM blog, 19 January 2022.

[458] With Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara and Alexandr Naumchev: The Role of Formalism in System Requirements, in ACM Computing Surveys, vol. 54, no. 5, pages 1-36, June 2022.

[457] Some contributions (blog article), February 2021.

[456] Time to Resurrect PSP?, in Communications of the ACM blog, 14 December 2020

[455] In Search of the Shortest Possible Schedule, in Communications of the ACM, vol. 63, no. 1, pages 8-9, January 2020.

[454] Software Engineering Across Two Centuries, in Imagined Futures, eds Leon Strous, Roger Johnson, David Alan Griera and Doron Swade, Springer, 2020.

[453] With Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Alexandr Naumchev and Andrey Sadovykh: Frontiers in Software Engineering Education, Proceedings of First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers, Springer Lecture Notes in Computer Science 12271, 2020.

[452] With Jean-Michel Bruel and Manuel Mazzara: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, Proceedings of Second International Workshop, DEVOPS 2019, Villebrumier, France, May 6-8, 2019, Revised Selected Papers. Springer Lecture Notes in Computer Science 12055, 2020.

[451] Getting a Program Right, in Nine Episodes (blog article), 26 March 2020.

[450] With Victor Rivera: AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs, in Springer Nature Computer Science, vol. 1, no. 1, pages 12:1-12:15, 2020.

[449] With Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev and Manuel Mazzara: The Role of Formalism in Software Requirements (full version), 2020

[448] Are My Requirements Complete? (blog article), 3 December 2019.

[447] Things to do to an Algorithm (blog article), 22 September 2020.

[446] A Theorem of Software Engineering (blog article), 4 November 2019.

[445] Publications on CS/SE/informatics education. (blog article), 6 November 2019

[444] Editor, with Manuel Mazzara, Jean-Michel Bruel and Alexander K. Petrenko: TOOLS 51: Software Technology: Methods and Tools, Proceedings of 51st International Conference, Kazan, October 15-17, 2019, Springer Lecture Notes in Computer Science 11771, 2019.

[443] With Jean-Michel Bruel, Sophie Ebersold, Florian Galinier and Alexandr Naumchev: Towards an Anatomy of Software Requirements, in TOOLS 2019, pages 10-40.

[442] With Alexandr Naumchev, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel and Sophie Ebersold: AutoReq: Expressing and verifying requirements for control systems, in Journal of Computer Languages, vol. 51, pages 131-142, 2019.

[441] Soundness and completeness: with precision, in Communications of the ACM blog, 20 April 2019.

[440] With Jean-Michel Bruel and Manuel Mazzara: Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, Proceedings of First International Workshop, DEVOPS 2018, Villebrumier, France, March 5-6, 2018, Revised Selected Papers, Springer Lecture Notes in Computer Science 11350, 2019.

[439] The Formal Picnic Approach to Requirements (blog article), 17 December 2018.

[438] Why Not Program Right? (blog article), 24 May 2018.

[437] ICSE 1988 in Singapore: an education in software engineering research management, pages 39-42 of ICSE-Ruby Anniversary, eds. Domenico Bianculli, Nenad Medvidovic and David S. Rosenblum, part of ICSE '18, Proceedings of the 40th International Conference on Software Engineering, Gothenburg, Sweden, May-June 2018.

[436] Making sense of Agile Methods, in IEEE Software, vol. 35, no. 2, March 2018, pages 91-94.

[435] Towards empirical answers to important software engineering questions (blog article), 26 January 2018.

[434] The end of software engineering and the last methodologist (blog article), 21 January 2018.

[433] With Victor Rivera: AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs

[432] Rational Ethics, in Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015, eds. Hannes Werthner and Frank van Harmelen, Springer, 2017.

[431] Split the Root: a Little Design Pattern (blog article), 29 November 2017.

[430] (Editor, with Manuel Mazzara) PAUSE: Present And Ulterior Software Engineering, Villebrumier, France, December 2015, Proceedings, Springer, 2017.

[429] Fourteen years of Software Engineering at ETH Zurich , unpublished, July 2017.

[428] With Alexander Naumchev: Seamless requirements, in Computer Languages, Systems and Structures, vol.49, September 2017, pages 119-132.

[427] Class Invariants: Concepts, Problems, Solutions, Technical report, October 2016.

[426] With Georgiana Caltais: On the Verification of SCOOP Programs, in Science of Computer Programming, 2016 (available online 22 August 2016).

[425] With Alexander Naumchev: Complete Contracts Through Specification Drivers, in TASE 2016, 10th International Symposium on Theoretical Aspects of Software Engineering, Shanghai, 17-19 July 2016, IEEE Computer Society, 2016, pages 160-167,

[424] With Jiwon Shin and Andrey Rusakov: SmartWalker: An Intelligent Robotic Walker, in Journal of Ambient Intelligence and Smart Environments, vol.8, no.14, July 2016.

[423] With Mischael Schill and Christopher M. Poskitt: An Interference-Free Programming Model for Network Objects, in COORDINATION 2016, Proc. 18th IFIP International Conference on Coordination Models and Languages, Heraklion, Greece, Lecture Notes in Computer Science 9686, Springer, pages 227-244.

[422] With Alexey Kolesnichenko, Christopher M. Poskitt and Sebastian Nanz: Contract-based general-purpose GPU programming, in GPSE 2015, Proceedings of 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, ACM SIGPLAN Notices, vol. 51, Issue 3, March 2016, pages 75-84.

[421] Theory of Programs, in Proceedings of LASER summer school on Software 2013-2014 2007/2008, eds. Bertrand Meyer and Martin Nordio, Advanced Lectures on Software Engineering, Lecture Notes in Computer Science 8987, Springer, 2015 [420].

[420] (Editor, with Martin Nordio) Software Engineering; International Summer Schools, LASER 2013-2014, Elba Island, Italy, Revised Tutorial Lectures; Lecture Notes in Computer Science 8987, Springer, 2015.

[419] With Alexander Naumchev and Victor Rivera: Unifying Requirements and Code: an Example, in Perspective of System Informatics, Proceedings of fifth Andrei Ershov Memorial Conference, Kazan, 24-27 August 2015, eds. Manuel Mazzara and Andrei Voronkov,Lecture Notes in Computer Science 9609, Springer, 2015, pages 233-234.

[418] With Scott West and Sebastian Nanz: Efficient and Reasonable Object-oriented Concurrency , in ESEC/FSE 2015, Proceedings of 2015 European Software Engineering Conference and Foundations of Software Engineering Symposium, ACM Press, 2015, pages 734-744.

[417] With Jiwon Shin, David Itten and Andrey Rusakov: Towards an Intelligent Robotic Walker for the Elderly, in 11th International Conference on Intelligent Environments (IE 11), Prague,17-19 July 2015, IEEE, August 2015 (best paper award).

[416] With Paolo Antonucci, Christian Estler, Durica Nikolic and Marco Piccioni: An Incremental Hint System For Automated Programming Assignments, in ITiCSE '15, Proceedings of 2015 ACM Conference on Innovation and Technology in Computer Science Education, 6-8 July 2015, Vilnius, ACM Press, pages 320-325.

[415] With Jiwon Shin and Ivo Steinmann: Automatic Speed Control for SmartWalker, in PETRA 2015, Proceedings of 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments, 21-23 June 2015, Rhodes, Greece, ACM Press, 2015.

[414] With Jiwon Shin and Andrey Rusakov: Concurrent Software Engineering and Robotics Education, in 37th International Conference on Software Engineering (ICSE 2015), Florence, May 2015, IEEE Press, pages 370-379.

[413] With Yu Pei, Carlo A. Furia and Martin Nordio: Automated Program Repair in an Integrated Development Environment, in 37th International Conference on Software Engineering (ICSE 2015), Florence, May 2015, IEEE Press, pages 681-684.

[412] An automatic technique for static deadlock prevention, in PSI 2014 (Ershov Informatics Conference), eds. Irina Virbitskaite and Andrei Voronkov, Lecture Notes in Computer Science 8974, Springer, 2015, pages 45-58.

[411] With Scott West and Sebastian Nanz: Efficient and Reasonable Object-oriented Concurrency , in PPoPP 2015, Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Francisco, 7-11 February 2015, ACM SIGPLAN Notices, vol. 50, no. 8, August 2015, pages 273-274.

[410] Framing the Frame Problem, in Dependable Software Systems, Proceedings of August 2014 Marktoberdorf summer school, eds. Alexander Pretschner, Manfred Broy and Maximilian Irlbeck, NATO Science for Peace and Security, Series D: Information and Communication Security, Springer, 2015, pages 174-185.

[409] With Alexander Kogtenkov and Sergey Velder: Alias Calculus, Change Calculus and Frame Inference, in Science of Computer Programming, 2015, pages 163-172, DOI 10.1016/j.scico.2013.11.006 (first published online 26 November 2013).

[408] Agile! The Good, the Hype and the Ugly, Springer, 2014. Translations: Japanese, Russian, Chinese.

[407] With Cristina Pereira, Hannes Werthner and Enrico Nardelli: Informatics Education in Europe: Institutions, Degrees, Students, Positions, Salaries — Key Data 2008-2013, Informatics Europe report, October 2014.

[406] With Andrey Rusakov and Jiwon Shin: Simple Concurrency for Robotics with the Roboscoop Framework, in IROS 2014 (IEEE/RSJ International Conference on Intelligent Robots and Systems, Chicago, 14-18 September 2014, IEEE Computer Press.

[405] With H-Christian Estler, Martin Nordio and Carlo A. Furia: Awareness and Merge Conflicts in Distributed Software Development, in proceedings of ICGSE 2014, 9th International Conference on Global Software Engineering, Shanghai, 18-21 August 2014, IEEE Computer Society Press (best paper award).

[404] Lampsort (blog article), 7 December 2014.

[403] With Marco Piccioni and H-Christian Estler: SPOC-supported introduction to Programming, in Proceedings of ITiCSE 2014, 9th Annual Conference on Innovation and Technology in Computer Science Education, June 23-25, 2014, Uppsala, Sweden.

[402] With Benjamin Morandi and Sebastian Nanz: Safe and Efficient Data Sharing for Message-Passing Concurrency, in proceedings of COORDINATION 2014, 16th International Conference on Coordination Models and Languages, Berlin, 3-6 June 2014, Lecture Notes in Computer Science 8459, eds. E. Kühn ad R. Pugliese, 2014, pages 99-114.

[401] Programming Language Features (blog article), 12 June 2014.

[400] With H.-Christian Estler, Carlo A. Furia, Martin Nordio and Marco Piccioni: Contracts in Practice, in FM 2014 (proceedings of 19th International Symposium on Formal Methods), Singapore, May 2014, Lecture Notes in Computer Science 8442, eds. C. Jones, P. Pihlajasaari and J. Sun, Springer, 2014, pages 230-246.

[399] With Nadia Polikarpova, Julian Tschannen and Carlo A. Furia: Flexible Invariants Through Semantic Collaboration, in FM 2014 (proceedings of 19th International Symposium on Formal Methods), Singapore, May 2014, Lecture Notes in Computer Science 8442, eds. C. Jones, P. Pihlajasaari and J. Sun, Springer, 2014, pages 514-530.

[398] Code matters (blog article), 17 May 2014

[397] Attached by default? (blog article), 29 November 2017.

[396] With Alexander Kogtenkov: Negative Variables and the Essence of Object-Oriented Programming, in Specification, Algebra, and Software, Kanazawa (Japan), 14-16 April 2014, Lecture Notes in Computer Science 8373, eds. Shusaku IIda, Jose Meseguer and Kazuhiro Ogata, Springer, 2014, pages 171-187.

[395] With Carlo Furia and Sergey Velder: Loop invariants: Analysis, Classification and Examples, in ACM Computing Surveys, vol. 46, no. 3, February 2014.

[394] What is Wrong with CMMI (blog article), 12 May 2017.

[393] With Sebastian Nanz, Scott West, Kaue Soares Da Silveira: Benchmarking Usability and Performance of Multicore Languages, in ESEM 2013 (ACM/IEEE International Symposium on Empirical Software Engineering and Measurement), Baltimore, 10-11 October 2013, IEEE Computer Press, 2013, pages 183-192.

[392] With Marco Piccioni and Carlo A. Furia: An Empirical Study of API Usability, in ESEM 2013 (ACM/IEEE International Symposium on Empirical Software Engineering and Measurement), Baltimore, 10-11 October 2013, IEEE Computer Press, 2013, pages 5-14.

[391] With Cristina Pereira: Informatics Education in Europe: Institutions, Degrees, Students, Positions, Salaries — Key Data 2008-2012, Informatics Europe report, October 2013.

[390] With Alexey Kolesnichenko and Christopher M. Poskitt: Applying Search in an Automatic Contract-Based Searching Tool, in SSBSE 2013 (5th Symposium on Search-Based Software Engineering), Saint Petersburg, 24-26 August 2013, Lecture Notes in Computer Science 8084, eds G. Ruhe and Y. Zhang, 2013, pages 318-323.

[389] With Mischael Schill and Sebastian Nanz: Handling Parallelism in a Concurrency Model, in Multicore Software Engineering, Performance and Tools (MUSEPAT 2013), Saint Petersburg, 19-20 August 2013, Lecture Notes in Computer Science 8063, eds. J.M. Lourenço and E.Farchi, Springer, 2013, pages 37-48.

[388] With Alexey Kolesnichenko and Sebastian Nanz: How to Cancel a Task, in Multicore Software Engineering, Performance and Tools (MUSEPAT 2013), Saint Petersburg, 19-20 August 2013, Lecture Notes in Computer Science 8063, eds. J.M. Lourenço and E.Farchi, Springer, 2013, pages 61-72.

[387] With H-Christian Estler, Martin Nordio and Carlo A. Furia: Distributed Collaborative Debugging, in ICGSE 2013 (8th IEEE International Conference on Global Software Engineering, Bari, 26-29 August 2013 (best paper award).

[386] With Benjamin Morandi and Sebastian Nanz: Testing a Concurrency Model, in ACSD 2013 (13th IEEE International Conference on Application of Concurrency to System Design, Barcelona, 8-10 July 2013, IEEE Computer Press, 2013, pages 170-179.

[385] Multirequirements, in Modelling and Quality in Requirements Engineering (Martin Glinz Festschrift), eds. Norbert Seyff and Anne Koziolek, MV Wissenschaft, 2013.

[384] With H-Christian Estler, Martin Nordio and Carlo A. Furia: Unifying Configuration Management with Awareness Systems and Merge Conflict Detection, in 22nd Australasian Software Engineering Conference, Melbourne (Australia), 4-7 June 2013.

[383] With Julian Tschannen, Carlo A. Furia and Martin Nordio: Program Checking With Less Hassle, in proceedings of VSTTE 2013 (Verified Software: Theories, Tools and Experiments), Atherton (California), May 2013, Lecture Notes in Computer Science 8164, eds. E. Cohen and A. Rybalchenko, Springer, 2013, pages 149-169.

[382] With Sebastian Nanz, Faraz Torshizi and Michela Pedroni: Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages, in Information and Software Technology Journal Elsevier, volume 55, 2013.

[381] With Nadia Polikarpova, Carlo A. Furia, Yi Pei and Yi Wei: What Good are Strong Specifications?, in proceedings of ICSE 2013 (35th International Conference on Software Engineering), San Francisco, May 2013.

[380] Achievements in parallel programming (in Russian), slides and video of 2013 Ershov lecture, April 11, 2013.

[379] The origin of “Software Engineering” (blog article), 12 May 2017.

[378] With other editors, under the leadership of Walter Gander: Informatics education: Europe cannot afford to miss the boat, joint Informatics Europe and ACM Europe report, April 2013.

[377] With Carlo A. Furia, Manuel Oriol, Andrey Tikhomirov and Yi Wei:The Search for the Laws of Automatic Random Testing, in Proceedings of the 28th ACM Symposium on Applied Computing (SAC 2013), Coimbra (Portugal), ACM Press, 2013.

[376] The ABC of Software Engineering

[375] The Waves of Publication (blog article), 20 February 2013.

[374] Doing it Right or Doing it Over? (blog article), 23 February 2013.

[373] With Marco Piccioni and Manuel Oriol: Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support, in IEEE Transactions in Software Engineering, vol. 39, no. 2, February 2013.

[372] Conferences: Publication, Communication, Sanction (blog article), 6 February 2013.

[371] With Julian Tschannen, Carlo A. Furia and Martin Nordio: Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach, in Tools for Practical Software Verification; International Summer School, LASER 2011, eds. Bertrand Meyer and Martin Nordio [370], Lecture Notes in Computer Science 7682, Springer, December 2012. On AutoProof see also [250] [323] [381] [399] and the project page at autoproof.sit.org with a Web interface making it possible to try verification interactively.

[370] (Editor, with Martin Nordio) Tools for Practical Software Verification; International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures; Lecture Notes in Computer Science 7682, Springer, December 2012.

[369] Commenting on an interview of the then Swiss minister of education, an analysis of views of university education in different countries. (blog article), 10 December 2012.

[368] With Benjamin Morandi and Sebastian Nanz: Performance Analysis of SCOOP Programs, in Journal of Systems and Software, vol. 85, no. 11, November 2012, pages 2519-2530.

[367] With Scott West and Sebastian Nanz: Demonic Testing of Concurrent Programs, in Proc. of 14th International Conference on Formal Engineering Methods (ICFEM 2012), Kyoto, 12-16 November 2012, Lecture Notes in Computer Science, Springer, 2012.

[366] A Fundamental Duality of Software Engineering (blog article), 14 October 2012

[365] Incremental Research vs Paradigm-Shift Mania, in Communications of the ACM, vol. 55, no. 9, March 2012, pages 8-9.

[364] With Christian Estler, Martin Nordio, Carlo A. Furia, and Johannes Schneider: Agile vs. Structured Distributed Software Development: A Case Study, in 7th International Conference on Global Software Engineering (ICGSE), IEEE Computer Press, 2012 (best paper award).

[363] EIS: Putting into Practice the Single Model Principle (blog article), 13 July 2012.

[362] With Benjamin Morandi and Sebastian Nanz: Can Asynchronous Exceptions Expire?, in Proc. of 5th International Workshop on Exception Handling (WEH 2012), ICSE, Zurich, June 2012, IEEE Computer Press, 2012.

[361] Salad Requirements, Requirements Salad (blog article), 10 August 2012

[360] With Marco Trudel, Carlo A. Furia, Martin Nordio and Manuel Oriol: C to O-O Translation: Beyond the Easy Stuff, in Proc. of 19th Working Conference on Reverse Engineering (WCRE'12), eds. Rocco Oliveto and Denys Poshyvanyk, IEEE Computer Society, 2012.

[359] Towards a Calculus of Object Programs, in Patterns, Programming and Everything, Judith Bishop Festschrift, eds. Karin Breitman and Nigel Horspool, Springer, 2012, pages 91-128.

[358] With Alexander Kogtenkov and Anton Akhi: Processors and their collection, in Proceedings of MSEPT 2012 (International COnference on Multicore Software Engineering, Performance and Tools), Prague, May 2012, eds. V. Pankratius and M. Philippsen, Lecture Notes in Computer Science, Springer, 2012.

[357] Domain Theory: the forgotten step in program verification (blog article), 23 February 2013.

[356] A Carefully Designed Result (blog article), 19 March 2012.

[355] Knowledgeable beginners, in Communications of the ACM, vol. 55, no. 3, March 2012, pages 10-11.

[354] With Benjamin Morandi and Sebastian Nanz: A formal Reference for SCOOP, in Empirical Software Engineering and Verification (LASER 2008-2010) [352], eds. Bertrand Meyer and Martin Nordio, Lecture Notes in Computer Science 7007, Springer, February 2012.

[353] With Yi Wei and Manuel Oriol: Is Coverage a Good Measure of Testing Effectiveness?, in Empirical Software Engineering and Verification (LASER 2008-2010) [352], eds. Bertrand Meyer and Martin Nordio, Lecture Notes in Computer Science 7007, Springer, February 2012.

[352] (Editor, with Martin Nordio) Empirical Software Engineering and Verification; International Summer School, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures; Lecture Notes in Computer Science 7007, Springer, February 2012.

[351] Never Design a Language (blog article), 31 January 2012.

[350] With Stephan van Staden and Cristiano Calgagno: Freefinement, in Proceedings of the 39th Symposium on Principles of Programming Languages (POPL 2012), Philadelphia, 25-27 January 2012, ACM Press, 2012.

[349] Bertrand Meyer: Software Engineering and the Eiffel Programming Language, interview (also of Annie Meyer) by Charles Severance (text and video), in Computer (IEEE), vol. 45, no. 9, pages 6-8, September 2012.

[348] With Martin Nordio, H.-Christian Estler, Julian Tschannen, Carlo Ghezzi and Elisabetta Di Nitto: How do Distribution and Time Zones affect Software Development? A Case Study on Communication, in Proceedings of the 6th International Conference on Global Software Engineering (ICGSE), IEEE Computer Press, 2011, pages 176-184.

[347] With Lucas Serpa Silva, Yi Wei and Manuel Oriol: Evolving the Best Testing Strategies for Contract-Equipped Programs, in APSEC 2011, 18th Asia Pacific Software Engineering Conference, Hanoi, 5-8 December 2011.

[346] With Yu Pei, Yi Wei, Carlo Furia and Martin Nordio: Code-Based Automatic Program Fixing, in ASE '11: 26th IEEE/ACM International Conference on Automated Software Engineering, Lawrence (Kansas), 6-10 November 2011.

[345] John McCarthy (blog article), 23 February 2013.

[344] With Yi Wei, Hannes Roth, Carlo Furia, Yu Pei, Alexander Horton, Michael Steinforder and Martin Nordio: Stateful Testing: Finding More Errors in Code and Contracts, in ASE '11: 26-th IEEE/ACM International Conference on Automated Software Engineering, Lawrence (Kansas), 6-10 November 2011.

[343] How to Design Software (blog article), 13 December 2011

[342] With Julian Tschannen, Carlo A. Furia and Martin Nordio: Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques, in SEFM 2011, Software Engineering and Formal Methods, Montevideo, 14-18 November 2011, Lecture Notes in Computer Science, Springer Verlag, 2011.

[341] The Modes and Uses of Scientific Publication (blog article), 22 November 2011.

[340] The Charming Naïveté of an IEEE Standard (blog article), 5 October 2011.

[339] With Sebastian Nanz, Faraz Torshizi and Michela Pedroni: Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages, in ESEM 2011 (ACM/IEEE International Symposium on Empirical Software Engineering and Measurement), 22-23 September 2011 (best paper award).

[338] Testing insights (blog article), 11 July 2011.

[337] With Julian Tschannen, Carlo A. Furia and Martin Nordio: Verifying Eiffel Programs with Boogie, in Boogie 2011, First International Workshop on Intermediate Verification Languages, Wroclaw, August 2011, Lecture Notes in Computer Science, Springer Verlag, 2011.

[336] If I Am Not Pure, At Least My Functions Are (blog article), 4 July 2011.

[335] Concurrent Programming is Easy (blog article), 20 June 2011.

[334] With Yi Wei, Carlo Furia and Nikolay Kazmin: Inferring better contracts, in ICSE 2011, International Conference on Software Engineering, Hawaii, May 2011, published by IEEE Computer Press.

[333] With Marco Trudel, Manuel Oriol and Carlo Furia: Automated Translation of Java Source Code to Eiffel, in TOOLS Europe 2011 (Objects, Components, Models, Patterns), 49th International Conference, eds. Judith Bishop and Antonio Vallecillo, Lecture Notes in Computer Science 6705, Springer, June 2011, pages 20-35.

[332] Steps Towards a Theory and Calculus of Aliasing, in International Journal of Software and Informatics, special issue (Festschrift in honor of Manfred Broy), Chinese Academy of Sciences, 2011, pages 77-116.

[331] With Martin Nordio, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre and Vidya Kulkarni: Teaching Software Engineering using Globally Distributed Projects: the DOSE course, in Collaborative Teaching of Globally Distributed Software Development - Community Building Workshop (CTGDSD), Hawaii (at ICSE), May 2011.

[330] With Ilinca Ciupa, Alexander Pretschner, Manuel Oriol and Andreas Leitner: On the number and nature of faults found by random testing, in Software Testing, Verification and Reliability (Wiley), vol. 21, no. 1, March 2011, pages 3-28.

[329] With Benjamin Morandi and Sebastian Nanz: A comprehensive operational semantics of the SCOOP programming model, unpublished ETH technical report, January 2011.

[328] With Scott West and Sebastian Nanz: A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model, in Proceedings of ICFEM 2010, 12th International Conference on Formal Engineering Methods, Shanghai, 17-19 November 2010, Lecture Notes in Computer Science 6447, Springer, 2010.

[327] Every Bilingual Dictionary Should be a Galois Connection (blog article), 9 November 2010

[326] Watts Humphrey: In Honor of a Pioneer (blog article, in Communications of the ACM blog, 15 November 2010.

[325] With Ganesh Ramanathan, Benjamin Morandi, Scott West and Sebastian Nanz: Deriving Concurrent Control Software from Behavioral Specifications, in Proceedings of IROS 2010 (IEEE/RSJ International Conference on Intelligent Robots and Systems, Taipei, Taiwan, 18-22 October 2010), IEEE, 2010.

[324] With Alexander Kogtenkov and Emmanuel Stapf: Avoid a Void: The Eradication of Null Dereferencing, in Reflections on the Work of C.A.R. Hoare, eds. C. B. Jones, A.W. Roscoe and K.R. Wood, Springer, 2010, pages 189-211.

[323] With Nadia Polikarpova and Carlo Furia: Specifying Reusable Components, in Verified Software: Theories, Tools, Experiments (VSTTE ' 10), Edinburgh, UK, 16-19 August 2010, Lecture Notes in Computer Science, Springer Verlag, 2010.

[322] With Carlo Furia: Inferring Loop Invariants using Postconditions, in Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, eds. Andreas Blass, Nachum Dershowitz and Wolfgang Reisig, Lecture Notes in Computer Science 6300, Springer, August 2010, pages 277-300.

[321] (Editor, with Martin Nordio, Mathai Joseph and Andrey Terekhov) Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD 2010), 4th International Conference, Saint Petersburg, Russia, Lecture Notes in Business Information Processing 54, Springer, July 2010.

[320] With Benjamin Morandi and Sebastian S. Bauer: SCOOP - A contract-based concurrent object-oriented programming model, in Proceedings of LASER summer school on Software Engineering 2007/2008, ed. Peter Müller, Advanced Lectures on Software Engineering, Lecture Notes in Computer Science 6029, Springer, July 2010, pages 41-90.

[319] With Yi Wei, Yu Pei, Carlo Furia, Lucas Silva, Stefan Buchholz and Andreas Zeller: Automated Fixing of Programs with Contracts, in ISSTA '10: Proceedings of the International Symposium on Software Testing and Analysis, Trento (Italy), 12-16 July 2010, ACM Press, 2010.

[318] With Martin Nordio, Cristiano Calcagno, Peter Müller and Julian Tschannen: Reasoning about Function Objects, in TOOLS EUROPE 2010, Málaga (Spain), 28 June - 2 July 2010, ed. J. Vitek, Lecture Notes in Computer Science, Springer, 2010.

[317] With Stephan van Staden and Cristiano Calcagno: Verifying Executable Object-Oriented Specifications with Separation Logic, in ECOOP 2010: 24th European Conference on Object-Oriented Programming, Maribor (Slovenia), 21-25 June 2010, Lecture Notes in Computer Science, Springer, 2010.

[316] From Programming to Software Engineering (slides only), material for education keynote at International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010.

[315] With Martin Nordio and Roman Mitin: Advanced Hands-on Training for Distributed and Outsourced Software Engineering, in ICSE 2010: Proceedings of 32th International Conference on Software Engineering, Cape Town, May 2010, IEEE Computer Society Press, 2010.

[314] With Yi Wei, Serge Gebhardt and Manuel Oriol: Satisfying Test Preconditions through Guided Object Selection, in ICST ' 10: Proceedings of the Third International Conference on Software Testing, Verification and Validation, Paris, April 2010, IEEE Computer Society Press, 2008.

[313] Towards a Theory and Calculus of Aliasing, in JOT (Journal of Object Technology), vol. 9, no. 2, March-April 2010, pages 37-74. The Alias Calculus:

[312] Reflexivity, and Other Pillars of Civilization (blog article), 6 February 2010.

[311] More Expressive Loops for Eiffel (blog article), 26 January 2010

[310] Just Another Day at the Office (blog article), 23 February 2013.

[309] With Michela Pedroni: Object-Oriented Modeling of Object-Oriented Concepts, in ISSEP 2010, Fourth International Conference on Informatics in Secondary Schools, Zurich, January 2010, eds. J. Hromkovic, R. Královic, J. Vahrenhold, Lecture Notes in Computer Science 5941, Springer, 2010.

[308] With Michela Pedroni and Manuel Oriol: What Do Beginning CS Majors Know?, ETH Technical Report, 2009.

[307] With Valentin Dallmeier and Andreas Zeller: Generating Fixes from Object Behavior Anomalies, in ASE 2009: Proceedings of 24th IEEE/ACM International Conference in Automated Software Engineering, Auckland, New Zealand, 16-20 November 2009, IEEE Computer Society Press, 2009, pages 550-554.

[306] With Marco Piccioni, Manuel Oriol and Teseo Schneider: An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Systems, in ASE 2009: Proceedings of 24th IEEE/ACM International Conference in Automated Software Engineering, Auckland, New Zealand, 16-20 November 2009, IEEE Computer Society Press, 2009, pages 650-654.

[305] With Ilinca Ciupa, Andreas Leitner, Arno Fiva, Yi Wei and Emmanuel Stapf: Programs that Test Themselves, IEEE Computer, vol. 42, no. 9, pages 46-55, September 2009 (feature).

[304] The One Sure Way to Advance Software Engineering (blog article), 21 August 2009.

[303] With Piotr Nienaltowski and Jonathan Ostroff: Contracts for Concurrency, in Formal Aspects of Computing Journal, vol. 21, no. 4, pages 305-318, August 2009.

[302] Touch of Class: Learning to Program Well Using Object Technology and Design by Contract, 876 + lxiv pages, Springer, August 2009. Translations: Russian.

[301] With Ivar Jacobson: Methods Need Theory, Dr. Dobb's Journal, August 6, 2009.

[300] 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.

[299] With Gerald D. Everett: Point/CounterPoint: Test Principles, discussion about the article “Seven Principles of Software Testing” [286], in IEEE Software, vol. 26, no. 4, July-August 2009, pages 62-66.

[298] (Editor, with Olly Gotel and Mathai Joseph) Software Engineering Approaches For Outsourced and Offshore Development (SEAFOOD 2009), 3rd International Conference, ETH Zurich, July 2-3, 2009, Lecture Notes in Business Information Processing 35, Springer, July 2009

[297] 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 [295], June 2009.

[296] 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 [298].

[295] (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, June 2008.

[294] (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, May 2009.

[293] 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.

[292] With Christine Choppy, Jørgen Staunstrup and Jan van Leeuwen: Research Evaluation for Computer Science, Informatics Europe report, April 2009.

[291] Eiffel chapter, in Masterminds of Programming (Conversations with the Creators of Major Programming Languages), eds. Federico Biancuzzi and Shane Warden, O' Reilly, 2009.

[290] Software Architecture: Functional vs. Object-Oriented Design, in Beautiful Architecture, eds. Diomidis Spinellis and Georgios Gousios, O'Reilly, 2009, pages 315-348.

[289] With Ilinca Ciupa, Manuel Oriol and Alexander Pretschner: Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports, in ISSRE '08, Proceedings of the 19th IEEE International Symposium on Software Reliability Engineering, Redmond, November 2008.

[288] 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 [284].)

[287] (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, 2008.

[286] Seven Principles of Software testing, in IEEE Computer, vol. 41, no. 10, pages 99-101, August 2008.

[285] (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, 2008.

[284] 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 [294]. ([288] is the journal version.)

[283] 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, 2008 ([285]).

[282] 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, 2008 ([281]), pages 316-335.

[281] (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, June 2008.

[280] With Ilinca Ciupa, Andreas Leitner and Manuel Oriol: ARTOO: Adaptive Random Testing for Object-Oriented Software, in ICSE 2008: Proceedings of 30th International Conference on Software Engineering, Leipzig, 10-18 May 2008, IEEE Computer Society Press, 2008.

[279] With Ilinca Ciupa, Alexander Pretschner, Andreas Leitner and Manuel Oriol: On the Predictability of Random Tests for Object-Oriented Software, in ICST'08: Proceedings of IEEE International Conference on Software Testing, Verification and Validation 2008, Lillehammer (Norway), April 2008, IEEE Computer Society Press, 2008 (best paper award).

[278] 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), Portland (Oregon), 12-15 March 2008, ACM SIGCSE Bulletin, vol. 40, no. 1, ACM Press, 2008, pages 251-255.

[277] With Marie-Hélène Nienaltowski and Michela Pedroni: Compiler Error Messages: What Can Help Novices?, in Proceedings of SIGCSE 2008 (39th Technical Symposium on Computer Science Education), Portland (Oregon), Texas, 12-15 March 2008, ACM SIGCSE Bulletin, vol. 40, no. 1, ACM Press, 2008, pages 168-172.

[276] 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.

[275] With Till Bay and Michela Pedroni: By students, for students: a production-quality multimedia library and its application to game-based teaching, in JOT (Journal of Object Technology), vol. 7, no. 1, pages 147-159, January 2008.

[274] Recherche Scientifique et Exception Française, in Bulletin SPECIF (newsletter of the association of French computer science researchers and educators), 2007.

[273] 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.

[272] 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.

[271] (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, October 2007.

[270] (Editor, with Jean Bézivin) Objects, Components, Models and Patterns: 45th international TOOLS conference, Zurich, Switzerland, 24-28 June 2007, Special issue of theJOT (Journal of Object Technology), Vol. 6, no. 9, October 2007.

[269] 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.

[268] 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 ([267]), ETH Zurich, February 12-13, 2007, eds. B. Meyer and Y. Gurevich, Lecture Notes in Computer Science 4454, Springer, August 2007, pages 114-130.

[267] (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, August 2007.

[266] 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.

[265] 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.

[264] 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.

[263] 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, 2007.

[262] Jean Ichbiah and his Contributions, in ACM SIGSOFT Software Engineering Notes vol. 32, no. 2, page 4. French translation (by Jean-Claude Rault) in Génie Logiciel, 2007.

[261] Dependable Software, in Dependable Systems: Software, Computing, Networks [259], eds. J Kohlas, B. Meyer, A. Schiper, Lecture Notes in Computer Science, Springer, September 2006.

[260] Defense and Illustration of Wikipedia, unpublished.

[259] (Editor, with Jürg Kohlas and André Schiper) Dependable Systems: Software, Computing, Networks, Lecture Notes in Computer Science 4028, Springer, September 2006.

[258] With Marie-Hélène Ng Cheong Vee (Marie-Hélène Nienaltowski) and Keith L. Mannock: Empirical study of novice error paths, Proceedings of workshop on educational data mining at the 8th international conference on intelligent tutoring systems (ITS 2006), 2006, pages 13-20.

[257] With Karine Arnout: Componentization: the Visitor Example, in Computer (IEEE), vol. 39, no. 7, July 2006, pages 23-30.

[256] With Ilinca Ciupa, Andreas Leitner and Manuel Oriol: Object distance and its application to adaptive random testing of object-oriented programs, in Proceedings of the 1st international workshop on Random testing, ACM, July 2007, pages 55-63.

[255] With Karine Arnout: Pattern Componentization: the Factory Example, in Innovations in Systems and Software Technology (a NASA Journal) (Springer), 2006 (Online First version 6 May 2006).

[254] With Stephanie Balzer and Patrick Eugster: Can aspects implement contracts?, in RISE 2005 (Rapid Integration of Software Engineering techniques), Second International Workshop, Heraklion, Grece, September 8-9 2005, eds. Nicolas Guelfi and Anthony Savidis, Lecture Notes in Computer Science 3943, Springer, 2006, pages 145-157.

[253] Testable, Reusable Units of Cognition, in Computer (IEEE), vol. 39, no. 4, April 2006, pages 20-24.

[252] With Michela Pedroni: The Inverted Curriculum in Practice, in Proceedings of SIGCSE 2006, Houston (Texas), 1-5 March 2006, ACM Press, 2006, pages 481-485.

[251] With Willy Zwaenepoel: European Computer Science Takes Its Fate in Its Own Hands, in Communications of the ACM, March 2006.

[250] 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, 2006.

[249] Offshore Development: The Unspoken Revolution in Software Engineering, in Computer (IEEE), January 2006, pages 124, 122-123.

[248] 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, 2005, pages 1-32.

[247] 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, 3 to 15 August 2004, eds. Manfred Broy, J Gruenbauer, David Harel and C.A.R. Hoare, NATO Science Series II: Mathematics, Physics and Chemistry, vol. 195, Springer, June 2005.

[246] (Editor) ECMA standard: Eiffel Analysis, Design and Programming Language, approved as International Standard 367 by ECMA International, 21 June 2005; revised edition, December 2006, approved by the International Standards Organization as the ISO standard ISO/IEC 25436:2006.

[245] Bertrand Meyer and his book (article by Vladimir Billig, in Russian), in IT News, vol. 36, no. 11, Moscow, 14 June 2005, page 24. (see page 24)

[244] 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, 2004, pages 236-271.

[243] V pamiat' Andreia Petrovicha Ershov (in memory of Andrey Petrovich Ershov, in Russian), in Andrey Petrovich Ershov - Ucheny i Chelovek (Ershov, the Scientist and the Man), ed. A.G. Marchuk, Novosibirksk, Press of the Siberian Division of the Russian Academy of Sciences, 2006, pages 316-317.

[242] with Karine Arnout: Uncovering Hidden Contracts: The .NET example , in Computer (IEEE), vol. 36, no. 11, November 2003, pages 48-55. Short version of [240].

[241] 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, eds. Manfred Broy and Alexandr Zamulin, Lecture Notes in Computer Science 2890, Springer, 2003, pages 66-78.

[240] 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, 2003, pages 285-318. Extended version of [242].

[239] 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.

[238] 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: [241].)

[237] 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, 2003, pages 359-387. (with formating and color)

[236] The Grand Challenge of Trusted Components, in ICSE '03: Proceedings of 25th International Conference on Software Engineering, Portland, Oregon, May 2003, IEEE Computer Society Press, 2003, pages 660-667.

[235] Proving Pointer Program Properties, Part 2: The Overall Object Structure, in JOT (Journal of Object Technology), vol. 2, no. 2, May-June 2003, pp. 77-100.

[234] 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.

[233] Proving Pointer Program Properties, Part 1: Context and overview, in JOT (Journal of Object Technology), vol. 2, no. 2, March-April 2003, pp. 87-108.

[232] On an Open Issue of Programming Language Phonetics, in JOT (Journal of Object Technology), vol. 2, no. 2, March-April 2003, pp. 109-110.

[231] 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, 2003, pages 108-125.

[230] ETH-Professor Bertrand Meyer in Gespräch, interview by Stefan Betschon in Neue Zürcher Zeitung, 3 January 2003.

[229] In memory of Kristen Nygaard and Ole-Johan Dahl, in JOT (Journal of Object Technology), vol. 1, no. 4, pages 7, 14-15, September 2002, also with texts by Ole Lehrmann Madsen and Kristen Nygaard.

[228] The Start of an Eiffel Standard in JOT (Journal of Object Technology), vol. 1, no. 2, July-August 2002, pp. 95-99

[227] With Raphael Simon and Emmanuel Stapf: Full Eiffel on .NET, MSDN (online article), July 2002.

[226] 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: (2 and 3 forthcoming).
PDF:

[225] Assessing a C# Text, in Computer (IEEE), vol. 35, no. 4, April 2002, pages 86-88. or

[224] “Programmierer haben nicht aus Fehler gelernt”, interview by Peter Monadjemi in ComputerWoche, February 2002.

[223] Trusted Components & Classes, tutorial notes, in TOOLS Pacific 2002.

[222] Author interview for InformIT, November 30, 2001.

[221] Overloading vs Object Technology, in in JOOP (Journal of Object-Oriented Programming), vol. 14, no. 4, October-November 2001, pages 3-7.

[220] .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);

[219] Interview in 01 Informatique July 2001.

[218] EiffelStudio: A Guided Tour, Technical Report TR-EI-68/GT, Interactive Software Engineering Inc., July 2001. Replaces [132].

[217] 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.

[216] An Eiffel Tutorial, Technical Report TR-EI-66/TU, Interactive Software Engineering Inc., July 2001. (Adapted, revised and extended from [172].)

[215] 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). as published (PDF) ; ;

[214] Interview in Bits and Chips (Dutch programming magazine), March 2001.

[213] Conversions in an Object-Oriented Language with Inheritance, in JOOP (Journal of Object-Oriented Programming), vol. 13, no. 9, January 2001, pages 28-31.

[212] Bertrand Meyer's .NET Training Course, video course on .NET, Prentice Hall, 2001. .NET course's

[211] Building Trusted Components, tutorial notes, in TOOLS 39, Santa Barbara, USA, 2001.

[210] The Significance of .NET, in Software Development, November 2000. Also: (SD site)

[209] 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 [227]. (obsolete). Also: and

[208] With Christine Mingins, Raphael Simon and Emmanuel Stapf: Eiffel for E-Commerce under .NET, JOOP (Journal of Object-Oriented Programming), July 2000.

[207] Contracts for Components, in Software Development, vol. 8, no. 7, July 2000, pages 51-53

[206] Towards More Expressive Contracts, in JOOP (Journal of Object-Oriented Programming), July 2000.

[205] Agents, iteration and introspection, draft book chapter from forthcoming Standard Eiffel [491], May 2000.

[204] What to Compose, in Software Development, March 2000, vol. 8, no. 3, pages 59, 71, 74-75.

[203] The Ethics of Free Software, in Software Development, March 2000, Vol. 8, no. 3, pages 32-36. Reprinted in The Unified Process: Transition and Production Phases, eds. Scott W. Ambler and Larry L. Constantine, CMP Books, 2002, pages 194-199.

[202] Programming with agents: combining O-O and functional techniques, tutorial notes, in TOOLS Europe 2000.

[201] Agent-Based Programming in Eiffel, tutorial notes, in TOOLS 34, Santa Barbara, USA, 2000.

[200] .NET in One Day, course notes, Interactive Software Engineering and other training organizations, 2000-2001.

[199] A Really Good Idea (final installment of Components and Object Technology column), in Computer (IEEE), vol. 32, no. 12, December 1999, pages 144-147.

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

[197] The Significance of Components, in Software Development, Vol. 7, no. 11, November 1999, pages 56-57. — see also from SD site

[196] 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.

[195] Course notes on contracts and components, INRIA-EDF-CEA Summer School, Le-Bréau-sans-Nappe, France, July 1999.

[194] 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.

[193] (Editor, with Christine Mingins) Special issue of Computer (IEEE) on component-based development, July 1999.

[192] Extension season, in JOOP (Journal of Object-Oriented Programming), June 1999.

[191] Rules for Component Builders, in Software Development, Vol. 7, no. 5, May 1999.

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

[189] Design by Contract, Components and Debugging, in JOOP (Journal of Object-Oriented Programming), vol. 11, no. 8, January 1999, pages 75-79.

[188] Seamless Development with the Eiffel Model, tutorial notes, in TOOLS 29, 1999.

[187] With Clemens Szyperski and Grady Booch, co-editor of Beyond Objects column of Software Development, 1999-2002.

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

[185] Managing by Contract, tutorial notes, in TOOLS 30, Santa Barbara, USA, 1999.

[184] 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. (the text as intended)

[183] EiffelBase Goes Public, in JOOP (Journal of Object-Oriented Programming), November 1998.

[182] Prelude to a Theory of Void, in JOOP (Journal of Object-Oriented Programming), vol. 11, no. 7, November 1998, pages 36-48.

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

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

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

[178] Approaches to Portability, in JOOP (Journal of Object-Oriented Programming), July-August 1998.

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

[176] 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.

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

[174] The Component Combinator for Enterprise Applications, in JOOP (Journal of Object-Oriented Programming), vol. 10, no. 8, January 1998, pages 5-9.

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

[172] An Overview of Eiffel, in The Handbook of Programming Languages, Vol. 1, Object-Oriented Languages, ed. Peter H. Salus, Macmillan Technical Publishing, 1998. (See [216] for updated version.) Revised version (detailed Eiffel tutorial): or

[171] Design by Contract: the Eiffel method, tutorial notes, in TOOLS 26, Santa Barbara, USA, 1998.

[170] 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. — also available in

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

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

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

[166] 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.

[165] Object-Oriented Software Construction, second edition, Prentice Hall, 1296 pages, 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).

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

[163] UML: The Positive Spin, in Cutter IT Journal (formerly American Programmer), vol. X, no. 3, 1997.

[162] Teaching object technology, in Computer (IEEE), vol. 29, no. 12, December 1996, page 117.

[161] Eiffel, towering example of quick, clean software, interview in The Australian, 3 December 1996.

[160] Local OT program a towering achievement, interview in The Australian, 10 December 1996.

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

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

[157] Reality: A cousin twice removed, in Computer (IEEE), vol. 29, no. 7, July 1996, pages 96-97.

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

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

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

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

[152] The Conceptual Perspective, in Computer (IEEE), vol. 29, no. 1, January 1996, pages 86-88.

[151] Editor of the Object and Component Technology (originally: Object Technology) Department of Computer (IEEE), 1996-1999.

[150] Static Typing, in Object Technologies for Advanced Software, eds. K. Futatsugi and S. Matsuoka, Lecture Notes in Computer Science 1049, Springer (Berlin), 1996, pages 57-75.

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

[148] Static Typing, in OOPSLA 95 (Object-Oriented Programming, Systems, Languages and Applications), Atlanta, 1995. (Appears in the supplementary OOPSLA proceedings, ACM SIGPLAN OOPS Messenger, vol. 6, no. 4, October 1995, pages 20-29. See [150].)

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

[146] 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.

[145] Editor of the Eiffel in Practice series, Addison-Wesley, 1995-2000.

[144] 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).

[143] (Editor) Eiffel Library Kernel Standard (ELKS), Nonprofit International Consortium for Eiffel, 1995.

[142] The Choice for Introductory Software Education, Guest editorial in Journal of Object-Oriented Programming, vol. 7, no. 3, June 1994, page 8.

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

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

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

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

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

[136] Systematic Concurrent Object-Oriented Programming, in Communications of the ACM, 36, 9, September 1993, pp. 56-80 (part of special issue [135].

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

[134] 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.

[133] Towards an Object-Oriented Curriculum, in Journal of Object-Oriented Programming, Volume 6, Number 2, May 1993, pages 76-81. (Revised as [130].)

[132] First Steps with EiffelBench, Technical Report TR-EI-38/IE, Interactive Software Engineering Inc., 1993-1997 (successive editions). Replaced by [218].

[131] Eiffel vs. C++, Technical Report TR-EI-59/CE, ISE Inc., 1993.

[130] 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 [133].) or

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

[128] Numerous Web pages at https: //eiffel.com (technical reports, white papers, technology papers), 1993-2000.

[127] (Editor, with Jean-Marc Nerson) Object-Oriented Applications, Prentice Hall, 1993.

[126] 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.

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

[124] 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 [68].) Republished in Object-Oriented Systems and Applications, ed. David Rine, IEEE Computer Society Press, 1994.

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

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

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

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

[119] Towering Above the Landscape, Interview in ProgramNow, London, March 1992.

[118] 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.

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

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

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

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

[113] Object-Orientation Outlook, 1991: Optimism, pessimism, challenges, Guest editorial in Journal of Object-Oriented Programming, vol. 4, no. 5, September 1991, page 8.

[112] Eiffel: The Language, Prentice Hall, 1991. Second revised printing, 1992. Translations: French (InterEditions). Third edition in preparation (see [491]).

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

[110] (Editor, with Dino Mandrioli) Advances in Object-Oriented Software Engineering, Prentice Hall, 1991.

[109] The New Culture of Software Development in Advances in Object-Oriented Software Engineering, eds. D. Mandrioli and B. Meyer [110], Prentice Hall, 1991, pp. 51-64. (Revised version of TOOLS 1 article [98]; see also the JOOP article [102].)

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

[107] 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.

[106] 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.

[105] Pure Object-Oriented Programming with Eiffel, Interview in Programmer's Update, pages 59-69, February 1990.

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

[103] Introduction to the Theory of Programming Languages, Prentice Hall, 1990. Translations: Japanese (ASCII Corp.), French (InterEditions).

[102] 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 [98]; see also the book chapter version [109].)

[101] Editor of the Component and Object Technology Series (originally: Object-Oriented Series), Prentice Hall, 1990-2003. About 30 titles published.

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

[99] 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.

[98] 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 [102] and as a book chapter [109].)

[97] 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.

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

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

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

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

[92] From Structured Programming to Object-Oriented Design: The Road to Eiffel, in Structured Programming, Volume 10, Number 1, January 1989, pages 19-39. (reconstructed from pre-publication text).

[91] (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 Press (vol. 27 on), 1989 to 2003. (Volumes since 2007, published by JOT then Springer Lecture Notes in Computer Science, are listed separately.)

[90] Conversation with Editorial Board Member B. Meyer, in Journal of Object-Oriented Programming, 1989.

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

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

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

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

[85] Disciplined Exceptions, Technical Report TR-EI-13/DE, Interactive Software Engineering Inc., May 1988.

[84] Invitation to Eiffel, Technical Report TR-EI-67/IV, Interactive Software Engineering Inc., 1988-2002. Invitation to Eiffel: or

[83] Object-Oriented Software Construction, Prentice Hall, 592 pages, 1988. Translations: German (Carl Hanser Verlag), French (InterEditions), Italian (Jackson publishing), Japanese (ASCII Corp.), Dutch (Prentice Hall), Chinese, Rumanian. (See [165] for second edition, now available online.)

[82] (Editor, with Larry Druffel) ICSE '88: Proceedings of 10th International Conference on Software Engineering (Singapore), IEEE Computer Society Press, 1988.

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

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

[79] 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, Lecture Notes in Computer Science, Springer, 1987.

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

[77] 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. (In the list of most influential Software papers in the 25th-anniversary list of IEEE Software.

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

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

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

[73] Genericity versus inheritance, in The Journal of Pascal, Ada and Modula-2, 1987. (Revised version of OOPSLA '86 paper [70].)

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

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

[70] 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: [73].)

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

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

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

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

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

[64] Article “Génie Logiciel” Encyclopédie Techniques de l'Ingénieur (Engineering Encyclopedia), 1986.

[63] Numerous Usenet postings on comp.lang.eiffel, comp.object and comp.software-engineering, 1986-2000.

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

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

[60] 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.

[59] The Software Knowledge Base, in ICSE 85: Proceedings of 8th International Conference on Software Engineering, London, August 1985, IEEE Computer Society Press, 1985, pages 158-165.

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

[57] On Formalism in Specifications, in IEEE Software, vol. 3, no. 1, January 1985, pages 6-25 (cover feature). (Translated and adapted from [17].) 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.

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

[55] 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.

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

[53] 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 [51].)

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

[51] 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. ([53] is the journal version).

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

[49] 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. See [46] for English translation.

[48] 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 [56].)

[47] 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).

[46] 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.

[45] 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.

[44] 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.

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

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

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

[40] 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 [38].) Republished in Readings in Artificial Intelligence, Tioga Press, Palo Alto, 1983.

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

[38] Vers un Environnement Conversationnel à deux dimensions, in Journées BIGRE, Grenoble, 27-29 January 1982. (For revised English version see [40].)

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

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

[35] 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.

[34] 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.

[33] 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.

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

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

[30] 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).

[29] 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.

[28] 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.

[27] 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.

[26] Le Génie Logiciel (Software Engineering), course notes, EDF, 1981-83.

[25] Article “Langages de Programmation”, in Encyclopédie “Techniques de l'Ingénieur ” (Engineering Encyclopedia), Paris, December 1980.

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

[23] 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.

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

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

[20] 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.

[19] 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.

[18] 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.)

[17] 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 [57].)

[16] 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.

[15] 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.

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

[13] 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.

[12] 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.

[11] 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.

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

[9] 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.

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

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

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

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

[4] 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.

[3] 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.

[2] 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.

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

Meyer home  -   Publications  -   Events  -  Software engineering home  -   CS home