publications:
- title: "Where Is Software Headed? A Virtual Roundtable"
  author:
  - name: "Ted G. Lewis"
    link: "https://researchr.org/alias/ted-g.-lewis"
  - name: "Dave Power"
    link: "https://researchr.org/alias/dave-power"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jack Grimes"
    link: "https://researchr.org/alias/jack-grimes"
  - name: "Mike Potel"
    link: "https://researchr.org/alias/mike-potel"
  - name: "Ronald J. Vetter"
    link: "https://researchr.org/alias/ronald-j.-vetter"
  - name: "Phillip A. Laplante"
    link: "https://researchr.org/alias/phillip-a.-laplante"
  - name: "Wolfgang Pree"
    link: "https://researchr.org/alias/wolfgang-pree"
  - name: "Gustav Pomberger"
    link: "https://researchr.org/alias/gustav-pomberger"
  - name: "Mark D. Hill"
    link: "https://researchr.org/alias/mark-d.-hill"
  - name: "James R. Larus"
    link: "https://researchr.org/alias/james-r.-larus"
  - name: "David A. Wood"
    link: "https://researchr.org/alias/david-a.-wood"
  - name: "Hesham El-Rewini"
    link: "https://researchr.org/alias/hesham-el-rewini"
  - name: "Bruce W. Weide"
    link: "https://researchr.org/alias/bruce-w.-weide"
  year: "1995"
  researchr: "https://researchr.org/publication/LewisPMGPVLPPHLWEW95"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "28"
  number: "8"
  pages: "20-32"
  kind: "article"
  key: "LewisPMGPVLPPHLWEW95"
- title: "Object-Oriented Software Construction, 1st editon"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1988"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer88"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-629031-0"
  kind: "book"
  key: "Meyer88"
- title: "The .NET Training Course"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2001"
  researchr: "https://researchr.org/publication/Meyer01%3A3"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-033115-5"
  kind: "book"
  key: "Meyer01:3"
- title: "Design by Contract: The Lessons of Ariane"
  author:
  - name: "Jean-Marc Jézéquel"
    link: "https://researchr.org/alias/jean-marc-j%C3%A9z%C3%A9quel"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1997"
  tags:
  - "contracts"
  - "design"
  researchr: "https://researchr.org/publication/JezequelM97"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "30"
  number: "1"
  pages: "129-130"
  kind: "article"
  key: "JezequelM97"
- title: "Component-Based Development? Refining the Blueprint"
  author:
  - name: "Roger Smith"
    link: "https://researchr.org/alias/roger-smith"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Clemens A. Szyperski"
    link: "https://researchr.org/alias/clemens-a.-szyperski"
  - name: "Gilda Pour"
    link: "https://researchr.org/alias/gilda-pour"
  year: "2000"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10079"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10079"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/SmithMSP00"
  cites: 0
  citedby: 0
  pages: "563"
  booktitle: "TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA"
  editor:
  - name: "Qizoyan Li"
    link: "https://researchr.org/alias/qizoyan-li"
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0774-3"
  kind: "inproceedings"
  key: "SmithMSP00"
- title: "Object-Oriented Software Construction, 2nd Edition"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1997"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer97%3A2"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-629155-4"
  kind: "book"
  key: "Meyer97:2"
- title: "The Unity of Software and the Power of Roundtrip Engineering"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10045"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10045"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Meyer99%3A3"
  cites: 0
  citedby: 0
  pages: "3"
  booktitle: "TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA"
  editor:
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Gilda Pour"
    link: "https://researchr.org/alias/gilda-pour"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0278-4"
  kind: "inproceedings"
  key: "Meyer99:3"
- title: "Attached Types and Their Application to Three Open Problems of Object-Oriented Programming"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11531142_1"
  links:
    doi: "http://dx.doi.org/10.1007/11531142_1"
  tags:
  - "object-oriented programming"
  - "source-to-source"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  - "open-source"
  researchr: "https://researchr.org/publication/Meyer05%3A3"
  cites: 0
  citedby: 0
  pages: "1-32"
  booktitle: "ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings"
  editor:
  - name: "Andrew P. Black"
    link: "https://researchr.org/alias/andrew-p.-black"
  volume: "3586"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27992-X"
  kind: "inproceedings"
  key: "Meyer05:3"
- title: "Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori"
  author:
  - name: "Karine Arnout"
    link: "https://researchr.org/alias/karine-arnout"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2003"
  doi: "http://objet.revuesonline.com/article.jsp?articleId=3604"
  links:
    doi: "http://objet.revuesonline.com/article.jsp?articleId=3604"
  researchr: "https://researchr.org/publication/ArnoutM03%3A0"
  cites: 0
  citedby: 0
  journal: "L OBJET"
  volume: "9"
  number: "1-2"
  pages: "17-30"
  kind: "article"
  key: "ArnoutM03:0"
- title: "Can We Make Componentware Succeed?"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1998"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.710994"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.710994"
  researchr: "https://researchr.org/publication/Meyer98%3A2"
  cites: 0
  citedby: 0
  pages: "3"
  booktitle: "TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8482-8"
  kind: "inproceedings"
  key: "Meyer98:2"
- title: "Celebrating 40 years of language evolution: simula 67 to the present and beyond"
  author:
  - name: "Steven Fraser"
    link: "https://researchr.org/alias/steven-fraser"
  - name: "James Gosling"
    link: "https://researchr.org/alias/james-gosling"
  - name: "Anders Hejlsberg"
    link: "https://researchr.org/alias/anders-hejlsberg"
  - name: "Ole Lehrmann Madsen"
    link: "https://researchr.org/alias/ole-lehrmann-madsen"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297971"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297971"
  researchr: "https://researchr.org/publication/FraserGHMMS07"
  cites: 0
  citedby: 0
  pages: "1021-1023"
  booktitle: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada"
  editor:
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Cristina Videira  Lopes"
    link: "http://www.ics.uci.edu/~lopes/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-59593-865-7"
  kind: "inproceedings"
  key: "FraserGHMMS07"
- title: "A Framework for Proving Contract-Equipped Classes"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890108.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890108.htm"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/Meyer03%3A1"
  cites: 0
  citedby: 0
  pages: "108-125"
  booktitle: "Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings"
  editor:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Angelo Gargantini"
    link: "https://researchr.org/alias/angelo-gargantini"
  - name: "Elvinia Riccobene"
    link: "https://researchr.org/alias/elvinia-riccobene"
  volume: "2589"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00624-9"
  kind: "inproceedings"
  key: "Meyer03:1"
- title: "A Basis for the Constructive Approach to Programming"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1980"
  tags:
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Meyer80%3A0"
  cites: 0
  citedby: 0
  pages: "293-298"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "Meyer80:0"
- title: "Componentization: The Visitor Example"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Karine Arnout"
    link: "https://researchr.org/alias/karine-arnout"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.227"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.227"
  tags:
  - "visitor"
  researchr: "https://researchr.org/publication/MeyerA06"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "39"
  number: "7"
  pages: "23-30"
  kind: "article"
  key: "MeyerA06"
- title: "Objektorientierte Softwareentwicklung"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1990"
  researchr: "https://researchr.org/publication/Meyer90%3A1"
  cites: 0
  citedby: 0
  publisher: "Carl Hanser Verlag"
  isbn: "3-446-15773-5"
  kind: "book"
  key: "Meyer90:1"
- title: "Efficient unit test case minimization"
  author:
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1321631.1321698"
  links:
    doi: "http://doi.acm.org/10.1145/1321631.1321698"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/LeitnerOZCM07"
  cites: 0
  citedby: 0
  pages: "417-420"
  booktitle: "22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA"
  editor:
  - name: "R. E. Kurt Stirewalt"
    link: "https://researchr.org/alias/r.-e.-kurt-stirewalt"
  - name: "Alexander  Egyed"
    link: "http://www.alexander-egyed.com/"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  publisher: "ACM"
  isbn: "978-1-59593-882-4 "
  kind: "inproceedings"
  key: "LeitnerOZCM07"
- title: "Static typing"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1995"
  researchr: "https://researchr.org/publication/Meyer95%3A0"
  cites: 0
  citedby: 0
  journal: "OOPS Messenger"
  volume: "6"
  number: "4"
  pages: "20-29"
  kind: "article"
  key: "Meyer95:0"
- title: "Object distance and its application to adaptive random testing of object-oriented programs"
  author:
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1145735.1145744"
  links:
    doi: "http://doi.acm.org/10.1145/1145735.1145744"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "testing"
  - "random testing"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CiupaLOM06"
  cites: 0
  citedby: 0
  pages: "55-63"
  booktitle: "Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, July 20, 2006"
  editor:
  - name: "Johannes Mayer"
    link: "https://researchr.org/alias/johannes-mayer"
  - name: "Robert G. Merkel"
    link: "https://researchr.org/alias/robert-g.-merkel"
  publisher: "ACM"
  isbn: "1-59593-457-X"
  kind: "inproceedings"
  key: "CiupaLOM06"
- title: "A framework for describing and comparing courses and curricula"
  author:
  - name: "Michela Pedroni"
    link: "https://researchr.org/alias/michela-pedroni"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1268784.1268824"
  links:
    doi: "http://doi.acm.org/10.1145/1268784.1268824"
  researchr: "https://researchr.org/publication/PedroniOM07"
  cites: 0
  citedby: 0
  pages: "131-135"
  booktitle: "Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007"
  editor:
  - name: "Janet Hughes"
    link: "https://researchr.org/alias/janet-hughes"
  - name: "D. Ramanee Peiris"
    link: "https://researchr.org/alias/d.-ramanee-peiris"
  - name: "Paul T. Tymann"
    link: "https://researchr.org/alias/paul-t.-tymann"
  publisher: "ACM"
  isbn: "978-1-59593-610-3"
  kind: "inproceedings"
  key: "PedroniOM07"
- title: "Reconciling Manual and Automated Testing: The AutoTest Experience"
  author:
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Mark Howard"
    link: "https://researchr.org/alias/mark-howard"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.462"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.462"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/LeitnerCMH07"
  cites: 0
  citedby: 0
  pages: "261"
  booktitle: "40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007,  Waikoloa, Big Island, HI, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "LeitnerCMH07"
- title: "The Future of Component-Based Development"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2000"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10027"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10027"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Meyer00%3A2"
  cites: 0
  citedby: 0
  pages: "5"
  booktitle: "TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0731-X"
  kind: "inproceedings"
  key: "Meyer00:2"
- title: "On the Role of Methodology: Advice to the Advisors"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1994"
  researchr: "https://researchr.org/publication/Meyer94%3A1"
  cites: 0
  citedby: 0
  pages: "1-5"
  booktitle: "COODBSE"
  kind: "inproceedings"
  key: "Meyer94:1"
- title: "Reusable Software: The Base Object-Oriented Component Libraries"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1994"
  tags:
  - "reusable components"
  - "rule-based"
  - "software components"
  - "software component"
  - "reuse"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer94a"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-245499-8"
  kind: "book"
  key: "Meyer94a"
- title: "Ensuring Semantic Integrity of Reusable Objects (Panel)"
  author:
  - name: "Webb Stacy"
    link: "https://researchr.org/alias/webb-stacy"
  - name: "Richard Helm"
    link: "https://researchr.org/alias/richard-helm"
  - name: "Gail E. Kaiser"
    link: "https://researchr.org/alias/gail-e.-kaiser"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1992"
  tags:
  - "meta-model"
  - "reuse"
  - "e-science"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/StacyHKM92"
  cites: 0
  citedby: 0
  pages: "298-302"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "StacyHKM92"
- title: "Reusability: The Case for Object-Oriented Design"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1987"
  tags:
  - "meta-model"
  - "reuse"
  - "Meta-Environment"
  - "design"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer87%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "4"
  number: "2"
  pages: "50-64"
  kind: "article"
  key: "Meyer87:0"
- title: "Contract driven development = test driven development - writing test cases"
  author:
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Arno Fiva"
    link: "https://researchr.org/alias/arno-fiva"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1287624.1287685"
  links:
    doi: "http://doi.acm.org/10.1145/1287624.1287685"
  tags:
  - "contracts"
  - "meta-model"
  - "testing"
  - "model-driven development"
  - "writing"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/LeitnerCOMF07"
  cites: 0
  citedby: 0
  pages: "425-434"
  booktitle: "Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007"
  editor:
  - name: "Ivica Crnkovic"
    link: "https://researchr.org/alias/ivica-crnkovic"
  - name: "Antonia Bertolino"
    link: "https://researchr.org/alias/antonia-bertolino"
  publisher: "ACM"
  isbn: "978-1-59593-811-4"
  kind: "inproceedings"
  key: "LeitnerCOMF07"
- title: "The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2635&spage=236"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2635&spage=236"
  tags:
  - "reuse"
  - "abstraction"
  - "design"
  researchr: "https://researchr.org/publication/Meyer04%3A6"
  cites: 0
  citedby: 0
  pages: "236-271"
  booktitle: "From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl"
  editor:
  - name: "Olaf Owe"
    link: "https://researchr.org/alias/olaf-owe"
  - name: "Stein Krogdahl"
    link: "https://researchr.org/alias/stein-krogdahl"
  - name: "Tom Lyche"
    link: "https://researchr.org/alias/tom-lyche"
  volume: "2635"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21366-X"
  kind: "inproceedings"
  key: "Meyer04:6"
- title: "Proof-Transforming Compilation of Eiffel Programs"
  author:
  - name: "Martin Nordio"
    link: "https://researchr.org/alias/martin-nordio"
  - name: "Peter Müller"
    link: "https://researchr.org/alias/peter-m%C3%BCller"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69824-1_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69824-1_18"
  tags:
  - "Eiffel"
  researchr: "https://researchr.org/publication/NordioMM08"
  cites: 0
  citedby: 0
  pages: "316-335"
  booktitle: "Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings"
  editor:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  volume: "11"
  series: "Lecture Notes in Business Information Processing"
  publisher: "Springer"
  isbn: "978-3-540-69823-4"
  kind: "inproceedings"
  key: "NordioMM08"
- title: "The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Marco Piccioni"
    link: "https://researchr.org/alias/marco-piccioni"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/CSEET.2008.41"
  links:
    doi: "http://dx.doi.org/10.1109/CSEET.2008.41"
  tags:
  - "deployment"
  - "software engineering"
  researchr: "https://researchr.org/publication/MeyerP08"
  cites: 0
  citedby: 0
  pages: "3-16"
  booktitle: "Proceedings 21st Conference on Software Engineering Education and Training, CSEET 2008, 14-17 April 2008, Charleston, South Carolina, USA"
  editor:
  - name: "Hossein Saiedian"
    link: "https://researchr.org/alias/hossein-saiedian"
  - name: "Laurie A. Williams"
    link: "https://researchr.org/alias/laurie-a.-williams"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3144-1"
  kind: "inproceedings"
  key: "MeyerP08"
- title: "OOP in Languages Providing Strong, Static Typing (Panel)"
  author:
  - name: "David Bulman"
    link: "https://researchr.org/alias/david-bulman"
  - name: "S. Tucker Taft"
    link: "https://researchr.org/alias/s.-tucker-taft"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Greg Nelson"
    link: "https://researchr.org/alias/greg-nelson"
  - name: "Mike Kilian"
    link: "https://researchr.org/alias/mike-kilian"
  year: "1992"
  researchr: "https://researchr.org/publication/BulmanTMNK92"
  cites: 0
  citedby: 0
  pages: "87-91"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "BulmanTMNK92"
- title: "Editorial Special Issue"
  author:
  - name: "Jean Bézivin"
    link: "https://researchr.org/alias/jean-b%C3%A9zivin"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2007"
  doi: "http://www.jot.fm/issues/issue_2007_10/editorial.pdf"
  links:
    doi: "http://www.jot.fm/issues/issue_2007_10/editorial.pdf"
  researchr: "https://researchr.org/publication/BezivinM07"
  cites: 0
  citedby: 0
  journal: "Journal of Object Technology"
  volume: "6"
  number: "9"
  pages: "11"
  kind: "article"
  key: "BezivinM07"
- title: "An Object-Oriented Environment: Principles and Applications"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1994"
  tags:
  - "meta-model"
  - "principles"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer94%3A3"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-245507-2"
  kind: "book"
  key: "Meyer94:3"
- title: "On the Predictability of Random Tests for Object-Oriented Software"
  author:
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Alexander Pretschner"
    link: "https://researchr.org/alias/alexander-pretschner"
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.20"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2008.20"
  tags:
  - "meta-model"
  - "testing"
  - "random testing"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CiupaPLOM08"
  cites: 0
  citedby: 0
  pages: "72-81"
  booktitle: "First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CiupaPLOM08"
- title: "Doing More with Contracts: Towards Automatic Tests and Proofs"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11751113_1"
  links:
    doi: "http://dx.doi.org/10.1007/11751113_1"
  tags:
  - "contracts"
  - "testing"
  researchr: "https://researchr.org/publication/Meyer05%3A4"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers"
  editor:
  - name: "Nicolas Guelfi"
    link: "https://researchr.org/alias/nicolas-guelfi"
  - name: "Anthony Savidis"
    link: "https://researchr.org/alias/anthony-savidis"
  volume: "3943"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34063-7"
  kind: "inproceedings"
  key: "Meyer05:4"
- title: "Do we know how to find the classes?"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1991"
  researchr: "https://researchr.org/publication/Meyer91%3A1"
  cites: 0
  citedby: 0
  pages: "349-350"
  booktitle: "TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  editor:
  - name: "Timothy D. Korson"
    link: "https://researchr.org/alias/timothy-d.-korson"
  - name: "Vijay Vashnavi"
    link: "https://researchr.org/alias/vijay-vashnavi"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-923178-1"
  kind: "inproceedings"
  key: "Meyer91:1"
- title: "EIFFEL: Object-Oriented Design for Software Engineering"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jean-Marc Nerson"
    link: "https://researchr.org/alias/jean-marc-nerson"
  - name: "Masanobu Matsuo"
    link: "https://researchr.org/alias/masanobu-matsuo"
  year: "1987"
  tags:
  - "meta-model"
  - "software engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  - "Eiffel"
  - "design"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MeyerNM87"
  cites: 0
  citedby: 0
  pages: "221-229"
  booktitle: "ESEC  87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings"
  editor:
  - name: "Howard K. Nichols"
    link: "https://researchr.org/alias/howard-k.-nichols"
  - name: "Dan Simpson"
    link: "https://researchr.org/alias/dan-simpson"
  volume: "289"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-18712-X"
  kind: "inproceedings"
  key: "MeyerNM87"
- title: "Is Object Technology Ready for the Embedded World?"
  author:
  - name: "Christopher Creel"
    link: "https://researchr.org/alias/christopher-creel"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1998"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CreelM98"
  cites: 0
  citedby: 0
  journal: "JOOP"
  volume: "11"
  number: "1"
  pages: "69"
  kind: "article"
  key: "CreelM98"
- title: "Keynotes"
  author:
  - name: "James Coplien"
    link: "https://researchr.org/alias/james-coplien"
  - name: "Joseph Gil"
    link: "https://researchr.org/alias/joseph-gil"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1997"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018"
  researchr: "https://researchr.org/publication/CoplienGHM97"
  cites: 0
  citedby: 0
  pages: "2"
  booktitle: "TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8383-X"
  kind: "inproceedings"
  key: "CoplienGHM97"
- title: "Automatic extraction of notions from course material"
  author:
  - name: "Michela Pedroni"
    link: "https://researchr.org/alias/michela-pedroni"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Lukas Angerer"
    link: "https://researchr.org/alias/lukas-angerer"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1352135.1352225"
  links:
    doi: "http://doi.acm.org/10.1145/1352135.1352225"
  researchr: "https://researchr.org/publication/PedroniOMA08"
  cites: 0
  citedby: 0
  pages: "251-255"
  booktitle: "Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008"
  editor:
  - name: "J. D. Dougherty"
    link: "https://researchr.org/alias/j.-d.-dougherty"
  - name: "Susan H. Rodger"
    link: "https://researchr.org/alias/susan-h.-rodger"
  - name: "Sue Fitzgerald"
    link: "https://researchr.org/alias/sue-fitzgerald"
  - name: "Mark Guzdial"
    link: "https://researchr.org/alias/mark-guzdial"
  publisher: "ACM"
  isbn: "978-1-59593-799-5"
  kind: "inproceedings"
  key: "PedroniOMA08"
- title: "Panel: Issues in Moving to a Component-Based Industry"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1998"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711056"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711056"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Meyer98b"
  cites: 0
  citedby: 0
  pages: "493"
  booktitle: "TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8482-8"
  kind: "inproceedings"
  key: "Meyer98b"
- title: "Introduction to the Theory of Programming Languages"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1990"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Meyer90%3A0"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-498510-9"
  kind: "book"
  key: "Meyer90:0"
- title: "The Context of Object Computation (extended abstract)"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.36"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.36"
  tags:
  - "meta-model"
  - "context-aware"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer06%3A3"
  cites: 0
  citedby: 0
  pages: "13-17"
  booktitle: "Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2678-0"
  kind: "inproceedings"
  key: "Meyer06:3"
- title: "Design by Contract: The Eiffel Method"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1998"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711043"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711043"
  tags:
  - "contracts"
  - "Eiffel"
  - "design"
  researchr: "https://researchr.org/publication/Meyer98a"
  cites: 0
  citedby: 0
  pages: "446"
  booktitle: "TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 3-7 August 1998, Santa Barbara, CA, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8482-8"
  kind: "inproceedings"
  key: "Meyer98a"
- title: "Viewpoint - Research evaluation for computer science"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Christine Choppy"
    link: "https://researchr.org/alias/christine-choppy"
  - name: "Jørgen Staunstrup"
    link: "https://researchr.org/alias/j%C3%B8rgen-staunstrup"
  - name: "Jan van Leeuwen"
    link: "https://researchr.org/alias/jan-van-leeuwen"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1498765.1498780"
  links:
    doi: "http://doi.acm.org/10.1145/1498765.1498780"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/MeyerCSL09"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "52"
  number: "4"
  pages: "31-34"
  kind: "article"
  key: "MeyerCSL09"
- title: "Objects in their Eyes (Panel)"
  author:
  - name: "Esther Dyson"
    link: "https://researchr.org/alias/esther-dyson"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Daniel Weinreb"
    link: "https://researchr.org/alias/daniel-weinreb"
  - name: "William N. Joy"
    link: "https://researchr.org/alias/william-n.-joy"
  year: "1989"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/DysonMWJ89"
  cites: 0
  citedby: 0
  pages: "478"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "DysonMWJ89"
- title: "A Three-Level Approach to the Description of Data Structures, and Notational Framework"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1980"
  doi: "http://doi.acm.org/10.1145/800227.806910"
  links:
    doi: "http://doi.acm.org/10.1145/800227.806910"
  tags:
  - "data-flow"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Meyer80%3A1"
  cites: 0
  citedby: 0
  pages: "164-166"
  booktitle: "Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980"
  editor:
  - name: "Michael L. Brodie"
    link: "https://researchr.org/alias/michael-l.-brodie"
  - name: "Stephen N. Zilles"
    link: "https://researchr.org/alias/stephen-n.-zilles"
  volume: "11"
  number: "2"
  publisher: "ACM Press"
  isbn: "0-89791-031-1"
  kind: "inproceedings"
  key: "Meyer80:1"
- title: "Object Success"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1995"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer95%3A1"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  kind: "book"
  key: "Meyer95:1"
- title: "Showing Programs on a Screen"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jean-Marc Nerson"
    link: "https://researchr.org/alias/jean-marc-nerson"
  - name: "Soon Hae Ko"
    link: "https://researchr.org/alias/soon-hae-ko"
  year: "1985"
  researchr: "https://researchr.org/publication/MeyerNK85"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "5"
  number: "2"
  pages: "111-142"
  kind: "article"
  key: "MeyerNK85"
- title: "Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports"
  author:
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Alexander Pretschner"
    link: "https://researchr.org/alias/alexander-pretschner"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/ISSRE.2008.18"
  links:
    doi: "http://dx.doi.org/10.1109/ISSRE.2008.18"
  tags:
  - "testing"
  - "random testing"
  researchr: "https://researchr.org/publication/CiupaMOP08"
  cites: 0
  citedby: 0
  pages: "157-166"
  booktitle: "19th International Symposium on Software Reliability Engineering (ISSRE 2008), 11-14 November 2008, Seattle/Redmond, WA, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CiupaMOP08"
- title: "Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1995"
  researchr: "https://researchr.org/publication/Meyer95%3A2"
  cites: 0
  citedby: 0
  publisher: "Carl Hanser Verlag"
  isbn: "3-446-18697-2"
  kind: "book"
  key: "Meyer95:2"
- title: "Object-Oriented Applications"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jean-Marc Nerson"
    link: "https://researchr.org/alias/jean-marc-nerson"
  year: "1993"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MeyerN93"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  kind: "book"
  key: "MeyerN93"
- title: "Static Typing"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1996"
  researchr: "https://researchr.org/publication/Meyer96a"
  cites: 0
  citedby: 0
  pages: "57-75"
  booktitle: "Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS  96, Kanazawa, Japan, March 11-15, 1996, Proceedings"
  editor:
  - name: "Kokichi Futatsugi"
    link: "https://researchr.org/alias/kokichi-futatsugi"
  - name: "Satoshi Matsuoka"
    link: "https://researchr.org/alias/satoshi-matsuoka"
  volume: "1049"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60954-7"
  kind: "inproceedings"
  key: "Meyer96a"
- title: "Course management with TrucStudio"
  author:
  - name: "Michela Pedroni"
    link: "https://researchr.org/alias/michela-pedroni"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Enrico Albonico"
    link: "https://researchr.org/alias/enrico-albonico"
  - name: "Lukas Angerer"
    link: "https://researchr.org/alias/lukas-angerer"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1384271.1384341"
  links:
    doi: "http://doi.acm.org/10.1145/1384271.1384341"
  researchr: "https://researchr.org/publication/PedroniOMAA08"
  cites: 0
  citedby: 0
  pages: "260-264"
  booktitle: "Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain, June 30 - July 2, 2008"
  editor:
  - name: "June Amillo"
    link: "https://researchr.org/alias/june-amillo"
  - name: "Cary Laxer"
    link: "https://researchr.org/alias/cary-laxer"
  - name: "Ernestina Menasalvas Ruiz"
    link: "https://researchr.org/alias/ernestina-menasalvas-ruiz"
  - name: "Alison Young"
    link: "https://researchr.org/alias/alison-young"
  publisher: "ACM"
  isbn: "978-1-60558-078-4"
  kind: "inproceedings"
  key: "PedroniOMAA08"
- title: "Applying Search in an Automatic Contract-Based Testing Tool"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/KolesnichenkoPM13"
  researchr: "https://researchr.org/publication/KolesnichenkoPM13"
  cites: 0
  citedby: 0
  pages: "318-323"
  booktitle: "Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings"
  editor:
  - name: "Günther Ruhe"
    link: "https://researchr.org/alias/g%C3%BCnther-ruhe"
  - name: "Yuanyuan Zhang"
    link: "https://researchr.org/alias/yuanyuan-zhang"
  volume: "8084"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39741-7"
  kind: "inproceedings"
  key: "KolesnichenkoPM13"
- title: "Contract-based general-purpose GPU programming"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Sebastian Nanz"
    link: "http://se.inf.ethz.ch/people/nanz/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2814204.2814216"
  links:
    doi: "http://doi.acm.org/10.1145/2814204.2814216"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/KolesnichenkoPN15"
  researchr: "https://researchr.org/publication/KolesnichenkoPN15"
  cites: 0
  citedby: 0
  pages: "75-84"
  booktitle: "Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015"
  editor:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Aniruddha S. Gokhale"
    link: "https://researchr.org/alias/aniruddha-s.-gokhale"
  publisher: "ACM"
  isbn: "978-1-4503-3687-1"
  kind: "inproceedings"
  key: "KolesnichenkoPN15"
- title: "Compiler error messages: what can help novices?"
  author:
  - name: "Marie-Hélène Nienaltowski"
    link: "https://researchr.org/alias/marie-h%C3%A9l%C3%A8ne-nienaltowski"
  - name: "Michela Pedroni"
    link: "https://researchr.org/alias/michela-pedroni"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1352135.1352192"
  links:
    doi: "http://doi.acm.org/10.1145/1352135.1352192"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/NienaltowskiPM08"
  cites: 0
  citedby: 0
  pages: "168-172"
  booktitle: "Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008"
  editor:
  - name: "J. D. Dougherty"
    link: "https://researchr.org/alias/j.-d.-dougherty"
  - name: "Susan H. Rodger"
    link: "https://researchr.org/alias/susan-h.-rodger"
  - name: "Sue Fitzgerald"
    link: "https://researchr.org/alias/sue-fitzgerald"
  - name: "Mark Guzdial"
    link: "https://researchr.org/alias/mark-guzdial"
  publisher: "ACM"
  isbn: "978-1-59593-799-5"
  kind: "inproceedings"
  key: "NienaltowskiPM08"
- title: "Managing By Contract"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10072"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10072"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/Meyer99a"
  cites: 0
  citedby: 0
  pages: "412"
  booktitle: "TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA"
  editor:
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Gilda Pour"
    link: "https://researchr.org/alias/gilda-pour"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0278-4"
  kind: "inproceedings"
  key: "Meyer99a"
- title: "ARTOO: adaptive random testing for object-oriented software"
  author:
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1368088.1368099"
  links:
    doi: "http://doi.acm.org/10.1145/1368088.1368099"
  tags:
  - "meta-model"
  - "testing"
  - "random testing"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CiupaLOM08"
  cites: 0
  citedby: 0
  pages: "71-80"
  booktitle: "30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008"
  editor:
  - name: "Wilhelm Schäfer"
    link: "https://researchr.org/alias/wilhelm-sch%C3%A4fer"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Volker Gruhn"
    link: "https://researchr.org/alias/volker-gruhn"
  publisher: "ACM"
  isbn: "978-1-60558-079-1"
  kind: "inproceedings"
  key: "CiupaLOM08"
- title: "Relationships Between and Among Models (discussion)"
  author:
  - name: "John Mylopoulos"
    link: "https://researchr.org/alias/john-mylopoulos"
  - name: "Martin S. Feather"
    link: "http://eis.jpl.nasa.gov/~mfeather/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Paolo Paolini"
    link: "https://researchr.org/alias/paolo-paolini"
  - name: "Diane C. P. Smith"
    link: "https://researchr.org/alias/diane-c.-p.-smith"
  - name: "Gary G. Hendrix"
    link: "https://researchr.org/alias/gary-g.-hendrix"
  year: "1980"
  doi: "db/conf/sigmod/MylopoulosFMPSH80.html"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/MylopoulosFMPSH80"
  cites: 0
  citedby: 0
  pages: "77-82"
  booktitle: "Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980"
  editor:
  - name: "Michael L. Brodie"
    link: "https://researchr.org/alias/michael-l.-brodie"
  - name: "Stephen N. Zilles"
    link: "https://researchr.org/alias/stephen-n.-zilles"
  volume: "11"
  number: "2"
  publisher: "ACM Press"
  isbn: "0-89791-031-1"
  kind: "inproceedings"
  key: "MylopoulosFMPSH80"
- title: "Providing Trusted Components to the Industry"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Christine Mingins"
    link: "https://researchr.org/alias/christine-mingins"
  - name: "Heinz W. Schmidt"
    link: "https://researchr.org/alias/heinz-w.-schmidt"
  year: "1998"
  researchr: "https://researchr.org/publication/MeyerMS98"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "31"
  number: "5"
  pages: "104-105"
  kind: "article"
  key: "MeyerMS98"
- title: "On Formalism in Specifications"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1985"
  researchr: "https://researchr.org/publication/Meyer85"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "2"
  number: "1"
  pages: "6-26"
  kind: "article"
  key: "Meyer85"
- title: "Specification Language"
  author:
  - name: "Jean-Raymond Abrial"
    link: "https://researchr.org/alias/jean-raymond-abrial"
  - name: "Stephen A. Schuman"
    link: "https://researchr.org/alias/stephen-a.-schuman"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1980"
  researchr: "https://researchr.org/publication/AbrialSM80"
  cites: 0
  citedby: 0
  pages: "343-410"
  booktitle: "On the Construction of Programs"
  kind: "incollection"
  key: "AbrialSM80"
- title: "Méthodes de Programmation, 1st edition"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Claude Baudoin"
    link: "https://researchr.org/alias/claude-baudoin"
  year: "1978"
  researchr: "https://researchr.org/publication/Meyer78"
  cites: 0
  citedby: 0
  publisher: "Eyrolles"
  kind: "book"
  key: "Meyer78"
- title: "Experimental assessment of random testing for object-oriented software"
  author:
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1273463.1273476"
  links:
    doi: "http://doi.acm.org/10.1145/1273463.1273476"
  tags:
  - "meta-model"
  - "testing"
  - "random testing"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/CiupaLOM07"
  cites: 0
  citedby: 0
  pages: "84-94"
  booktitle: "Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007"
  editor:
  - name: "David S. Rosenblum"
    link: "https://researchr.org/alias/david-s.-rosenblum"
  - name: "Sebastian G. Elbaum"
    link: "https://researchr.org/alias/sebastian-g.-elbaum"
  publisher: "ACM"
  isbn: "978-1-59593-734-6"
  kind: "inproceedings"
  key: "CiupaLOM07"
- title: "Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract)"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1996"
  tags:
  - "contracts"
  - "software contracts"
  - "design"
  researchr: "https://researchr.org/publication/Meyer96%3A1"
  cites: 0
  citedby: 0
  pages: "56"
  booktitle: "Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS  96, Kanazawa, Japan, March 11-15, 1996, Proceedings"
  editor:
  - name: "Kokichi Futatsugi"
    link: "https://researchr.org/alias/kokichi-futatsugi"
  - name: "Satoshi Matsuoka"
    link: "https://researchr.org/alias/satoshi-matsuoka"
  volume: "1049"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60954-7"
  kind: "inproceedings"
  key: "Meyer96:1"
- title: "Europe s computer scientists take fate into their own hands"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Willy Zwaenepoel"
    link: "https://researchr.org/alias/willy-zwaenepoel"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1118178.1118210"
  links:
    doi: "http://doi.acm.org/10.1145/1118178.1118210"
  researchr: "https://researchr.org/publication/MeyerZ06"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "49"
  number: "3"
  pages: "21-24"
  kind: "article"
  key: "MeyerZ06"
- title: "The Outside-In Method of Teaching Introductory Programming"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=66"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2890&spage=66"
  tags:
  - "introductory programming"
  - "teaching"
  - "programming"
  researchr: "https://researchr.org/publication/Meyer03"
  cites: 0
  citedby: 0
  pages: "66-78"
  booktitle: "Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers"
  editor:
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "2890"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20813-5"
  kind: "inproceedings"
  key: "Meyer03"
- title: "Automatic Testing of Object-Oriented Software"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Ilinca Ciupa"
    link: "https://researchr.org/alias/ilinca-ciupa"
  - name: "Andreas Leitner"
    link: "https://researchr.org/alias/andreas-leitner"
  - name: "Lisa Ling Liu"
    link: "https://researchr.org/alias/lisa-ling-liu"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-69507-3_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69507-3_9"
  tags:
  - "meta-model"
  - "testing"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/MeyerCLL07"
  cites: 0
  citedby: 0
  pages: "114-129"
  booktitle: "SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings"
  editor:
  - name: "Jan van Leeuwen"
    link: "http://www.cs.uu.nl/staff/jan.html"
  - name: "Giuseppe F. Italiano"
    link: "https://researchr.org/alias/giuseppe-f.-italiano"
  - name: "Wiebe van der Hoek"
    link: "http://www.csc.liv.ac.uk/~wiebe/"
  - name: "Christoph Meinel"
    link: "https://researchr.org/alias/christoph-meinel"
  - name: "Harald Sack"
    link: "https://researchr.org/alias/harald-sack"
  - name: "Frantisek Plasil"
    link: "https://researchr.org/alias/frantisek-plasil"
  volume: "4362"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69506-6"
  kind: "inproceedings"
  key: "MeyerCLL07"
- title: "Finding Implicit Contracts in .NET Components"
  author:
  - name: "Karine Arnout"
    link: "https://researchr.org/alias/karine-arnout"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=285"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=285"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/ArnoutM02"
  cites: 0
  citedby: 0
  pages: "285-318"
  booktitle: "Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures"
  editor:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "2852"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20303-6"
  kind: "inproceedings"
  key: "ArnoutM02"
- title: "Pattern Componentization: The Factory Example"
  author:
  - name: "Karine Arnout"
    link: "https://researchr.org/alias/karine-arnout"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s11334-006-0001-0"
  links:
    doi: "http://dx.doi.org/10.1007/s11334-006-0001-0"
  researchr: "https://researchr.org/publication/ArnoutM06"
  cites: 0
  citedby: 0
  journal: "ISSE"
  volume: "2"
  number: "2"
  pages: "65-79"
  kind: "article"
  key: "ArnoutM06"
- title: "Uncovering Hidden Contracts: The .NET Example"
  author:
  - name: "Karine Arnout"
    link: "https://researchr.org/alias/karine-arnout"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2003"
  doi: "http://csdl.computer.org/comp/mags/co/2003/11/ry048abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/mags/co/2003/11/ry048abs.htm"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/ArnoutM03"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "36"
  number: "11"
  pages: "48-55"
  kind: "article"
  key: "ArnoutM03"
- title: "Concurrent object-oriented programming on .NET"
  author:
  - name: "Piotr Nienaltowski"
    link: "https://researchr.org/alias/piotr-nienaltowski"
  - name: "Volkan Arslan"
    link: "https://researchr.org/alias/volkan-arslan"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2003"
  doi: "http://dx.doi.org/10.1049/ip-sen:20030992"
  links:
    doi: "http://dx.doi.org/10.1049/ip-sen:20030992"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/NienaltowskiAM03"
  cites: 0
  citedby: 0
  journal: "IEE Proceedings - Software"
  volume: "150"
  number: "5"
  pages: "308-314"
  kind: "article"
  key: "NienaltowskiAM03"
- title: "Eiffel: The Language"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1991"
  tags:
  - "Eiffel"
  researchr: "https://researchr.org/publication/Meyer91%3A2"
  cites: 0
  citedby: 0
  publisher: "Prentice-Hall"
  isbn: "0-13-247925-7"
  kind: "book"
  key: "Meyer91:2"
- title: "Component-Based Development: From Buzz to Spark - Guest Editors  Entroduction"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Christine Mingins"
    link: "https://researchr.org/alias/christine-mingins"
  year: "1999"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/MeyerM99%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Computer"
  volume: "32"
  number: "7"
  pages: "35-37"
  kind: "article"
  key: "MeyerM99:0"
- title: "IDE-integrated Support for Schema Evolution in Object-Oriented Applications"
  author:
  - name: "Marco Piccioni"
    link: "https://researchr.org/alias/marco-piccioni"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2007"
  tags:
  - "XML"
  - "XML Schema"
  researchr: "https://researchr.org/publication/PiccioniOM07"
  cites: 0
  citedby: 0
  pages: "27-36"
  booktitle: "RAM-SE 07-ECOOP 07 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Berlin, Germany, July 31, 2007"
  editor:
  - name: "Walter Cazzola"
    link: "https://researchr.org/alias/walter-cazzola"
  - name: "Shigeru Chiba"
    link: "http://www.csg.is.titech.ac.jp/~chiba/"
  - name: "Yvonne Coady"
    link: "https://researchr.org/alias/yvonne-coady"
  - name: "Stéphane Ducasse"
    link: "http://stephane.ducasse.free.fr/"
  - name: "Günter Kniesel"
    link: "http://www.cs.uni-bonn.de/~gk/"
  - name: "Manuel Oriol"
    link: "https://researchr.org/alias/manuel-oriol"
  - name: "Gunter Saake"
    link: "https://researchr.org/alias/gunter-saake"
  publisher: "Fakultät für Informatik, Universität Magdeburg"
  kind: "inproceedings"
  key: "PiccioniOM07"
- title: "Can Aspects Implement Contracts?"
  author:
  - name: "Stephanie Balzer"
    link: "https://researchr.org/alias/stephanie-balzer"
  - name: "Patrick Th. Eugster"
    link: "https://researchr.org/alias/patrick-th.-eugster"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11751113_11"
  links:
    doi: "http://dx.doi.org/10.1007/11751113_11"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/BalzerEM05"
  cites: 0
  citedby: 0
  pages: "145-157"
  booktitle: "Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers"
  editor:
  - name: "Nicolas Guelfi"
    link: "https://researchr.org/alias/nicolas-guelfi"
  - name: "Anthony Savidis"
    link: "https://researchr.org/alias/anthony-savidis"
  volume: "3943"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34063-7"
  kind: "inproceedings"
  key: "BalzerEM05"
- title: "Méthodes de Programmation, 3rd edition"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Claude Baudoin"
    link: "https://researchr.org/alias/claude-baudoin"
  year: "1984"
  researchr: "https://researchr.org/publication/Meyer84%3A0"
  cites: 0
  citedby: 0
  publisher: "Eyrolles"
  kind: "book"
  key: "Meyer84:0"
- title: "Design by Contract: Making Object-Oriented Programs that Work"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1997"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681888"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.681888"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "contracts"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "design"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Meyer97%3A1"
  cites: 0
  citedby: 0
  pages: "360"
  booktitle: "TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 24-28 November 1997, Melbourne, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-8485-2"
  kind: "inproceedings"
  key: "Meyer97:1"
- title: "The inverted curriculum in practice"
  author:
  - name: "Michela Pedroni"
    link: "https://researchr.org/alias/michela-pedroni"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1121341.1121493"
  links:
    doi: "http://doi.acm.org/10.1145/1121341.1121493"
  researchr: "https://researchr.org/publication/PedroniM06"
  cites: 0
  citedby: 0
  pages: "481-485"
  booktitle: "Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006"
  editor:
  - name: "Doug Baldwin"
    link: "https://researchr.org/alias/doug-baldwin"
  - name: "Paul T. Tymann"
    link: "https://researchr.org/alias/paul-t.-tymann"
  - name: "Susan M. Haller"
    link: "https://researchr.org/alias/susan-m.-haller"
  - name: "Ingrid Russell"
    link: "https://researchr.org/alias/ingrid-russell"
  publisher: "ACM"
  isbn: "1-59593-259-3"
  kind: "inproceedings"
  key: "PedroniM06"
- title: "Genericity versus Inheritance"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1986"
  researchr: "https://researchr.org/publication/Meyer86%3A1"
  cites: 0
  citedby: 0
  pages: "391-405"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "Meyer86:1"
- title: "Cépage: Toward computer-aided design of software"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "1988"
  doi: "http://dx.doi.org/10.1016/0164-1212(88)90033-7"
  links:
    doi: "http://dx.doi.org/10.1016/0164-1212(88)90033-7"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Meyer88a"
  cites: 0
  citedby: 0
  journal: "Journal of Systems and Software"
  volume: "8"
  number: "5"
  pages: "419-429"
  kind: "article"
  key: "Meyer88a"
- title: "In Memory of Kristen Nygaard and Ole-Johan Dahl"
  author:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Kristen Nygaard"
    link: "https://researchr.org/alias/kristen-nygaard"
  - name: "Ole Lehrmann Madsen"
    link: "https://researchr.org/alias/ole-lehrmann-madsen"
  year: "2002"
  doi: "http://www.jot.fm/issues/issue_2002_09/eulogy"
  links:
    doi: "http://www.jot.fm/issues/issue_2002_09/eulogy"
  researchr: "https://researchr.org/publication/MeyerNM02"
  cites: 0
  citedby: 0
  journal: "Journal of Object Technology"
  volume: "1"
  number: "4"
  pages: "7-15"
  kind: "article"
  key: "MeyerNM02"
- title: "TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  year: "1991"
  researchr: "https://researchr.org/publication/tools%3A5-1991"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  conference: "TOOLS"
  editor:
  - name: "Timothy D. Korson"
    link: "https://researchr.org/alias/timothy-d.-korson"
  - name: "Vijay Vashnavi"
    link: "https://researchr.org/alias/vijay-vashnavi"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-923178-1"
  kind: "proceedings"
  key: "tools:5-1991"
- title: "TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia"
  year: "1991"
  researchr: "https://researchr.org/publication/tools%3A6-1992"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia"
  conference: "TOOLS"
  editor:
  - name: "John Potter"
    link: "https://researchr.org/alias/john-potter"
  - name: "Mario Tokoro"
    link: "https://researchr.org/alias/mario-tokoro"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-926940-1"
  kind: "proceedings"
  key: "tools:6-1992"
- title: "Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers"
  year: "2007"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/tap%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers"
  editor:
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  volume: "4454"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73769-8"
  kind: "proceedings"
  key: "tap:2007"
- title: "TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe"
  year: "1992"
  researchr: "https://researchr.org/publication/tools%3A7-1992"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe"
  conference: "TOOLS"
  editor:
  - name: "Georg Heeg"
    link: "https://researchr.org/alias/georg-heeg"
  - name: "Boris Magnusson"
    link: "https://researchr.org/alias/boris-magnusson"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-917436-2"
  kind: "proceedings"
  key: "tools:7-1992"
- title: "TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  year: "1993"
  researchr: "https://researchr.org/publication/tools%3A11-1993"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  conference: "TOOLS"
  editor:
  - name: "Raimund K. Ege"
    link: "https://researchr.org/alias/raimund-k.-ege"
  - name: "Madhu S. Singh"
    link: "https://researchr.org/alias/madhu-s.-singh"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-103979-2"
  kind: "proceedings"
  key: "tools:11-1993"
- title: "TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe"
  year: "1994"
  researchr: "https://researchr.org/publication/tools%3A13-1994"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe"
  conference: "TOOLS"
  editor:
  - name: "Boris Magnusson"
    link: "https://researchr.org/alias/boris-magnusson"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jean-Marc Nerson"
    link: "https://researchr.org/alias/jean-marc-nerson"
  - name: "Jean-François Perrot"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-perrot"
  publisher: "Prentice Hall"
  isbn: "0-13-350539-1"
  kind: "proceedings"
  key: "tools:13-1994"
- title: "Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers"
  year: "2008"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/ifip2%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers"
  conference: "ifip2"
  editor:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jerzy R. Nawrocki"
    link: "https://researchr.org/alias/jerzy-r.-nawrocki"
  - name: "Bartosz Walter"
    link: "https://researchr.org/alias/bartosz-walter"
  volume: "5082"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85278-0"
  kind: "proceedings"
  key: "ifip2:2007"
- title: "Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992"
  year: "1993"
  researchr: "https://researchr.org/publication/tools%3A12-1993"
  cites: 0
  citedby: 0
  booktitle: "Technology of Object-Oriented Languages and Systems Tools 12: Proceedings of the twelfth International Conference Tools Pacific, Melbourne 1993. Incorporating the proceedings of Tools 9, Sydney 1992"
  conference: "TOOLS"
  editor:
  - name: "Christine Mingins"
    link: "https://researchr.org/alias/christine-mingins"
  - name: "William Haebich"
    link: "https://researchr.org/alias/william-haebich"
  - name: "John Potter"
    link: "https://researchr.org/alias/john-potter"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-124512-0"
  kind: "proceedings"
  key: "tools:12-1993"
- title: "TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia"
  year: "1998"
  researchr: "https://researchr.org/publication/tools%3A28-1998"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia"
  conference: "TOOLS"
  editor:
  - name: "Christine Mingins"
    link: "https://researchr.org/alias/christine-mingins"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0053-6"
  kind: "proceedings"
  key: "tools:28-1998"
- title: "TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  year: "1992"
  researchr: "https://researchr.org/publication/tools%3A8-1992"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA"
  conference: "TOOLS"
  editor:
  - name: "Raimund K. Ege"
    link: "https://researchr.org/alias/raimund-k.-ege"
  - name: "Madhu S. Singh"
    link: "https://researchr.org/alias/madhu-s.-singh"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "Prentice Hall"
  isbn: "0-13-042441-2"
  kind: "proceedings"
  key: "tools:8-1992"
- title: "TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA"
  year: "2000"
  researchr: "https://researchr.org/publication/tools%3A34-2000"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA"
  conference: "TOOLS"
  editor:
  - name: "Qizoyan Li"
    link: "https://researchr.org/alias/qizoyan-li"
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0774-3"
  kind: "proceedings"
  key: "tools:34-2000"
- title: "Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings"
  year: "2008"
  tags:
  - "object-role modeling"
  researchr: "https://researchr.org/publication/tools%3A46-2008"
  cites: 0
  citedby: 0
  booktitle: "Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings"
  conference: "TOOLS"
  editor:
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  volume: "11"
  series: "Lecture Notes in Business Information Processing"
  publisher: "Springer"
  isbn: "978-3-540-69823-4"
  kind: "proceedings"
  key: "tools:46-2008"
- title: "TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe"
  year: "1993"
  researchr: "https://researchr.org/publication/tools%3A10-1993"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe"
  conference: "TOOLS"
  editor:
  - name: "Boris Magnusson"
    link: "https://researchr.org/alias/boris-magnusson"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jean-François Perrot"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-perrot"
  publisher: "Prentice Hall"
  isbn: "0-13-097114-6"
  kind: "proceedings"
  key: "tools:10-1993"
- title: "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69149-5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69149-5"
  researchr: "https://researchr.org/publication/vstte%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  conference: "vstte"
  editor:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "4171"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69147-1"
  kind: "proceedings"
  key: "vstte:2005"
- title: "Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program"
  year: "2006"
  researchr: "https://researchr.org/publication/dics%3A2006"
  cites: 0
  citedby: 0
  booktitle: "Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program"
  conference: "dics"
  editor:
  - name: "Jürg Kohlas"
    link: "https://researchr.org/alias/j%C3%BCrg-kohlas"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "André Schiper"
    link: "https://researchr.org/alias/andr%C3%A9-schiper"
  volume: "4028"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-36821-3"
  kind: "proceedings"
  key: "dics:2006"
- title: "TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA"
  year: "1999"
  researchr: "https://researchr.org/publication/tools%3A30-1999"
  cites: 0
  citedby: 0
  booktitle: "TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA"
  conference: "TOOLS"
  editor:
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Gilda Pour"
    link: "https://researchr.org/alias/gilda-pour"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0278-4"
  kind: "proceedings"
  key: "tools:30-1999"
- title: "Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers"
  year: "2007"
  tags:
  - "software engineering"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/seafood%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Software Engineering Approaches for Offshore and Outsourced Development, First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers"
  conference: "seafood"
  editor:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Mathai Joseph"
    link: "https://researchr.org/alias/mathai-joseph"
  volume: "4716"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75541-8"
  kind: "proceedings"
  key: "seafood:2007"