@article{LewisPMGPVLPPHLWEW95,
  title = {Where Is Software Headed? A Virtual Roundtable},
  author = {Ted G. Lewis and Dave Power and Bertrand Meyer and Jack Grimes and Mike Potel and Ronald J. Vetter and Phillip A. Laplante and Wolfgang Pree and Gustav Pomberger and Mark D. Hill and James R. Larus and David A. Wood and Hesham El-Rewini and Bruce W. Weide},
  year = {1995},
  researchr = {https://researchr.org/publication/LewisPMGPVLPPHLWEW95},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {28},
  number = {8},
  pages = {20-32},
}

@book{Meyer88,
  title = {Object-Oriented Software Construction, 1st editon},
  author = {Bertrand 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},
}

@book{Meyer01:3,
  title = {The .NET Training Course},
  author = {Bertrand Meyer},
  year = {2001},
  researchr = {https://researchr.org/publication/Meyer01%3A3},
  cites = {0},
  citedby = {0},
  publisher = {Prentice-Hall},
  isbn = {0-13-033115-5},
}

@article{JezequelM97,
  title = {Design by Contract: The Lessons of Ariane},
  author = {Jean-Marc Jézéquel and Bertrand Meyer},
  year = {1997},
  tags = {contracts, design},
  researchr = {https://researchr.org/publication/JezequelM97},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {30},
  number = {1},
  pages = {129-130},
}

@inproceedings{SmithMSP00,
  title = {Component-Based Development? Refining the Blueprint},
  author = {Roger Smith and Bertrand Meyer and Clemens A. Szyperski and Gilda Pour},
  year = {2000},
  doi = {10.1109/TOOLS.2000.10079},
  url = {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},
}

@book{Meyer97:2,
  title = {Object-Oriented Software Construction, 2nd Edition},
  author = {Bertrand 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},
}

@inproceedings{Meyer99:3,
  title = {The Unity of Software and the Power of Roundtrip Engineering},
  author = {Bertrand Meyer},
  year = {1999},
  doi = {10.1109/TOOLS.1999.10045},
  url = {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},
}

@inproceedings{Meyer05:3,
  title = {Attached Types and Their Application to Three Open Problems of Object-Oriented Programming},
  author = {Bertrand Meyer},
  year = {2005},
  doi = {10.1007/11531142_1},
  url = {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},
}

@article{ArnoutM03:0,
  title = {Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori},
  author = {Karine Arnout and Bertrand Meyer},
  year = {2003},
  url = {http://objet.revuesonline.com/article.jsp?articleId=3604},
  researchr = {https://researchr.org/publication/ArnoutM03%3A0},
  cites = {0},
  citedby = {0},
  journal = {Lobjet},
  volume = {9},
  number = {1-2},
  pages = {17-30},
}

@inproceedings{Meyer98:2,
  title = {Can We Make Componentware Succeed?},
  author = {Bertrand Meyer},
  year = {1998},
  doi = {10.1109/TOOLS.1998.710994},
  url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.710994},
  researchr = {https://researchr.org/publication/Meyer98%3A2},
  cites = {0},
  citedby = {0},
  pages = {3},
  booktitle = {TOOLS},
}

@inproceedings{FraserGHMMS07,
  title = {Celebrating 40 years of language evolution: simula 67 to the present and beyond},
  author = {Steven Fraser and James Gosling and Anders Hejlsberg and Ole Lehrmann Madsen and Bertrand Meyer and Guy L. Steele Jr.},
  year = {2007},
  doi = {10.1145/1297846.1297971},
  url = {http://doi.acm.org/10.1145/1297846.1297971},
  researchr = {https://researchr.org/publication/FraserGHMMS07},
  cites = {0},
  citedby = {0},
  pages = {1021-1023},
  booktitle = {OOPSLA},
}

@inproceedings{Meyer03:1,
  title = {A Framework for Proving Contract-Equipped Classes},
  author = {Bertrand Meyer},
  year = {2003},
  url = {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 = {asmta},
}

@inproceedings{Meyer80:0,
  title = {A Basis for the Constructive Approach to Programming},
  author = {Bertrand Meyer},
  year = {1980},
  tags = {programming, systematic-approach},
  researchr = {https://researchr.org/publication/Meyer80%3A0},
  cites = {0},
  citedby = {0},
  pages = {293-298},
  booktitle = {ifip},
}

@article{MeyerA06,
  title = {Componentization: The Visitor Example},
  author = {Bertrand Meyer and Karine Arnout},
  year = {2006},
  doi = {10.1109/MC.2006.227},
  url = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.227},
  tags = {visitor},
  researchr = {https://researchr.org/publication/MeyerA06},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {39},
  number = {7},
  pages = {23-30},
}

@book{Meyer90:1,
  title = {Objektorientierte Softwareentwicklung},
  author = {Bertrand Meyer},
  year = {1990},
  researchr = {https://researchr.org/publication/Meyer90%3A1},
  cites = {0},
  citedby = {0},
  publisher = {Carl Hanser Verlag},
  isbn = {3-446-15773-5},
}

@inproceedings{LeitnerOZCM07,
  title = {Efficient unit test case minimization},
  author = {Andreas Leitner and Manuel Oriol and Andreas Zeller and Ilinca Ciupa and Bertrand Meyer},
  year = {2007},
  doi = {10.1145/1321631.1321698},
  url = {http://doi.acm.org/10.1145/1321631.1321698},
  tags = {testing},
  researchr = {https://researchr.org/publication/LeitnerOZCM07},
  cites = {0},
  citedby = {0},
  pages = {417-420},
  booktitle = {ASE},
}

@article{Meyer95:0,
  title = {Static typing},
  author = {Bertrand Meyer},
  year = {1995},
  researchr = {https://researchr.org/publication/Meyer95%3A0},
  cites = {0},
  citedby = {0},
  journal = {oopsm},
  volume = {6},
  number = {4},
  pages = {20-29},
}

@inproceedings{CiupaLOM06,
  title = {Object distance and its application to adaptive random testing of object-oriented programs},
  author = {Ilinca Ciupa and Andreas Leitner and Manuel Oriol and Bertrand Meyer},
  year = {2006},
  doi = {10.1145/1145735.1145744},
  url = {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 = {ISSTA},
}

@inproceedings{PedroniOM07,
  title = {A framework for describing and comparing courses and curricula},
  author = {Michela Pedroni and Manuel Oriol and Bertrand Meyer},
  year = {2007},
  doi = {10.1145/1268784.1268824},
  url = {http://doi.acm.org/10.1145/1268784.1268824},
  researchr = {https://researchr.org/publication/PedroniOM07},
  cites = {0},
  citedby = {0},
  pages = {131-135},
  booktitle = {iticse},
}

@inproceedings{LeitnerCMH07,
  title = {Reconciling Manual and Automated Testing: The AutoTest Experience},
  author = {Andreas Leitner and Ilinca Ciupa and Bertrand Meyer and Mark Howard},
  year = {2007},
  doi = {10.1109/HICSS.2007.462},
  url = {http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.462},
  tags = {testing},
  researchr = {https://researchr.org/publication/LeitnerCMH07},
  cites = {0},
  citedby = {0},
  pages = {261},
  booktitle = {hicss},
}

@inproceedings{Meyer00:2,
  title = {The Future of Component-Based Development},
  author = {Bertrand Meyer},
  year = {2000},
  doi = {10.1109/TOOLS.2000.10027},
  url = {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},
}

@inproceedings{Meyer94:1,
  title = {On the Role of Methodology: Advice to the Advisors},
  author = {Bertrand Meyer},
  year = {1994},
  researchr = {https://researchr.org/publication/Meyer94%3A1},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {COODBSE},
}

@book{Meyer94a,
  title = {Reusable Software: The Base Object-Oriented Component Libraries},
  author = {Bertrand 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},
}

@inproceedings{StacyHKM92,
  title = {Ensuring Semantic Integrity of Reusable Objects (Panel)},
  author = {Webb Stacy and Richard Helm and Gail E. Kaiser and Bertrand 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},
}

@article{Meyer87:0,
  title = {Reusability: The Case for Object-Oriented Design},
  author = {Bertrand 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},
}

@inproceedings{LeitnerCOMF07,
  title = {Contract driven development = test driven development - writing test cases},
  author = {Andreas Leitner and Ilinca Ciupa and Manuel Oriol and Bertrand Meyer and Arno Fiva},
  year = {2007},
  doi = {10.1145/1287624.1287685},
  url = {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 = {ESEC/FSE},
}

@inproceedings{Meyer04:6,
  title = {The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design},
  author = {Bertrand Meyer},
  year = {2004},
  url = {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 = {BIRTHDAY},
}

@inproceedings{NordioMM08,
  title = {Proof-Transforming Compilation of Eiffel Programs},
  author = {Martin Nordio and Peter Müller and Bertrand Meyer},
  year = {2008},
  doi = {10.1007/978-3-540-69824-1_18},
  url = {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 = {TOOLS},
}

@inproceedings{MeyerP08,
  title = {The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development},
  author = {Bertrand Meyer and Marco Piccioni},
  year = {2008},
  doi = {10.1109/CSEET.2008.41},
  url = {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 = {csee},
}

@inproceedings{BulmanTMNK92,
  title = {OOP in Languages Providing Strong, Static Typing (Panel)},
  author = {David Bulman and S. Tucker Taft and Bertrand Meyer and Greg Nelson and Mike Kilian},
  year = {1992},
  researchr = {https://researchr.org/publication/BulmanTMNK92},
  cites = {0},
  citedby = {0},
  pages = {87-91},
  booktitle = {OOPSLA},
}

@article{BezivinM07,
  title = {Editorial Special Issue},
  author = {Jean Bézivin and Bertrand Meyer},
  year = {2007},
  url = {http://www.jot.fm/issues/issue_2007_10/editorial.pdf},
  researchr = {https://researchr.org/publication/BezivinM07},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {6},
  number = {9},
  pages = {11},
}

@book{Meyer94:3,
  title = {An Object-Oriented Environment: Principles and Applications},
  author = {Bertrand 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},
}

@inproceedings{CiupaPLOM08,
  title = {On the Predictability of Random Tests for Object-Oriented Software},
  author = {Ilinca Ciupa and Alexander Pretschner and Andreas Leitner and Manuel Oriol and Bertrand Meyer},
  year = {2008},
  doi = {10.1109/ICST.2008.20},
  url = {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 = {icst},
}

@inproceedings{Meyer05:4,
  title = {Doing More with Contracts: Towards Automatic Tests and Proofs},
  author = {Bertrand Meyer},
  year = {2005},
  doi = {10.1007/11751113_1},
  url = {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 = {rise},
}

@inproceedings{Meyer91:1,
  title = {Do we know how to find the classes?},
  author = {Bertrand Meyer},
  year = {1991},
  researchr = {https://researchr.org/publication/Meyer91%3A1},
  cites = {0},
  citedby = {0},
  pages = {349-350},
  booktitle = {TOOLS},
}

@inproceedings{MeyerNM87,
  title = {EIFFEL: Object-Oriented Design for Software Engineering},
  author = {Bertrand Meyer and Jean-Marc Nerson and 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/FSE},
}

@article{CreelM98,
  title = {Is Object Technology Ready for the Embedded World?},
  author = {Christopher Creel and Bertrand 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},
}

@inproceedings{CoplienGHM97,
  title = {Keynotes},
  author = {James Coplien and Joseph Gil and David Harel and Bertrand Meyer},
  year = {1997},
  doi = {10.1109/TOOLS.1997.10018},
  url = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018},
  researchr = {https://researchr.org/publication/CoplienGHM97},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {TOOLS},
}

@inproceedings{PedroniOMA08,
  title = {Automatic extraction of notions from course material},
  author = {Michela Pedroni and Manuel Oriol and Bertrand Meyer and Lukas Angerer},
  year = {2008},
  doi = {10.1145/1352135.1352225},
  url = {http://doi.acm.org/10.1145/1352135.1352225},
  researchr = {https://researchr.org/publication/PedroniOMA08},
  cites = {0},
  citedby = {0},
  pages = {251-255},
  booktitle = {sigcse},
}

@inproceedings{Meyer98b,
  title = {Panel: Issues in Moving to a Component-Based Industry},
  author = {Bertrand Meyer},
  year = {1998},
  doi = {10.1109/TOOLS.1998.711056},
  url = {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},
}

@book{Meyer90:0,
  title = {Introduction to the Theory of Programming Languages},
  author = {Bertrand 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},
}

@inproceedings{Meyer06:3,
  title = {The Context of Object Computation (extended abstract)},
  author = {Bertrand Meyer},
  year = {2006},
  doi = {10.1109/SEFM.2006.36},
  url = {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 = {SEFM},
}

@inproceedings{Meyer98a,
  title = {Design by Contract: The Eiffel Method},
  author = {Bertrand Meyer},
  year = {1998},
  doi = {10.1109/TOOLS.1998.711043},
  url = {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},
}

@article{MeyerCSL09,
  title = {Viewpoint - Research evaluation for computer science},
  author = {Bertrand Meyer and Christine Choppy and Jørgen Staunstrup and Jan van Leeuwen},
  year = {2009},
  doi = {10.1145/1498765.1498780},
  url = {http://doi.acm.org/10.1145/1498765.1498780},
  tags = {e-science},
  researchr = {https://researchr.org/publication/MeyerCSL09},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {52},
  number = {4},
  pages = {31-34},
}

@inproceedings{DysonMWJ89,
  title = {Objects in their Eyes (Panel)},
  author = {Esther Dyson and Bertrand Meyer and Daniel Weinreb and 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},
}

@inproceedings{Meyer80:1,
  title = {A Three-Level Approach to the Description of Data Structures, and Notational Framework},
  author = {Bertrand Meyer},
  year = {1980},
  doi = {10.1145/800227.806910},
  url = {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 = {SIGMOD},
}

@book{Meyer95:1,
  title = {Object Success},
  author = {Bertrand Meyer},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Meyer95%3A1},
  cites = {0},
  citedby = {0},
  publisher = {Prentice-Hall},
}

@article{MeyerNK85,
  title = {Showing Programs on a Screen},
  author = {Bertrand Meyer and Jean-Marc Nerson and Soon Hae Ko},
  year = {1985},
  researchr = {https://researchr.org/publication/MeyerNK85},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {5},
  number = {2},
  pages = {111-142},
}

@inproceedings{CiupaMOP08,
  title = {Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports},
  author = {Ilinca Ciupa and Bertrand Meyer and Manuel Oriol and Alexander Pretschner},
  year = {2008},
  doi = {10.1109/ISSRE.2008.18},
  url = {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 = {issre},
}

@book{Meyer95:2,
  title = {Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses},
  author = {Bertrand Meyer},
  year = {1995},
  researchr = {https://researchr.org/publication/Meyer95%3A2},
  cites = {0},
  citedby = {0},
  publisher = {Carl Hanser Verlag},
  isbn = {3-446-18697-2},
}

@book{MeyerN93,
  title = {Object-Oriented Applications},
  author = {Bertrand Meyer and 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},
}

@inproceedings{Meyer96a,
  title = {Static Typing},
  author = {Bertrand Meyer},
  year = {1996},
  researchr = {https://researchr.org/publication/Meyer96a},
  cites = {0},
  citedby = {0},
  pages = {57-75},
  booktitle = {isotas},
}

@inproceedings{PedroniOMAA08,
  title = {Course management with TrucStudio},
  author = {Michela Pedroni and Manuel Oriol and Bertrand Meyer and Enrico Albonico and Lukas Angerer},
  year = {2008},
  doi = {10.1145/1384271.1384341},
  url = {http://doi.acm.org/10.1145/1384271.1384341},
  researchr = {https://researchr.org/publication/PedroniOMAA08},
  cites = {0},
  citedby = {0},
  pages = {260-264},
  booktitle = {iticse},
}

@inproceedings{KolesnichenkoPM13,
  title = {Applying Search in an Automatic Contract-Based Testing Tool},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Bertrand Meyer},
  year = {2013},
  doi = {10.1007/978-3-642-39742-4_31},
  url = {http://dx.doi.org/10.1007/978-3-642-39742-4_31},
  researchr = {https://researchr.org/publication/KolesnichenkoPM13},
  cites = {0},
  citedby = {0},
  pages = {318-323},
  booktitle = {ssbse},
}

@inproceedings{KolesnichenkoPN15,
  title = {Contract-based general-purpose GPU programming},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz and Bertrand Meyer},
  year = {2015},
  doi = {10.1145/2814204.2814216},
  url = {http://doi.acm.org/10.1145/2814204.2814216},
  researchr = {https://researchr.org/publication/KolesnichenkoPN15},
  cites = {0},
  citedby = {0},
  pages = {75-84},
  booktitle = {GPCE},
}

@inproceedings{NienaltowskiPM08,
  title = {Compiler error messages: what can help novices?},
  author = {Marie-Hélène Nienaltowski and Michela Pedroni and Bertrand Meyer},
  year = {2008},
  doi = {10.1145/1352135.1352192},
  url = {http://doi.acm.org/10.1145/1352135.1352192},
  tags = {compiler},
  researchr = {https://researchr.org/publication/NienaltowskiPM08},
  cites = {0},
  citedby = {0},
  pages = {168-172},
  booktitle = {sigcse},
}

@inproceedings{Meyer99a,
  title = {Managing By Contract},
  author = {Bertrand Meyer},
  year = {1999},
  doi = {10.1109/TOOLS.1999.10072},
  url = {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},
}

@inproceedings{CiupaLOM08,
  title = {ARTOO: adaptive random testing for object-oriented software},
  author = {Ilinca Ciupa and Andreas Leitner and Manuel Oriol and Bertrand Meyer},
  year = {2008},
  doi = {10.1145/1368088.1368099},
  url = {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 = {ICSE},
}

@inproceedings{MylopoulosFMPSH80,
  title = {Relationships Between and Among Models (discussion)},
  author = {John Mylopoulos and Martin S. Feather and Bertrand Meyer and Paolo Paolini and Diane C. P. Smith and Gary G. Hendrix},
  year = {1980},
  tags = {C++},
  researchr = {https://researchr.org/publication/MylopoulosFMPSH80},
  cites = {0},
  citedby = {0},
  pages = {77-82},
  booktitle = {SIGMOD},
}

@article{MeyerMS98,
  title = {Providing Trusted Components to the Industry},
  author = {Bertrand Meyer and Christine Mingins and Heinz W. Schmidt},
  year = {1998},
  researchr = {https://researchr.org/publication/MeyerMS98},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {31},
  number = {5},
  pages = {104-105},
}

@article{Meyer85,
  title = {On Formalism in Specifications},
  author = {Bertrand Meyer},
  year = {1985},
  researchr = {https://researchr.org/publication/Meyer85},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {2},
  number = {1},
  pages = {6-26},
}

@incollection{AbrialSM80,
  title = {Specification Language},
  author = {Jean-Raymond Abrial and Stephen A. Schuman and Bertrand Meyer},
  year = {1980},
  researchr = {https://researchr.org/publication/AbrialSM80},
  cites = {0},
  citedby = {0},
  pages = {343-410},
  booktitle = {On the Construction of Programs},
}

@book{Meyer78,
  title = {Méthodes de Programmation, 1st edition},
  author = {Bertrand Meyer and Claude Baudoin},
  year = {1978},
  researchr = {https://researchr.org/publication/Meyer78},
  cites = {0},
  citedby = {0},
  publisher = {Eyrolles},
}

@inproceedings{CiupaLOM07,
  title = {Experimental assessment of random testing for object-oriented software},
  author = {Ilinca Ciupa and Andreas Leitner and Manuel Oriol and Bertrand Meyer},
  year = {2007},
  doi = {10.1145/1273463.1273476},
  url = {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 = {ISSTA},
}

@inproceedings{Meyer96:1,
  title = {Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract)},
  author = {Bertrand Meyer},
  year = {1996},
  tags = {contracts, software contracts, design},
  researchr = {https://researchr.org/publication/Meyer96%3A1},
  cites = {0},
  citedby = {0},
  pages = {56},
  booktitle = {isotas},
}

@article{MeyerZ06,
  title = {Europe s computer scientists take fate into their own hands},
  author = {Bertrand Meyer and Willy Zwaenepoel},
  year = {2006},
  doi = {10.1145/1118178.1118210},
  url = {http://doi.acm.org/10.1145/1118178.1118210},
  researchr = {https://researchr.org/publication/MeyerZ06},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {49},
  number = {3},
  pages = {21-24},
}

@inproceedings{Meyer03,
  title = {The Outside-In Method of Teaching Introductory Programming},
  author = {Bertrand Meyer},
  year = {2003},
  url = {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 = {ershov},
}

@inproceedings{MeyerCLL07,
  title = {Automatic Testing of Object-Oriented Software},
  author = {Bertrand Meyer and Ilinca Ciupa and Andreas Leitner and Lisa Ling Liu},
  year = {2007},
  doi = {10.1007/978-3-540-69507-3_9},
  url = {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},
}

@inproceedings{ArnoutM02,
  title = {Finding Implicit Contracts in .NET Components},
  author = {Karine Arnout and Bertrand Meyer},
  year = {2002},
  url = {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 = {FMCO},
}

@article{ArnoutM06,
  title = {Pattern Componentization: The Factory Example},
  author = {Karine Arnout and Bertrand Meyer},
  year = {2006},
  doi = {10.1007/s11334-006-0001-0},
  url = {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},
}

@article{ArnoutM03,
  title = {Uncovering Hidden Contracts: The .NET Example},
  author = {Karine Arnout and Bertrand Meyer},
  year = {2003},
  url = {http://csdl.computer.org/comp/mags/co/2003/11/ry048abs.htm},
  tags = {contracts},
  researchr = {https://researchr.org/publication/ArnoutM03},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {36},
  number = {11},
  pages = {48-55},
}

@article{NienaltowskiAM03,
  title = {Concurrent object-oriented programming on .NET},
  author = {Piotr Nienaltowski and Volkan Arslan and Bertrand Meyer},
  year = {2003},
  doi = {10.1049/ip-sen:20030992},
  url = {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},
  volume = {150},
  number = {5},
  pages = {308-314},
}

@book{Meyer91:2,
  title = {Eiffel: The Language},
  author = {Bertrand Meyer},
  year = {1991},
  tags = {Eiffel},
  researchr = {https://researchr.org/publication/Meyer91%3A2},
  cites = {0},
  citedby = {0},
  publisher = {Prentice-Hall},
  isbn = {0-13-247925-7},
}

@article{MeyerM99:0,
  title = {Component-Based Development: From Buzz to Spark - Guest Editors  Entroduction},
  author = {Bertrand Meyer and Christine Mingins},
  year = {1999},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/MeyerM99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {32},
  number = {7},
  pages = {35-37},
}

@inproceedings{PiccioniOM07,
  title = {IDE-integrated Support for Schema Evolution in Object-Oriented Applications},
  author = {Marco Piccioni and Manuel Oriol and Bertrand Meyer},
  year = {2007},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/PiccioniOM07},
  cites = {0},
  citedby = {0},
  pages = {27-36},
  booktitle = {ECOOPW},
}

@inproceedings{BalzerEM05,
  title = {Can Aspects Implement Contracts?},
  author = {Stephanie Balzer and Patrick Th. Eugster and Bertrand Meyer},
  year = {2005},
  doi = {10.1007/11751113_11},
  url = {http://dx.doi.org/10.1007/11751113_11},
  tags = {contracts},
  researchr = {https://researchr.org/publication/BalzerEM05},
  cites = {0},
  citedby = {0},
  pages = {145-157},
  booktitle = {rise},
}

@book{Meyer84:0,
  title = {Méthodes de Programmation, 3rd edition},
  author = {Bertrand Meyer and Claude Baudoin},
  year = {1984},
  researchr = {https://researchr.org/publication/Meyer84%3A0},
  cites = {0},
  citedby = {0},
  publisher = {Eyrolles},
}

@inproceedings{Meyer97:1,
  title = {Design by Contract: Making Object-Oriented Programs that Work},
  author = {Bertrand Meyer},
  year = {1997},
  doi = {10.1109/TOOLS.1997.681888},
  url = {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},
}

@inproceedings{PedroniM06,
  title = {The inverted curriculum in practice},
  author = {Michela Pedroni and Bertrand Meyer},
  year = {2006},
  doi = {10.1145/1121341.1121493},
  url = {http://doi.acm.org/10.1145/1121341.1121493},
  researchr = {https://researchr.org/publication/PedroniM06},
  cites = {0},
  citedby = {0},
  pages = {481-485},
  booktitle = {sigcse},
}

@inproceedings{Meyer86:1,
  title = {Genericity versus Inheritance},
  author = {Bertrand Meyer},
  year = {1986},
  researchr = {https://researchr.org/publication/Meyer86%3A1},
  cites = {0},
  citedby = {0},
  pages = {391-405},
  booktitle = {OOPSLA},
}

@article{Meyer88a,
  title = {Cépage: Toward computer-aided design of software},
  author = {Bertrand Meyer},
  year = {1988},
  doi = {10.1016/0164-1212(88)90033-7},
  url = {http://dx.doi.org/10.1016/0164-1212(88)90033-7},
  tags = {design},
  researchr = {https://researchr.org/publication/Meyer88a},
  cites = {0},
  citedby = {0},
  journal = {jss},
  volume = {8},
  number = {5},
  pages = {419-429},
}

@article{MeyerNM02,
  title = {In Memory of Kristen Nygaard and Ole-Johan Dahl},
  author = {Bertrand Meyer and Kristen Nygaard and Ole Lehrmann Madsen},
  year = {2002},
  url = {http://www.jot.fm/issues/issue_2002_09/eulogy},
  researchr = {https://researchr.org/publication/MeyerNM02},
  cites = {0},
  citedby = {0},
  journal = {jot},
  volume = {1},
  number = {4},
  pages = {7-15},
}
@proceedings{tools:5-1991,
  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 = {Timothy D. Korson and Vijay Vashnavi and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-923178-1},
}

@proceedings{tools:6-1992,
  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 = {John Potter and Mario Tokoro and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-926940-1},
}

@proceedings{tap:2007,
  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 = {Yuri Gurevich and Bertrand Meyer},
  volume = {4454},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73769-8},
}

@proceedings{tools:7-1992,
  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 = {Georg Heeg and Boris Magnusson and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-917436-2},
}

@proceedings{tools:11-1993,
  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 = {Raimund K. Ege and Madhu S. Singh and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-103979-2},
}

@proceedings{tools:13-1994,
  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 = {Boris Magnusson and Bertrand Meyer and Jean-Marc Nerson and Jean-François Perrot},
  publisher = {Prentice Hall},
  isbn = {0-13-350539-1},
}

@proceedings{ifip2:2007,
  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 = {Bertrand Meyer and Jerzy R. Nawrocki and Bartosz Walter},
  volume = {5082},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85278-0},
}

@proceedings{tools:12-1993,
  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 = {Christine Mingins and William Haebich and John Potter and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-124512-0},
}

@proceedings{tools:28-1998,
  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 = {Christine Mingins and Bertrand Meyer},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0053-6},
}

@proceedings{tools:8-1992,
  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 = {Raimund K. Ege and Madhu S. Singh and Bertrand Meyer},
  publisher = {Prentice Hall},
  isbn = {0-13-042441-2},
}

@proceedings{tools:34-2000,
  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 = {Qizoyan Li and Donald Firesmith and Richard Riehle and Bertrand Meyer},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0774-3},
}

@proceedings{tools:46-2008,
  title = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008},
  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},
  conference = {TOOLS},
  editor = {Richard F. Paige and Bertrand Meyer},
  volume = {11},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-540-69823-4},
}

@proceedings{tools:10-1993,
  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 = {Boris Magnusson and Bertrand Meyer and Jean-François Perrot},
  publisher = {Prentice Hall},
  isbn = {0-13-097114-6},
}

@proceedings{vstte:2005,
  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 = {10.1007/978-3-540-69149-5},
  url = {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 = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@proceedings{dics:2006,
  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 = {Jürg Kohlas and Bertrand Meyer and André Schiper},
  volume = {4028},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-36821-3},
}

@proceedings{tools:30-1999,
  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 = {Donald Firesmith and Richard Riehle and Gilda Pour and Bertrand Meyer},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0278-4},
}

@proceedings{seafood:2007,
  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 = {Bertrand Meyer and Mathai Joseph},
  volume = {4716},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75541-8},
}