Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bertrand Meyer 0001
@article{DBLP:journals/fac/MeyerAK24,
author = {Bertrand Meyer and
Alisa Arkadova and
Alexander Kogtenkov},
title = {The Concept of Class Invariant in Object-oriented Programming},
journal = {Formal Aspects Comput.},
volume = {36},
number = {1},
pages = {5:1--5:38},
year = {2024},
url = {https://doi.org/10.1145/3626201},
doi = {10.1145/3626201},
timestamp = {Tue, 16 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MeyerAK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-14471,
author = {Bertrand Meyer and
Viktoryia Kananchuk and
Li Huang},
title = {{BUGFIX:} towards a common language and framework for the AutomaticProgram
Repair community},
journal = {CoRR},
volume = {abs/2402.14471},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.14471},
doi = {10.48550/ARXIV.2402.14471},
eprinttype = {arXiv},
eprint = {2402.14471},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-14471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-08923,
author = {Bertrand Meyer},
title = {Loop unrolling (for test coverage): formal definition},
journal = {CoRR},
volume = {abs/2403.08923},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.08923},
doi = {10.48550/ARXIV.2403.08923},
eprinttype = {arXiv},
eprint = {2403.08923},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-08923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/NaumchevaENBGM23,
author = {Maria Naumcheva and
Sophie Ebersold and
Alexandr Naumchev and
Jean{-}Michel Bruel and
Florian Galinier and
Bertrand Meyer},
title = {Object-Oriented Requirements: a Unified Framework for Specifications,
Scenarios and Tests},
journal = {J. Object Technol.},
volume = {22},
number = {1},
pages = {1--19},
year = {2023},
url = {https://doi.org/10.5381/jot.2023.22.1.a3},
doi = {10.5381/JOT.2023.22.1.A3},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/NaumchevaENBGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HuangM23,
author = {Li Huang and
Bertrand Meyer},
title = {A failed proof can yield a useful test},
journal = {Softw. Test. Verification Reliab.},
volume = {33},
number = {7},
year = {2023},
url = {https://doi.org/10.1002/stvr.1859},
doi = {10.1002/STVR.1859},
timestamp = {Fri, 17 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/HuangM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HuangMO23,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Paolo Salvaneschi},
title = {Seeding Contradiction: {A} Fast Method for Generating Full-Coverage
Test Suites},
booktitle = {Testing Software and Systems - 35th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2023, Bergamo, Italy, September 18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14131},
pages = {52--70},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43240-8\_4},
doi = {10.1007/978-3-031-43240-8\_4},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/HuangMO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fisee/2023,
editor = {Alfredo Capozucca and
Sophie Ebersold and
Jean{-}Michel Bruel and
Bertrand Meyer},
title = {Frontiers in Software Engineering Education - Second International
Workshop, {FISEE} 2023, Villebrumier, France, January 23-25, 2023,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {14387},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48639-5},
doi = {10.1007/978-3-031-48639-5},
isbn = {978-3-031-48638-8},
timestamp = {Sat, 09 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fisee/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02206,
author = {Li Huang and
Sophie Ebersold and
Alexander Kogtenkov and
Alexandr Naumchev and
Bertrand Meyer and
Yinling Liu and
ALiyu Alege},
title = {Lessons from Formally Verified Deployed Software Systems},
journal = {CoRR},
volume = {abs/2301.02206},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02206},
doi = {10.48550/ARXIV.2301.02206},
eprinttype = {arXiv},
eprint = {2301.02206},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02206.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04232,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
title = {Seeding Contradiction: a fast method for generating full-coverage
test suites},
journal = {CoRR},
volume = {abs/2309.04232},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04232},
doi = {10.48550/ARXIV.2309.04232},
eprinttype = {arXiv},
eprint = {2309.04232},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Meyer22,
author = {Bertrand Meyer},
title = {Handbook of Requirements and Business Analysis},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06739-6},
doi = {10.1007/978-3-031-06739-6},
isbn = {978-3-031-06738-9},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Meyer22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BruelEGMNM21,
author = {Jean{-}Michel Bruel and
Sophie Ebersold and
Florian Galinier and
Manuel Mazzara and
Alexandr Naumchev and
Bertrand Meyer},
title = {The Role of Formalism in System Requirements},
journal = {{ACM} Comput. Surv.},
volume = {54},
number = {5},
pages = {93:1--93:36},
year = {2022},
url = {https://doi.org/10.1145/3448975},
doi = {10.1145/3448975},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/BruelEGMNM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/CapozuccaBMM22,
author = {Alfredo Capozucca and
Jean{-}Michel Bruel and
Manuel Mazzara and
Bertrand Meyer},
title = {Special Issue on New Paradigms of Software Production and Deployment},
journal = {{SN} Comput. Sci.},
volume = {3},
number = {2},
pages = {132},
year = {2022},
url = {https://doi.org/10.1007/s42979-022-01029-9},
doi = {10.1007/S42979-022-01029-9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sncs/CapozuccaBMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Huang0O22,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
title = {Improving Counterexample Quality from Failed Program Verification},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} 2022 - Workshops, Charlotte, NC, USA, October 31
- Nov. 3, 2022},
pages = {268--273},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSREW55968.2022.00078},
doi = {10.1109/ISSREW55968.2022.00078},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Huang0O22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-09873,
author = {Li Huang and
Bertrand Meyer},
title = {A Failed Proof Can Yield a Useful Test},
journal = {CoRR},
volume = {abs/2208.09873},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.09873},
doi = {10.48550/ARXIV.2208.09873},
eprinttype = {arXiv},
eprint = {2208.09873},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-09873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-10492,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
title = {Improving Counterexample Quality from Failed Program Verification},
journal = {CoRR},
volume = {abs/2208.10492},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.10492},
doi = {10.48550/ARXIV.2208.10492},
eprinttype = {arXiv},
eprint = {2208.10492},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-10492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02189,
author = {Maria Naumcheva and
Sophie Ebersold and
Alexandr Naumchev and
Jean{-}Michel Bruel and
Florian Galinier and
Bertrand Meyer},
title = {Object-Oriented Requirements: a Unified Framework for Specifications,
Scenarios and Tests},
journal = {CoRR},
volume = {abs/2209.02189},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02189},
doi = {10.48550/ARXIV.2209.02189},
eprinttype = {arXiv},
eprint = {2209.02189},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16597,
author = {Bertrand Meyer},
title = {Right and wrong: ten choices in language design},
journal = {CoRR},
volume = {abs/2211.16597},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16597},
doi = {10.48550/ARXIV.2211.16597},
eprinttype = {arXiv},
eprint = {2211.16597},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06557,
author = {Bertrand Meyer and
Alisa Arkadova and
Alexander Kogtenkov and
Alexandr Naumchev},
title = {The concept of class invariant in object-oriented programming},
journal = {CoRR},
volume = {abs/2109.06557},
year = {2021},
url = {https://arxiv.org/abs/2109.06557},
eprinttype = {arXiv},
eprint = {2109.06557},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/000120,
author = {Bertrand Meyer},
title = {In search of the shortest possible schedule},
journal = {Commun. {ACM}},
volume = {63},
number = {1},
pages = {8--9},
year = {2020},
url = {https://doi.org/10.1145/3371385},
doi = {10.1145/3371385},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/Rivera020,
author = {Victor Rivera and
Bertrand Meyer},
title = {AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented
Programs},
journal = {{SN} Comput. Sci.},
volume = {1},
number = {1},
pages = {12:1--12:15},
year = {2020},
url = {https://doi.org/10.1007/s42979-019-0012-1},
doi = {10.1007/S42979-019-0012-1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sncs/Rivera020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/000120a,
author = {Bertrand Meyer},
editor = {Leon Strous and
Roger Johnson and
David Alan Grier and
Doron Swade},
title = {Software Engineering, Across Two Centuries},
booktitle = {Unimagined Futures - {ICT} Opportunities and Challenges},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {555},
pages = {94--104},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64246-4\_8},
doi = {10.1007/978-3-030-64246-4\_8},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/20/000120a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/devops-ws/2019,
editor = {Jean{-}Michel Bruel and
Manuel Mazzara and
Bertrand Meyer},
title = {Software Engineering Aspects of Continuous Development and New Paradigms
of Software Production and Deployment - Second International Workshop,
{DEVOPS} 2019, Ch{\^{a}}teau de Villebrumier, France, May 6-8, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12055},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39306-9},
doi = {10.1007/978-3-030-39306-9},
isbn = {978-3-030-39305-2},
timestamp = {Tue, 21 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/devops-ws/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fisee/2019,
editor = {Jean{-}Michel Bruel and
Alfredo Capozucca and
Manuel Mazzara and
Bertrand Meyer and
Alexandr Naumchev and
Andrey Sadovykh},
title = {Frontiers in Software Engineering Education - First International
Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {12271},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57663-9},
doi = {10.1007/978-3-030-57663-9},
isbn = {978-3-030-57662-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fisee/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/NaumchevMMGBE19,
author = {Alexandr Naumchev and
Bertrand Meyer and
Manuel Mazzara and
Florian Galinier and
Jean{-}Michel Bruel and
Sophie Ebersold},
title = {AutoReq: Expressing and verifying requirements for control systems},
journal = {J. Comput. Lang.},
volume = {51},
pages = {131--142},
year = {2019},
url = {https://doi.org/10.1016/j.cola.2019.02.004},
doi = {10.1016/J.COLA.2019.02.004},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlc/NaumchevMMGBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/0001BEGN19,
author = {Bertrand Meyer and
Jean{-}Michel Bruel and
Sophie Ebersold and
Florian Galinier and
Alexandr Naumchev},
editor = {Manuel Mazzara and
Jean{-}Michel Bruel and
Bertrand Meyer and
Alexander K. Petrenko},
title = {Towards an Anatomy of Software Requirements},
booktitle = {Software Technology: Methods and Tools - 51st International Conference,
{TOOLS} 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11771},
pages = {10--40},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29852-4\_2},
doi = {10.1007/978-3-030-29852-4\_2},
timestamp = {Wed, 24 Jun 2020 11:26:48 +0200},
biburl = {https://dblp.org/rec/conf/tools/0001BEGN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2018d,
editor = {Jean{-}Michel Bruel and
Manuel Mazzara and
Bertrand Meyer},
title = {Software Engineering Aspects of Continuous Development and New Paradigms
of Software Production and Deployment - First International Workshop,
{DEVOPS} 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11350},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-06019-0},
doi = {10.1007/978-3-030-06019-0},
isbn = {978-3-030-06018-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/laser/2018d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/2019,
editor = {Manuel Mazzara and
Jean{-}Michel Bruel and
Bertrand Meyer and
Alexander K. Petrenko},
title = {Software Technology: Methods and Tools - 51st International Conference,
{TOOLS} 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11771},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29852-4},
doi = {10.1007/978-3-030-29852-4},
isbn = {978-3-030-29851-7},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-06614,
author = {Bertrand Meyer and
Jean{-}Michel Bruel and
Sophie Ebersold and
Florian Galinier and
Alexandr Naumchev},
title = {The Anatomy of Requirements},
journal = {CoRR},
volume = {abs/1906.06614},
year = {2019},
url = {http://arxiv.org/abs/1906.06614},
eprinttype = {arXiv},
eprint = {1906.06614},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-06614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-02564,
author = {Jean{-}Michel Bruel and
Sophie Ebersold and
Florian Galinier and
Alexandr Naumchev and
Manuel Mazzara and
Bertrand Meyer},
title = {Formality in Software Requirements},
journal = {CoRR},
volume = {abs/1911.02564},
year = {2019},
url = {http://arxiv.org/abs/1911.02564},
eprinttype = {arXiv},
eprint = {1911.02564},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-02564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GuzdialM18,
author = {Mark Guzdial and
Bertrand Meyer},
title = {The costs and pleasures of a computer science teacher},
journal = {Commun. {ACM}},
volume = {61},
number = {3},
pages = {12--13},
year = {2018},
url = {https://doi.org/10.1145/3178118},
doi = {10.1145/3178118},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/GuzdialM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Meyer18,
author = {Bertrand Meyer},
title = {Making Sense of Agile Methods},
journal = {{IEEE} Softw.},
volume = {35},
number = {2},
pages = {91--94},
year = {2018},
url = {https://doi.org/10.1109/MS.2018.1661325},
doi = {10.1109/MS.2018.1661325},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/Meyer18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-08748,
author = {Victor Rivera and
Bertrand Meyer},
title = {AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented
Programs},
journal = {CoRR},
volume = {abs/1808.08748},
year = {2018},
url = {http://arxiv.org/abs/1808.08748},
eprinttype = {arXiv},
eprint = {1808.08748},
timestamp = {Mon, 17 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08748.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-08751,
author = {Victor Rivera and
Bertrand Meyer},
title = {AutoFrame: Automatic Frame Inference for Object-Oriented Languages},
journal = {CoRR},
volume = {abs/1808.08751},
year = {2018},
url = {http://arxiv.org/abs/1808.08751},
eprinttype = {arXiv},
eprint = {1808.08751},
timestamp = {Mon, 17 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer17,
author = {Bertrand Meyer},
title = {Ending null pointer crashes},
journal = {Commun. {ACM}},
volume = {60},
number = {5},
pages = {8--9},
year = {2017},
url = {https://doi.org/10.1145/3057284},
doi = {10.1145/3057284},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/NaumchevM17,
author = {Alexandr Naumchev and
Bertrand Meyer},
title = {Seamless requirements},
journal = {Comput. Lang. Syst. Struct.},
volume = {49},
pages = {119--132},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2017.04.001},
doi = {10.1016/J.CL.2017.04.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/NaumchevM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CaltaisM17,
author = {Georgiana Caltais and
Bertrand Meyer},
title = {On the verification of {SCOOP} programs},
journal = {Sci. Comput. Program.},
volume = {133},
pages = {194--215},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2016.08.005},
doi = {10.1016/J.SCICO.2016.08.005},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CaltaisM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/GalinierBEM17,
author = {Florian Galinier and
Jean{-}Michel Bruel and
Sophie Ebersold and
Bertrand Meyer},
title = {Seamless Integration of Multirequirements in Complex Systems},
booktitle = {{IEEE} 25th International Requirements Engineering Conference Workshops,
{RE} 2017 Workshops, Lisbon, Portugal, September 4-8, 2017},
pages = {21--25},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/REW.2017.38},
doi = {10.1109/REW.2017.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/GalinierBEM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/MM2017,
editor = {Manuel Mazzara and
Bertrand Meyer},
title = {Present and Ulterior Software Engineering},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67425-4},
doi = {10.1007/978-3-319-67425-4},
isbn = {978-3-319-67424-7},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/MM2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NaumchevM17,
author = {Alexandr Naumchev and
Bertrand Meyer},
title = {Seamless Requirements},
journal = {CoRR},
volume = {abs/1704.04189},
year = {2017},
url = {http://arxiv.org/abs/1704.04189},
eprinttype = {arXiv},
eprint = {1704.04189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NaumchevM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NaumchevMMBGE17,
author = {Alexandr Naumchev and
Manuel Mazzara and
Bertrand Meyer and
Jean{-}Michel Bruel and
Florian Galinier and
Sophie Ebersold},
title = {A contract-based method to specify stimulus-response requirements},
journal = {CoRR},
volume = {abs/1704.04905},
year = {2017},
url = {http://arxiv.org/abs/1704.04905},
eprinttype = {arXiv},
eprint = {1704.04905},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/NaumchevMMBGE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02801,
author = {Alexandr Naumchev and
Bertrand Meyer and
Manuel Mazzara and
Florian Galinier and
Jean{-}Michel Bruel and
Sophie Ebersold},
title = {Expressing and verifying embedded software requirements},
journal = {CoRR},
volume = {abs/1710.02801},
year = {2017},
url = {http://arxiv.org/abs/1710.02801},
eprinttype = {arXiv},
eprint = {1710.02801},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-05078,
author = {Bertrand Meyer},
title = {Fourteen Years of Software Engineering at {ETH} Zurich},
journal = {CoRR},
volume = {abs/1712.05078},
year = {2017},
url = {http://arxiv.org/abs/1712.05078},
eprinttype = {arXiv},
eprint = {1712.05078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-05078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/ShinRM16,
author = {Jiwon Shin and
Andrey Rusakov and
Bertrand Meyer},
title = {SmartWalker: An intelligent robotic walker},
journal = {J. Ambient Intell. Smart Environ.},
volume = {8},
number = {4},
pages = {383--398},
year = {2016},
url = {https://doi.org/10.3233/AIS-160383},
doi = {10.3233/AIS-160383},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/ShinRM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SchillPM16,
author = {Mischael Schill and
Christopher M. Poskitt and
Bertrand Meyer},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {An Interference-Free Programming Model for Network Objects},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {227--244},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_14},
doi = {10.1007/978-3-319-39519-7\_14},
timestamp = {Sat, 05 Sep 2020 17:56:31 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SchillPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/NaumchevM16,
author = {Alexandr Naumchev and
Bertrand Meyer},
title = {Complete Contracts through Specification Drivers},
booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2016, Shanghai, China, July 17-19, 2016},
pages = {160--167},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/TASE.2016.13},
doi = {10.1109/TASE.2016.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/NaumchevM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NaumchevM16,
author = {Alexandr Naumchev and
Bertrand Meyer},
title = {Complete contracts through specification drivers},
journal = {CoRR},
volume = {abs/1602.04007},
year = {2016},
url = {http://arxiv.org/abs/1602.04007},
eprinttype = {arXiv},
eprint = {1602.04007},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NaumchevM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NaumchevMR16,
author = {Alexandr Naumchev and
Bertrand Meyer and
Victor Rivera},
title = {Unifying Requirements and Code: an Example},
journal = {CoRR},
volume = {abs/1602.05395},
year = {2016},
url = {http://arxiv.org/abs/1602.05395},
eprinttype = {arXiv},
eprint = {1602.05395},
timestamp = {Mon, 17 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NaumchevMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchillPM16,
author = {Mischael Schill and
Christopher M. Poskitt and
Bertrand Meyer},
title = {An Interference-Free Programming Model for Network Objects},
journal = {CoRR},
volume = {abs/1604.04591},
year = {2016},
url = {http://arxiv.org/abs/1604.04591},
eprinttype = {arXiv},
eprint = {1604.04591},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchillPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Meyer16b,
author = {Bertrand Meyer},
title = {Class Invariants: Concepts, Problems, Solutions},
journal = {CoRR},
volume = {abs/1608.07637},
year = {2016},
url = {http://arxiv.org/abs/1608.07637},
eprinttype = {arXiv},
eprint = {1608.07637},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Meyer16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KogtenkovMV15,
author = {Alexander Kogtenkov and
Bertrand Meyer and
Sergey Velder},
title = {Alias calculus, change calculus and frame inference},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {163--172},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.006},
doi = {10.1016/J.SCICO.2013.11.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KogtenkovMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecss/Meyer15,
author = {Bertrand Meyer},
editor = {Hannes Werthner and
Frank van Harmelen},
title = {Rational Ethics},
booktitle = {Informatics in the Future - Proceedings of the 11th European Computer
Science Summit, {ECSS} 2015, Vienna, Austria, October 2015},
pages = {49--64},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-55735-9\_5},
doi = {10.1007/978-3-319-55735-9\_5},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecss/Meyer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/NaumchevMR15,
author = {Alexandr Naumchev and
Bertrand Meyer and
V{\'{\i}}ctor Rivera},
editor = {Manuel Mazzara and
Andrei Voronkov},
title = {Unifying Requirements and Code: An Example},
booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {233--244},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_18},
doi = {10.1007/978-3-319-41579-6\_18},
timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
biburl = {https://dblp.org/rec/conf/ershov/NaumchevMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/KolesnichenkoPN15,
author = {Alexey Kolesnichenko and
Christopher M. Poskitt and
Sebastian Nanz and
Bertrand Meyer},
editor = {Christian K{\"{a}}stner and
Aniruddha S. Gokhale},
title = {Contract-based general-purpose {GPU} programming},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2015, Pittsburgh,
PA, USA, October 26-27, 2015},
pages = {75--84},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814204.2814216},
doi = {10.1145/2814204.2814216},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/KolesnichenkoPN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ShinRM15,
author = {Jiwon Shin and
Andrey Rusakov and
Bertrand Meyer},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Concurrent Software Engineering and Robotics Education},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {370--379},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.169},
doi = {10.1109/ICSE.2015.169},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ShinRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001FNM15,
author = {Yu Pei and
Carlo A. Furia and
Mart{\'{\i}}n Nordio and
Bertrand Meyer},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Automated Program Repair in an Integrated Development Environment},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {681--684},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.222},
doi = {10.1109/ICSE.2015.222},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001FNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/ShinIRM15,
author = {Jiwon Shin and
David Itten and
Andrey Rusakov and
Bertrand Meyer},
title = {SmartWalker: Towards an Intelligent Robotic Walker for the Elderly},
booktitle = {2015 International Conference on Intelligent Environments, {IE} 2015,
Prague, Czech Republic, July 15-17, 2015},
pages = {9--16},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IE.2015.10},
doi = {10.1109/IE.2015.10},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/intenv/ShinIRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RusakovSM15,
author = {Andrey Rusakov and
Jiwon Shin and
Bertrand Meyer},
title = {Concurrency patterns for easier robotic coordination},
booktitle = {2015 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2015, Hamburg, Germany, September 28 - October 2,
2015},
pages = {3500--3505},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IROS.2015.7353865},
doi = {10.1109/IROS.2015.7353865},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/RusakovSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/AntonucciENPM15,
author = {Paolo Antonucci and
H.{-}Christian Estler and
Durica Nikolic and
Marco Piccioni and
Bertrand Meyer},
editor = {Valentina Dagiene and
Carsten Schulte and
Tatjana Jevsikova},
title = {An Incremental Hint System For Automated Programming Assignments},
booktitle = {Proceedings of the 2015 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCS 2015, Vilnius, Lithuania, July
4-8, 2015},
pages = {320--325},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2729094.2742607},
doi = {10.1145/2729094.2742607},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/AntonucciENPM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/ShinSM15,
author = {Jiwon Shin and
Ivo Steinmann and
Bertrand Meyer},
editor = {Fillia Makedon},
title = {Automatic speed control for SmartWalker},
booktitle = {Proceedings of the 8th {ACM} International Conference on PErvasive
Technologies Related to Assistive Environments, {PETRA} 2015, Corfu,
Greece, July 1-3, 2015},
pages = {9:1--9:4},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2769493.2769565},
doi = {10.1145/2769493.2769565},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/petra/ShinSM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/WestNM15,
author = {Scott West and
Sebastian Nanz and
Bertrand Meyer},
editor = {Albert Cohen and
David Grove},
title = {Efficient and reasonable object-oriented concurrency},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
February 7-11, 2015},
pages = {273--274},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688500.2688545},
doi = {10.1145/2688500.2688545},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/WestNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WestNM15,
author = {Scott West and
Sebastian Nanz and
Bertrand Meyer},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Efficient and reasonable object-oriented concurrency},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {734--744},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786822},
doi = {10.1145/2786805.2786822},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WestNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Meyer15,
author = {Bertrand Meyer},
editor = {Maximilian Irlbeck and
Doron A. Peled and
Alexander Pretschner},
title = {Framing the Frame Problem},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {40},
pages = {193--203},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-495-4-193},
doi = {10.3233/978-1-61499-495-4-193},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/natosec/Meyer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2014,
editor = {Bertrand Meyer and
Martin Nordio},
title = {Software Engineering - International Summer Schools, {LASER} 2013-2014,
Elba, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8987},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28406-4},
doi = {10.1007/978-3-319-28406-4},
isbn = {978-3-319-28405-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/laser/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaltaisM15,
author = {Georgiana Caltais and
Bertrand Meyer},
title = {On the Verification of {SCOOP} Programs},
journal = {CoRR},
volume = {abs/1504.07041},
year = {2015},
url = {http://arxiv.org/abs/1504.07041},
eprinttype = {arXiv},
eprint = {1504.07041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaltaisM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Meyer15,
author = {Bertrand Meyer},
title = {Theory of Programs},
journal = {CoRR},
volume = {abs/1507.00723},
year = {2015},
url = {http://arxiv.org/abs/1507.00723},
eprinttype = {arXiv},
eprint = {1507.00723},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Meyer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Meyer14,
author = {Bertrand Meyer},
title = {Agile! - The Good, the Hype and the Ugly},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-05155-0},
doi = {10.1007/978-3-319-05155-0},
isbn = {978-3-319-05154-3},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Meyer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaMV14,
author = {Carlo A. Furia and
Bertrand Meyer and
Sergey Velder},
title = {Loop invariants: Analysis, classification, and examples},
journal = {{ACM} Comput. Surv.},
volume = {46},
number = {3},
pages = {34:1--34:51},
year = {2014},
url = {https://doi.org/10.1145/2506375},
doi = {10.1145/2506375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/FuriaMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/EstlerNFMS14,
author = {Hans{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer and
Johannes Schneider},
title = {Agile vs. structured distributed software development: {A} case study},
journal = {Empir. Softw. Eng.},
volume = {19},
number = {5},
pages = {1197--1224},
year = {2014},
url = {https://doi.org/10.1007/s10664-013-9271-y},
doi = {10.1007/S10664-013-9271-Y},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/EstlerNFMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/0001FNWMZ14,
author = {Yu Pei and
Carlo A. Furia and
Martin Nordio and
Yi Wei and
Bertrand Meyer and
Andreas Zeller},
title = {Automated Fixing of Programs with Contracts},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {5},
pages = {427--449},
year = {2014},
url = {https://doi.org/10.1109/TSE.2014.2312918},
doi = {10.1109/TSE.2014.2312918},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/0001FNWMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MeyerK14,
author = {Bertrand Meyer and
Alexander Kogtenkov},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Negative Variables and the Essence of Object-Oriented Programming},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {171--187},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_9},
doi = {10.1007/978-3-642-54624-2\_9},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MeyerK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/MorandiNM14,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
editor = {Eva K{\"{u}}hn and
Rosario Pugliese},
title = {Safe and Efficient Data Sharing for Message-Passing Concurrency},
booktitle = {Coordination Models and Languages - 16th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2014, Held as Part of the 9th International
Federated Conferences on Distributed Computing Techniques, DisCoTec
2014, Berlin, Germany, June 3-5, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8459},
pages = {99--114},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43376-8\_7},
doi = {10.1007/978-3-662-43376-8\_7},
timestamp = {Tue, 15 Nov 2022 15:22:35 +0100},
biburl = {https://dblp.org/rec/conf/coordination/MorandiNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/NordioEMAPNS14,
author = {Mart{\'{\i}}n Nordio and
H.{-}Christian Estler and
Bertrand Meyer and
Nazareno Aguirre and
Rafael Prikladnicki and
Elisabetta Di Nitto and
Anthony Savidis},
editor = {Andreas Bollin and
Elke Hochm{\"{u}}ller and
Roland T. Mittermeir and
Tony Cowling and
Richard LeBlanc},
title = {An experiment on teaching coordination in a globally distributed software
engineering class},
booktitle = {27th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2014, Klagenfurt, Austria, April 23-25, 2014},
pages = {109--118},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CSEET.2014.6816788},
doi = {10.1109/CSEET.2014.6816788},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/NordioEMAPNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Meyer14,
author = {Bertrand Meyer},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {An Automatic Technique for Static Deadlock Prevention},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {45--58},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_4},
doi = {10.1007/978-3-662-46823-4\_4},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Meyer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/0001FNM14,
author = {Yu Pei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Automatic Program Repair by Fixing Contracts},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {246--260},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_17},
doi = {10.1007/978-3-642-54804-8\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/0001FNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EstlerFNPM14,
author = {H.{-}Christian Estler and
Carlo A. Furia and
Martin Nordio and
Marco Piccioni and
Bertrand Meyer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Contracts in Practice},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {230--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_17},
doi = {10.1007/978-3-319-06410-9\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/EstlerFNPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PolikarpovaTFM14,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia and
Bertrand Meyer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Flexible Invariants through Semantic Collaboration},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {514--530},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_35},
doi = {10.1007/978-3-319-06410-9\_35},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PolikarpovaTFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFM14,
author = {H.{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer},
title = {Awareness and Merge Conflicts in Distributed Software Development},
booktitle = {{IEEE} 9th International Conference on Global Software Engineering,
{ICGSE} 2014, Shanghai, China, 18-21 August, 2014},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICGSE.2014.17},
doi = {10.1109/ICGSE.2014.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/EstlerNFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RusakovSM14,
author = {Andrey Rusakov and
Jiwon Shin and
Bertrand Meyer},
title = {Simple concurrency for robotics with the Roboscoop framework},
booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2014, Chicago, IL, USA, September 14-18, 2014},
pages = {1563--1569},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/IROS.2014.6942763},
doi = {10.1109/IROS.2014.6942763},
timestamp = {Tue, 05 Sep 2023 15:07:47 +0200},
biburl = {https://dblp.org/rec/conf/iros/RusakovSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PiccioniEM14,
author = {Marco Piccioni and
H.{-}Christian Estler and
Bertrand Meyer},
editor = {{\AA}sa Cajander and
Mats Daniels and
Tony Clear and
Arnold Pears},
title = {SPOC-supported introduction to programming},
booktitle = {Innovation and Technology in Computer Science Education Conference
2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014},
pages = {3--8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591708.2591759},
doi = {10.1145/2591708.2591759},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PiccioniEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/Meyer14,
author = {Bertrand Meyer},
editor = {Bertrand Meyer and
Martin Nordio},
title = {Theory of Programs},
booktitle = {Software Engineering - International Summer Schools, {LASER} 2013-2014,
Elba, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {8987},
pages = {159--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-28406-4\_6},
doi = {10.1007/978-3-319-28406-4\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/laser/Meyer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Meyer14,
author = {Bertrand Meyer},
title = {Keynote talk {IIP:} Proving (and revisiting) what programs do not},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {144},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961852},
doi = {10.1109/MEMCOD.2014.6961852},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Meyer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qosa/Meyer14,
author = {Bertrand Meyer},
editor = {Lionel Seinturier and
Tom{\'{a}}s Bures and
John D. McGregor},
title = {Trust or verify?},
booktitle = {QoSA'14, Proceedings of the 10th International {ACM} {SIGSOFT} Conference
on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul,
Lille, France, June 30 - July 04, 2014},
pages = {1--2},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2602576.2611460},
doi = {10.1145/2602576.2611460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qosa/Meyer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001FNWMZ14,
author = {Yu Pei and
Carlo A. Furia and
Martin Nordio and
Yi Wei and
Bertrand Meyer and
Andreas Zeller},
title = {Automated Fixing of Programs with Contracts},
journal = {CoRR},
volume = {abs/1403.1117},
year = {2014},
url = {http://arxiv.org/abs/1403.1117},
eprinttype = {arXiv},
eprint = {1403.1117},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001FNWMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WestNM14,
author = {Scott West and
Sebastian Nanz and
Bertrand Meyer},
title = {Efficient and Reasonable Object-Oriented Concurrency},
journal = {CoRR},
volume = {abs/1405.7153},
year = {2014},
url = {http://arxiv.org/abs/1405.7153},
eprinttype = {arXiv},
eprint = {1405.7153},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WestNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ShinRM14,
author = {Jiwon Shin and
Andrey Rusakov and
Bertrand Meyer},
title = {Teaching Software Engineering through Robotics},
journal = {CoRR},
volume = {abs/1406.4458},
year = {2014},
url = {http://arxiv.org/abs/1406.4458},
eprinttype = {arXiv},
eprint = {1406.4458},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ShinRM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchillNM14,
author = {Mischael Schill and
Sebastian Nanz and
Bertrand Meyer},
title = {Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership},
journal = {CoRR},
volume = {abs/1407.1245},
year = {2014},
url = {http://arxiv.org/abs/1407.1245},
eprinttype = {arXiv},
eprint = {1407.1245},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchillNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CaltaisM14,
author = {Georgiana Caltais and
Bertrand Meyer},
title = {Coffman deadlocks in {SCOOP}},
journal = {CoRR},
volume = {abs/1409.7514},
year = {2014},
url = {http://arxiv.org/abs/1409.7514},
eprinttype = {arXiv},
eprint = {1409.7514},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaltaisM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KolesnichenkoPNM14,
author = {Alexey Kolesnichenko and
Christopher M. Poskitt and
Sebastian Nanz and
Bertrand Meyer},
title = {Contract-Based General-Purpose {GPU} Programming},
journal = {CoRR},
volume = {abs/1410.6685},
year = {2014},
url = {http://arxiv.org/abs/1410.6685},
eprinttype = {arXiv},
eprint = {1410.6685},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KolesnichenkoPNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer13,
author = {Bertrand Meyer},
title = {When reviews do more than sting},
journal = {Commun. {ACM}},
volume = {56},
number = {2},
pages = {8--9},
year = {2013},
url = {https://doi.org/10.1145/2408776.2408780},
doi = {10.1145/2408776.2408780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/NanzTPM13,
author = {Sebastian Nanz and
Faraz Torshizi and
Michela Pedroni and
Bertrand Meyer},
title = {Design of an empirical study for comparing the usability of concurrent
programming languages},
journal = {Inf. Softw. Technol.},
volume = {55},
number = {7},
pages = {1304--1315},
year = {2013},
url = {https://doi.org/10.1016/j.infsof.2012.08.013},
doi = {10.1016/J.INFSOF.2012.08.013},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/NanzTPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PiccioniOM13,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer},
title = {Class Schema Evolution for Persistent Object-Oriented Software: Model,
Empirical Study, and Automated Support},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {2},
pages = {184--196},
year = {2013},
url = {https://doi.org/10.1109/TSE.2011.123},
doi = {10.1109/TSE.2011.123},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PiccioniOM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MorandiSNM13,
author = {Benjamin Morandi and
Mischael Schill and
Sebastian Nanz and
Bertrand Meyer},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Prototyping a Concurrency Model},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.21},
doi = {10.1109/ACSD.2013.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MorandiSNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/EstlerNFM13,
author = {H.{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer},
title = {Unifying Configuration Management with Merge Conflict Detection and
Awareness Systems},
booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
4-7 June 2013, Melbourne, Victoria, Australia},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASWEC.2013.32},
doi = {10.1109/ASWEC.2013.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/EstlerNFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TrudelFNM13,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Giuseppe Castagna},
title = {Really Automatic Scalable Object-Oriented Reengineering},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {477--501},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_20},
doi = {10.1007/978-3-642-39038-8\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/TrudelFNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/PiccioniFM13,
author = {Marco Piccioni and
Carlo A. Furia and
Bertrand Meyer},
title = {An Empirical Study of {API} Usability},
booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
2013},
pages = {5--14},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ESEM.2013.14},
doi = {10.1109/ESEM.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/PiccioniFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/NanzWSM13,
author = {Sebastian Nanz and
Scott West and
Kaue Soares da Silveira and
Bertrand Meyer},
title = {Benchmarking Usability and Performance of Multicore Languages},
booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
2013},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ESEM.2013.10},
doi = {10.1109/ESEM.2013.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/NanzWSM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFM13,
author = {H.{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer},
title = {Collaborative Debugging},
booktitle = {8th {IEEE} International Conference on Global Software Engineering,
{ICGSE} 2013, Bari, Italy, August 26-29, 2013},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICGSE.2013.21},
doi = {10.1109/ICGSE.2013.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/EstlerNFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PolikarpovaF0WM13,
author = {Nadia Polikarpova and
Carlo A. Furia and
Yu Pei and
Yi Wei and
Bertrand Meyer},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {What good are strong specifications?},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {262--271},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606572},
doi = {10.1109/ICSE.2013.6606572},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PolikarpovaF0WM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/musepat/SchillNM13,
author = {Mischael Schill and
Sebastian Nanz and
Bertrand Meyer},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {Handling Parallelism in a Concurrency Model},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8063},
pages = {37--48},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39955-8\_4},
doi = {10.1007/978-3-642-39955-8\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/musepat/SchillNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/musepat/KolesnichenkoNM13,
author = {Alexey Kolesnichenko and
Sebastian Nanz and
Bertrand Meyer},
editor = {Jo{\~{a}}o Louren{\c{c}}o and
Eitan Farchi},
title = {How to Cancel a Task},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MUSEPAT} 2013, St. Petersburg, Russia, August 19-20,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8063},
pages = {61--72},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39955-8\_6},
doi = {10.1007/978-3-642-39955-8\_6},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/musepat/KolesnichenkoNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FuriaMOTW13,
author = {Carlo A. Furia and
Bertrand Meyer and
Manuel Oriol and
Andrey Tikhomirov and
Yi Wei},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {The search for the laws of automatic random testing},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1211--1216},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480590},
doi = {10.1145/2480362.2480590},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FuriaMOTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MeyerGHS13,
author = {Bertrand Meyer and
Harald C. Gall and
Mark Harman and
Giancarlo Succi},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Empirical answers to fundamental software engineering problems (panel)},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {14--18},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2505430},
doi = {10.1145/2491411.2505430},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MeyerGHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/KolesnichenkoPM13,
author = {Alexey Kolesnichenko and
Christopher M. Poskitt and
Bertrand Meyer},
editor = {G{\"{u}}nther Ruhe and
Yuanyuan Zhang},
title = {Applying Search in an Automatic Contract-Based Testing Tool},
booktitle = {Search Based Software Engineering - 5th International Symposium, {SSBSE}
2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8084},
pages = {318--323},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39742-4\_31},
doi = {10.1007/978-3-642-39742-4\_31},
timestamp = {Thu, 22 Aug 2019 08:46:38 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/KolesnichenkoPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/NordioCM13,
author = {Martin Nordio and
Cristiano Calcagno and
Bertrand Meyer},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {Certificates and Separation Logic},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {273--293},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_16},
doi = {10.1007/978-3-319-05119-2\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/NordioCM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/TschannenFNM13,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Program Checking with Less Hassle},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {149--169},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_8},
doi = {10.1007/978-3-642-54108-7\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/TschannenFNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2013,
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411},
doi = {10.1145/2491411},
isbn = {978-1-4503-2237-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KogtenkovMV13,
author = {Alexander Kogtenkov and
Bertrand Meyer and
Sergey Velder},
title = {Alias and Change Calculi, Applied to Frame Inference},
journal = {CoRR},
volume = {abs/1307.3189},
year = {2013},
url = {http://arxiv.org/abs/1307.3189},
eprinttype = {arXiv},
eprint = {1307.3189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KogtenkovMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SchillNM13,
author = {Mischael Schill and
Sebastian Nanz and
Bertrand Meyer},
title = {Handling Parallelism in a Concurrency Model},
journal = {CoRR},
volume = {abs/1308.0938},
year = {2013},
url = {http://arxiv.org/abs/1308.0938},
eprinttype = {arXiv},
eprint = {1308.0938},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchillNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PolikarpovaTFM13,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia and
Bertrand Meyer},
title = {Flexible Invariants Through Semantic Collaboration},
journal = {CoRR},
volume = {abs/1311.6329},
year = {2013},
url = {http://arxiv.org/abs/1311.6329},
eprinttype = {arXiv},
eprint = {1311.6329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PolikarpovaTFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GuzdialM12,
author = {Mark Guzdial and
Bertrand Meyer},
title = {Understanding {CS1} students; defective software},
journal = {Commun. {ACM}},
volume = {55},
number = {1},
pages = {14--15},
year = {2012},
url = {https://doi.org/10.1145/2063176.2063180},
doi = {10.1145/2063176.2063180},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/GuzdialM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer12,
author = {Bertrand Meyer},
title = {Knowledgeable beginners},
journal = {Commun. {ACM}},
volume = {55},
number = {3},
pages = {10--11},
year = {2012},
url = {https://doi.org/10.1145/2093548.2093551},
doi = {10.1145/2093548.2093551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer12a,
author = {Bertrand Meyer},
title = {Incremental research vs. paradigm-shift mania},
journal = {Commun. {ACM}},
volume = {55},
number = {9},
pages = {8--9},
year = {2012},
url = {https://doi.org/10.1145/2330667.2330670},
doi = {10.1145/2330667.2330670},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MorandiNM12,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
title = {Performance analysis of {SCOOP} programs},
journal = {J. Syst. Softw.},
volume = {85},
number = {11},
pages = {2519--2530},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2012.05.076},
doi = {10.1016/J.JSS.2012.05.076},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/MorandiNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MorandiNM12,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
editor = {Karl R. P. H. Leung and
Pornsiri Muenchaisri},
title = {Who is Accountable for Asynchronous Exceptions?},
booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
Kong, China, December 4-7, 2012},
pages = {462--471},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/APSEC.2012.48},
doi = {10.1109/APSEC.2012.48},
timestamp = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/apsec/MorandiNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WestNM12,
author = {Scott West and
Sebastian Nanz and
Bertrand Meyer},
editor = {Toshiaki Aoki and
Kenji Taguchi},
title = {Demonic Testing of Concurrent Programs},
booktitle = {Formal Methods and Software Engineering - 14th International Conference
on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
12-16, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7635},
pages = {478--493},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34281-3\_33},
doi = {10.1007/978-3-642-34281-3\_33},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WestNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFMS12,
author = {H.{-}Christian Estler and
Mart{\'{\i}}n Nordio and
Carlo A. Furia and
Bertrand Meyer and
Johannes Schneider},
title = {Agile vs. Structured Distributed Software Development: {A} Case Study},
booktitle = {2012 {IEEE} Seventh International Conference on Global Software Engineering,
Porto Alegre, Rio Grande do Sul, Brazil, August 27-30, 2012},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICGSE.2012.22},
doi = {10.1109/ICGSE.2012.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/EstlerNFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MorandiNM12,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
title = {Can asynchronous exceptions expire?},
booktitle = {Proceedings of the 5th International Workshop on Exception Handling,
{WEH} 2012, Zurich, Switzerland, June 9, 2012},
pages = {4--6},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WEH.2012.6226600},
doi = {10.1109/WEH.2012.6226600},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MorandiNM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msept/MeyerKA12,
author = {Bertrand Meyer and
Alexander Kogtenkov and
Anton Akhi},
editor = {Victor Pankratius and
Michael Philippsen},
title = {Processors and Their Collection},
booktitle = {Multicore Software Engineering, Performance, and Tools - International
Conference, {MSEPT} 2012, Prague, Czech Republic, May 31 - June 1,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7303},
pages = {1--15},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31202-1\_1},
doi = {10.1007/978-3-642-31202-1\_1},
timestamp = {Sun, 25 Oct 2020 22:50:59 +0100},
biburl = {https://dblp.org/rec/conf/msept/MeyerKA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StadenCM12,
author = {Stephan van Staden and
Cristiano Calcagno and
Bertrand Meyer},
editor = {John Field and
Michael Hicks},
title = {Freefinement},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {7--18},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103661},
doi = {10.1145/2103656.2103661},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/StadenCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TrudelFNMO12,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer and
Manuel Oriol},
title = {C to {O-O} Translation: Beyond the Easy Stuff},
booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
ON, Canada, October 15-18, 2012},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/WCRE.2012.12},
doi = {10.1109/WCRE.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/TrudelFNMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2010,
editor = {Bertrand Meyer and
Martin Nordio},
title = {Empirical Software Engineering and Verification - International Summer
Schools, {LASER} 2008-2010, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7007},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25231-0},
doi = {10.1007/978-3-642-25231-0},
isbn = {978-3-642-25230-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/laser/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/laser/2011,
editor = {Bertrand Meyer and
Martin Nordio},
title = {Tools for Practical Software Verification, LASER, International Summer
School 2011, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7682},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35746-6},
doi = {10.1007/978-3-642-35746-6},
isbn = {978-3-642-35745-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/laser/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5648,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer and
Manuel Oriol},
title = {Automatic Translation of {C} Source Code to Eiffel},
journal = {CoRR},
volume = {abs/1206.5648},
year = {2012},
url = {http://arxiv.org/abs/1206.5648},
eprinttype = {arXiv},
eprint = {1206.5648},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-3337,
author = {Nadia Polikarpova and
Carlo A. Furia and
Yu Pei and
Yi Wei and
Bertrand Meyer},
title = {What Good Are Strong Specifications?},
journal = {CoRR},
volume = {abs/1208.3337},
year = {2012},
url = {http://arxiv.org/abs/1208.3337},
eprinttype = {arXiv},
eprint = {1208.3337},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3257,
author = {Carlo A. Furia and
Bertrand Meyer and
Manuel Oriol and
Andrey Tikhomirov and
Yi Wei},
title = {The Search for the Laws of Automatic Random Testing},
journal = {CoRR},
volume = {abs/1211.3257},
year = {2012},
url = {http://arxiv.org/abs/1211.3257},
eprinttype = {arXiv},
eprint = {1211.3257},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4470,
author = {Carlo A. Furia and
Bertrand Meyer and
Sergey Velder},
title = {A survey of loop invariants},
journal = {CoRR},
volume = {abs/1211.4470},
year = {2012},
url = {http://arxiv.org/abs/1211.4470},
eprinttype = {arXiv},
eprint = {1211.4470},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4775,
author = {H.{-}Christian Estler and
Marco Piccioni and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
title = {How Specifications Change and Why You Should Care},
journal = {CoRR},
volume = {abs/1211.4775},
year = {2012},
url = {http://arxiv.org/abs/1211.4775},
eprinttype = {arXiv},
eprint = {1211.4775},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MeyerL11,
author = {Bertrand Meyer and
Greg Linden},
title = {In support of open reviews; better teaching through large-scale data
mining},
journal = {Commun. {ACM}},
volume = {54},
number = {11},
pages = {12--13},
year = {2011},
url = {https://doi.org/10.1145/2018396.2018400},
doi = {10.1145/2018396.2018400},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MeyerL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Meyer11,
author = {Bertrand Meyer},
title = {Steps Towards a Theory and Calculus of Aliasing},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {77--115},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i77},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Meyer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CiupaPOLM11,
author = {Ilinca Ciupa and
Alexander Pretschner and
Manuel Oriol and
Andreas Leitner and
Bertrand Meyer},
title = {On the number and nature of faults found by random testing},
journal = {Softw. Test. Verification Reliab.},
volume = {21},
number = {1},
pages = {3--28},
year = {2011},
url = {https://doi.org/10.1002/stvr.415},
doi = {10.1002/STVR.415},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CiupaPOLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SilvaWMO11,
author = {Lucas Serpa Silva and
Yi Wei and
Bertrand Meyer and
Manuel Oriol},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {290--297},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.34},
doi = {10.1109/APSEC.2011.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SilvaWMO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/NanzTPM11,
author = {Sebastian Nanz and
Faraz Torshizi and
Michela Pedroni and
Bertrand Meyer},
editor = {J. Barrie Thompson and
Emily Oh Navarro and
Dan Port},
title = {Empirical assessment of languages for teaching concurrency: Methodology
and application},
booktitle = {24th {IEEE-CS} Conference on Software Engineering Education and Training,
CSEE{\&}T 2011, May 22-24, 2011, Waikiki, Honolulu, HI, USA, Proceedings},
pages = {477--481},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/CSEET.2011.5876128},
doi = {10.1109/CSEET.2011.5876128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/NanzTPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/NanzTPM11,
author = {Sebastian Nanz and
Faraz Torshizi and
Michela Pedroni and
Bertrand Meyer},
title = {Design of an Empirical Study for Comparing the Usability of Concurrent
Programming Languages},
booktitle = {Proceedings of the 5th International Symposium on Empirical Software
Engineering and Measurement, {ESEM} 2011, Banff, AB, Canada, September
22-23, 2011},
pages = {325--334},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ESEM.2011.41},
doi = {10.1109/ESEM.2011.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/NanzTPM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/NordioEMTGN11,
author = {Martin Nordio and
H.{-}Christian Estler and
Bertrand Meyer and
Julian Tschannen and
Carlo Ghezzi and
Elisabetta Di Nitto},
title = {How Do Distribution and Time Zones Affect Software Development? {A}
Case Study on Communication},
booktitle = {6th {IEEE} International Conference on Global Software Engineering,
{ICGSE} 2011, Helsinki, Finland, August 15-18, 2011},
pages = {176--184},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICGSE.2011.22},
doi = {10.1109/ICGSE.2011.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/NordioEMTGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NordioGMNTTAK11,
author = {Martin Nordio and
Carlo Ghezzi and
Bertrand Meyer and
Elisabetta Di Nitto and
Giordano Tamburrelli and
Julian Tschannen and
Nazareno Aguirre and
Vidya Kulkarni},
editor = {Stuart R. Faulk and
David M. Weiss and
Michal Young and
Lian Yu},
title = {Teaching software engineering using globally distributed projects:
the {DOSE} course},
booktitle = {Proceedings of the 2011 Community Building Workshop on Collaborative
Teaching of Globally Distributed Software Development, {CTGDSD} 2011,
Waikiki, Honolulu, HI, USA, May 21-28, 2011},
pages = {36--40},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1984665.1984673},
doi = {10.1145/1984665.1984673},
timestamp = {Thu, 14 Jan 2021 16:56:54 +0100},
biburl = {https://dblp.org/rec/conf/icse/NordioGMNTTAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiFKM11,
author = {Yi Wei and
Carlo A. Furia and
Nikolay Kazmin and
Bertrand Meyer},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Inferring better contracts},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {191--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985820},
doi = {10.1145/1985793.1985820},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WeiFKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PeiWFNM11,
author = {Yu Pei and
Yi Wei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Code-based automated program fixing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {392--395},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100080},
doi = {10.1109/ASE.2011.6100080},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PeiWFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WeiRFPHSNM11,
author = {Yi Wei and
Hannes Roth and
Carlo A. Furia and
Yu Pei and
Alexander Horton and
Michael Steindorfer and
Martin Nordio and
Bertrand Meyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Stateful testing: Finding more errors in code and contracts},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {440--443},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100094},
doi = {10.1109/ASE.2011.6100094},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WeiRFPHSNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/TschannenFNM11,
author = {Julian Tschannen and
Carlo Alberto Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Bertrand Meyer and
Martin Nordio},
title = {Automatic Verification of Advanced Object-Oriented Features: The AutoProof
Approach},
booktitle = {Tools for Practical Software Verification, LASER, International Summer
School 2011, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7682},
pages = {133--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35746-6\_5},
doi = {10.1007/978-3-642-35746-6\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/laser/TschannenFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TschannenFNM11,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Usable Verification of Object-Oriented Programs by Combining Static
and Dynamic Techniques},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {382--398},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_26},
doi = {10.1007/978-3-642-24690-6\_26},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/TschannenFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/2008,
editor = {Zbigniew Huzar and
Radek Koc{\'{\i}} and
Bertrand Meyer and
Bartosz Walter and
Jaroslav Zendulka},
title = {Software Engineering Techniques - Third {IFIP} {TC} 2 Central and
East European Conference, {CEE-SET} 2008, Brno, Czech Republic, October
13-15, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4980},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22386-0},
doi = {10.1007/978-3-642-22386-0},
isbn = {978-3-642-22385-3},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1038,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
title = {A comprehensive operational semantics of the {SCOOP} programming model},
journal = {CoRR},
volume = {abs/1101.1038},
year = {2011},
url = {http://arxiv.org/abs/1101.1038},
eprinttype = {arXiv},
eprint = {1101.1038},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-1038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-1059,
author = {Yu Pei and
Yi Wei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
title = {Evidence-Based Automated Program Fixing},
journal = {CoRR},
volume = {abs/1102.1059},
year = {2011},
url = {http://arxiv.org/abs/1102.1059},
eprinttype = {arXiv},
eprint = {1102.1059},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-1059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-0711,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer},
title = {Schema Evolution for Persistent Object-Oriented Software: Model, Empirical
Study, and Automated Support},
journal = {CoRR},
volume = {abs/1103.0711},
year = {2011},
url = {http://arxiv.org/abs/1103.0711},
eprinttype = {arXiv},
eprint = {1103.0711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-0711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-0768,
author = {Martin Nordio and
Bertrand Meyer and
H.{-}Christian Estler},
title = {Collaborative Software Development on the Web},
journal = {CoRR},
volume = {abs/1105.0768},
year = {2011},
url = {http://arxiv.org/abs/1105.0768},
eprinttype = {arXiv},
eprint = {1105.0768},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-0768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4700,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
title = {Verifying Eiffel Programs with Boogie},
journal = {CoRR},
volume = {abs/1106.4700},
year = {2011},
url = {http://arxiv.org/abs/1106.4700},
eprinttype = {arXiv},
eprint = {1106.4700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1999,
author = {Bertrand Meyer},
title = {Towards a Calculus of Object Programs},
journal = {CoRR},
volume = {abs/1107.1999},
year = {2011},
url = {http://arxiv.org/abs/1107.1999},
eprinttype = {arXiv},
eprint = {1107.1999},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-1068,
author = {Yi Wei and
Hannes Roth and
Carlo A. Furia and
Yu Pei and
Alexander Horton and
Michael Steindorfer and
Martin Nordio and
Bertrand Meyer},
title = {Stateful Testing: Finding More Errors in Code and Contracts},
journal = {CoRR},
volume = {abs/1108.1068},
year = {2011},
url = {http://arxiv.org/abs/1108.1068},
eprinttype = {arXiv},
eprint = {1108.1068},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-1170,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
title = {Record-Replay Debugging for Concurrent {SCOOP} Programs},
journal = {CoRR},
volume = {abs/1111.1170},
year = {2011},
url = {http://arxiv.org/abs/1111.1170},
eprinttype = {arXiv},
eprint = {1111.1170},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-1170.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Meyer10,
author = {Bertrand Meyer},
title = {Towards a theory and calculus of aliasing},
journal = {J. Object Technol.},
volume = {9},
number = {2},
pages = {37--74},
year = {2010},
url = {https://doi.org/10.5381/jot.2010.9.2.c5},
doi = {10.5381/JOT.2010.9.2.C5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Meyer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FuriaM10,
author = {Carlo A. Furia and
Bertrand Meyer},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {Inferring Loop Invariants Using Postconditions},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6300},
pages = {277--300},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_15},
doi = {10.1007/978-3-642-15025-8\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FuriaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StadenCM10,
author = {Stephan van Staden and
Cristiano Calcagno and
Bertrand Meyer},
editor = {Theo D'Hondt},
title = {Verifying Executable Object-Oriented Specifications with Separation
Logic},
booktitle = {{ECOOP} 2010 - Object-Oriented Programming, 24th European Conference,
Maribor, Slovenia, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6183},
pages = {151--174},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14107-2\_8},
doi = {10.1007/978-3-642-14107-2\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/StadenCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WestNM10,
author = {Scott West and
Sebastian Nanz and
Bertrand Meyer},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming
Model},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {597--612},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_39},
doi = {10.1007/978-3-642-16901-4\_39},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WestNM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NordioMM10,
author = {Martin Nordio and
Roman Mitin and
Bertrand Meyer},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Advanced hands-on training for distributed and outsourced software
engineering},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {555--558},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806879},
doi = {10.1145/1806799.1806879},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NordioMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WeiGMO10,
author = {Yi Wei and
Serge Gebhardt and
Bertrand Meyer and
Manuel Oriol},
title = {Satisfying Test Preconditions through Guided Object Selection},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.34},
doi = {10.1109/ICST.2010.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WeiGMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/RamanathanMWNM10,
author = {Ganesh Ramanathan and
Benjamin Morandi and
Scott West and
Sebastian Nanz and
Bertrand Meyer},
title = {Deriving concurrent control software from behavioral specifications},
booktitle = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 18-22, 2010, Taipei, Taiwan},
pages = {1994--1999},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IROS.2010.5650536},
doi = {10.1109/IROS.2010.5650536},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/iros/RamanathanMWNM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/PedroniM10,
author = {Michela Pedroni and
Bertrand Meyer},
editor = {Juraj Hromkovic and
Richard Kr{\'{a}}lovic and
Jan Vahrenhold},
title = {Object-Oriented Modeling of Object-Oriented Concepts},
booktitle = {Teaching Fundamentals Concepts of Informatics, 4th International Conference
on Informatics in Secondary Schools - Evolution and Perspectives,
{ISSEP} 2010, Zurich, Switzerland, January 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5941},
pages = {155--169},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11376-5\_15},
doi = {10.1007/978-3-642-11376-5\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/issep/PedroniM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeiPFSBMZ10,
author = {Yi Wei and
Yu Pei and
Carlo A. Furia and
Lucas Serpa Silva and
Stefan Buchholz and
Bertrand Meyer and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automated fixing of programs with contracts},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {61--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831716},
doi = {10.1145/1831708.1831716},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WeiPFSBMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/MorandiNM10,
author = {Benjamin Morandi and
Sebastian Nanz and
Bertrand Meyer},
editor = {Bertrand Meyer and
Martin Nordio},
title = {A Formal Reference for {SCOOP}},
booktitle = {Empirical Software Engineering and Verification - International Summer
Schools, {LASER} 2008-2010, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7007},
pages = {89--157},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25231-0\_3},
doi = {10.1007/978-3-642-25231-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/laser/MorandiNM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/WeiMO10,
author = {Yi Wei and
Bertrand Meyer and
Manuel Oriol},
editor = {Bertrand Meyer and
Martin Nordio},
title = {Is Branch Coverage a Good Measure of Testing Effectiveness?},
booktitle = {Empirical Software Engineering and Verification - International Summer
Schools, {LASER} 2008-2010, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7007},
pages = {194--212},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25231-0\_5},
doi = {10.1007/978-3-642-25231-0\_5},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/laser/WeiMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/Meyer10,
author = {Bertrand Meyer},
editor = {Leonardo Bottaci and
Gordon Fraser},
title = {Automatic Testing and Fixing for Eiffel - (Extended Abstract)},
booktitle = {Testing - Practice and Research Techniques, 5th International Academic
and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
3-5, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6303},
pages = {1--4},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15585-7\_1},
doi = {10.1007/978-3-642-15585-7\_1},
timestamp = {Mon, 23 Nov 2020 12:33:09 +0100},
biburl = {https://dblp.org/rec/conf/taicpart/Meyer10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/NordioCMMT10,
author = {Martin Nordio and
Cristiano Calcagno and
Bertrand Meyer and
Peter M{\"{u}}ller and
Julian Tschannen},
editor = {Jan Vitek},
title = {Reasoning about Function Objects},
booktitle = {Objects, Models, Components, Patterns, 48th International Conference,
{TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6141},
pages = {79--96},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13953-6\_5},
doi = {10.1007/978-3-642-13953-6\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/tools/NordioCMMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/PolikarpovaFM10,
author = {Nadia Polikarpova and
Carlo A. Furia and
Bertrand Meyer},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Specifying Reusable Components},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {127--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_9},
doi = {10.1007/978-3-642-15057-9\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/PolikarpovaFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/MeyerKS10,
author = {Bertrand Meyer and
Alexander Kogtenkov and
Emmanuel Stapf},
editor = {A. W. Roscoe and
Clifford B. Jones and
Kenneth R. Wood},
title = {Avoid a Void: The Eradication of Null Dereferencing},
booktitle = {Reflections on the Work of C. A. R. Hoare},
pages = {189--211},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84882-912-1\_9},
doi = {10.1007/978-1-84882-912-1\_9},
timestamp = {Mon, 18 May 2020 10:45:13 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/MeyerKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seafood/2010,
editor = {Martin Nordio and
Mathai Joseph and
Bertrand Meyer and
Andrey Terekhov},
title = {Software Engineering Approaches for Offshore and Outsourced Development
- 4th International Conference, {SEAFOOD} 2010, St. Petersburg, Russia,
June 17-18, 2010. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13784-6},
doi = {10.1007/978-3-642-13784-6},
isbn = {978-3-642-13783-9},
timestamp = {Thu, 12 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seafood/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-1610,
author = {Bertrand Meyer},
title = {The theory and calculus of aliasing},
journal = {CoRR},
volume = {abs/1001.1610},
year = {2010},
url = {http://arxiv.org/abs/1001.1610},
eprinttype = {arXiv},
eprint = {1001.1610},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-1610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5777,
author = {Nadia Polikarpova and
Carlo A. Furia and
Bertrand Meyer},
title = {Specifying Reusable Components},
journal = {CoRR},
volume = {abs/1003.5777},
year = {2010},
url = {http://arxiv.org/abs/1003.5777},
eprinttype = {arXiv},
eprint = {1003.5777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-6047,
author = {Sebastian Nanz and
Faraz Torshizi and
Michela Pedroni and
Bertrand Meyer},
title = {A Comparative Study of the Usability of Two Object-oriented Concurrent
Programming Languages},
journal = {CoRR},
volume = {abs/1011.6047},
year = {2010},
url = {http://arxiv.org/abs/1011.6047},
eprinttype = {arXiv},
eprint = {1011.6047},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/MeyerTouch2009,
author = {Bertrand Meyer},
title = {Touch of Class: Learning to Program Well with Objects and Contracts},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92145-5},
doi = {10.1007/978-3-540-92145-5},
isbn = {978-3-540-92144-8},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/MeyerTouch2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MeyerCSL09,
author = {Bertrand Meyer and
Christine Choppy and
J{\o}rgen Staunstrup and
Jan van Leeuwen},
title = {Viewpoint - Research evaluation for computer science},
journal = {Commun. {ACM}},
volume = {52},
number = {4},
pages = {31--34},
year = {2009},
url = {https://doi.org/10.1145/1498765.1498780},
doi = {10.1145/1498765.1498780},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MeyerCSL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MeyerFCLWS09,
author = {Bertrand Meyer and
Arno Fiva and
Ilinca Ciupa and
Andreas Leitner and
Yi Wei and
Emmanuel Stapf},
title = {Programs That Test Themselves},
journal = {Computer},
volume = {42},
number = {9},
pages = {46--55},
year = {2009},
url = {https://doi.org/10.1109/MC.2009.296},
doi = {10.1109/MC.2009.296},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/MeyerFCLWS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/NienaltowskiMO09,
author = {Piotr Nienaltowski and
Bertrand Meyer and
Jonathan S. Ostroff},
title = {Contracts for concurrency},
journal = {Formal Aspects Comput.},
volume = {21},
number = {4},
pages = {305--318},
year = {2009},
url = {https://doi.org/10.1007/s00165-007-0063-2},
doi = {10.1007/S00165-007-0063-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/NienaltowskiMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/EverettM09,
author = {Gerald D. Everett and
Bertrand Meyer},
title = {Point/Counterpoint},
journal = {{IEEE} Softw.},
volume = {26},
number = {4},
pages = {62--65},
year = {2009},
url = {https://doi.org/10.1109/MS.2009.98},
doi = {10.1109/MS.2009.98},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/EverettM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LeitnerPMMO09,
author = {Andreas Leitner and
Alexander Pretschner and
Stefan Mori and
Bertrand Meyer and
Manuel Oriol},
title = {On the Effectiveness of Test Extraction without Overhead},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {416--425},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.30},
doi = {10.1109/ICST.2009.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LeitnerPMMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PolikarpovaCM09,
author = {Nadia Polikarpova and
Ilinca Ciupa and
Bertrand Meyer},
editor = {Gregg Rothermel and
Laura K. Dillon},
title = {A comparative study of programmer-written and automatically inferred
contracts},
booktitle = {Proceedings of the Eighteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23,
2009},
pages = {93--104},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1572272.1572284},
doi = {10.1145/1572272.1572284},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/PolikarpovaCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DallmeierZM09,
author = {Valentin Dallmeier and
Andreas Zeller and
Bertrand Meyer},
title = {Generating Fixes from Object Behavior Anomalies},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {550--554},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.15},
doi = {10.1109/ASE.2009.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DallmeierZM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PiccioniOMS09,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer and
Teseo Schneider},
title = {An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented
Software},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {650--654},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.100},
doi = {10.1109/ASE.2009.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PiccioniOMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seafood/NordioMMGNT09,
author = {Martin Nordio and
Roman Mitin and
Bertrand Meyer and
Carlo Ghezzi and
Elisabetta Di Nitto and
Giordano Tamburrelli},
editor = {Olly Gotel and
Mathai Joseph and
Bertrand Meyer},
title = {The Role of Contracts in Distributed Development},
booktitle = {Software Engineering Approaches for Offshore and Outsourced Development
- 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland,
July 2-3, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {35},
pages = {117--129},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02987-5\_13},
doi = {10.1007/978-3-642-02987-5\_13},
timestamp = {Thu, 25 Jun 2020 15:12:29 +0200},
biburl = {https://dblp.org/rec/conf/seafood/NordioMMGNT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/NordioCMM09,
author = {Martin Nordio and
Cristiano Calcagno and
Peter M{\"{u}}ller and
Bertrand Meyer},
editor = {Manuel Oriol and
Bertrand Meyer},
title = {A Sound and Complete Program Logic for Eiffel},
booktitle = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
pages = {195--214},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6\_12},
doi = {10.1007/978-3-642-02571-6\_12},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/NordioCMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seafood/2008,
editor = {Kay Berkling and
Mathai Joseph and
Bertrand Meyer and
Martin Nordio},
title = {Software Engineering Approaches for Offshore and Outsourced Development
- 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland,
July 2-3, 2008. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01856-5},
doi = {10.1007/978-3-642-01856-5},
isbn = {978-3-642-01855-8},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seafood/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seafood/2009,
editor = {Olly Gotel and
Mathai Joseph and
Bertrand Meyer},
title = {Software Engineering Approaches for Offshore and Outsourced Development
- 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland,
July 2-3, 2009. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02987-5},
doi = {10.1007/978-3-642-02987-5},
isbn = {978-3-642-02986-8},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seafood/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/47-2009,
editor = {Manuel Oriol and
Bertrand Meyer},
title = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6},
doi = {10.1007/978-3-642-02571-6},
isbn = {978-3-642-02570-9},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/47-2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-0884,
author = {Carlo A. Furia and
Bertrand Meyer},
title = {Inferring Loop Invariants using Postconditions},
journal = {CoRR},
volume = {abs/0909.0884},
year = {2009},
url = {http://arxiv.org/abs/0909.0884},
eprinttype = {arXiv},
eprint = {0909.0884},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-0884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer08,
author = {Bertrand Meyer},
title = {Design and code reviews in the age of the internet},
journal = {Commun. {ACM}},
volume = {51},
number = {9},
pages = {66--71},
year = {2008},
url = {https://doi.org/10.1145/1378727.1378744},
doi = {10.1145/1378727.1378744},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer08,
author = {Bertrand Meyer},
title = {Seven Principles of Software Testing},
journal = {Computer},
volume = {41},
number = {8},
pages = {99--101},
year = {2008},
url = {https://doi.org/10.1109/MC.2008.306},
doi = {10.1109/MC.2008.306},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BayPM08,
author = {Till G. Bay and
Michela Pedroni and
Bertrand Meyer},
title = {By students, for students: a production-quality multimedia library
and its application to game-based teaching},
journal = {J. Object Technol.},
volume = {7},
number = {1},
pages = {147--159},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.1.a5},
doi = {10.5381/JOT.2008.7.1.A5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BayPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/MeyerP08,
author = {Bertrand Meyer and
Marco Piccioni},
editor = {Hossein Saiedian and
Laurie A. Williams},
title = {The Allure and Risks of a Deployable Software Engineering Project:
Experiences with Both Local and Distributed Development},
booktitle = {Proceedings 21st Conference on Software Engineering Education and
Training, {CSEET} 2008, 14-17 April 2008, Charleston, South Carolina,
{USA}},
pages = {3--16},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSEET.2008.41},
doi = {10.1109/CSEET.2008.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/MeyerP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CiupaLOM08,
author = {Ilinca Ciupa and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {{ARTOO:} adaptive random testing for object-oriented software},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {71--80},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368099},
doi = {10.1145/1368088.1368099},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CiupaLOM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CiupaPLOM08,
author = {Ilinca Ciupa and
Alexander Pretschner and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
title = {On the Predictability of Random Tests for Object-Oriented Software},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.20},
doi = {10.1109/ICST.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CiupaPLOM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CiupaMOP08,
author = {Ilinca Ciupa and
Bertrand Meyer and
Manuel Oriol and
Alexander Pretschner},
title = {Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.18},
doi = {10.1109/ISSRE.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CiupaMOP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PedroniOMAA08,
author = {Michela Pedroni and
Manuel Oriol and
Bertrand Meyer and
Enrico Albonico and
Lukas Angerer},
editor = {June Amillo and
Cary Laxer and
Ernestina Menasalvas Ruiz and
Alison Young},
title = {Course management with TrucStudio},
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},
pages = {260--264},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1384271.1384341},
doi = {10.1145/1384271.1384341},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PedroniOMAA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/MorandiBM08,
author = {Benjamin Morandi and
Sebastian S. Bauer and
Bertrand Meyer},
editor = {Peter M{\"{u}}ller},
title = {{SCOOP} - {A} Contract-Based Concurrent Object-Oriented Programming
Model},
booktitle = {Advanced Lectures on Software Engineering, {LASER} Summer School 2007/2008},
series = {Lecture Notes in Computer Science},
volume = {6029},
pages = {41--90},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-13010-6\_3},
doi = {10.1007/978-3-642-13010-6\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/laser/MorandiBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seafood/Meyer08,
author = {Bertrand Meyer},
editor = {Kay Berkling and
Mathai Joseph and
Bertrand Meyer and
Martin Nordio},
title = {Design and Code Reviews in the Age of the Internet},
booktitle = {Software Engineering Approaches for Offshore and Outsourced Development
- 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland,
July 2-3, 2008. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {16},
pages = {126--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01856-5\_9},
doi = {10.1007/978-3-642-01856-5\_9},
timestamp = {Thu, 25 Jun 2020 15:12:29 +0200},
biburl = {https://dblp.org/rec/conf/seafood/Meyer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/NienaltowskiPM08,
author = {Marie{-}H{\'{e}}l{\`{e}}ne Nienaltowski and
Michela Pedroni and
Bertrand Meyer},
editor = {J. D. Dougherty and
Susan H. Rodger and
Sue Fitzgerald and
Mark Guzdial},
title = {Compiler error messages: what can help novices?},
booktitle = {Proceedings of the 39th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2008, Portland, OR, USA, March 12-15, 2008},
pages = {168--172},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352135.1352192},
doi = {10.1145/1352135.1352192},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/NienaltowskiPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PedroniOMA08,
author = {Michela Pedroni and
Manuel Oriol and
Bertrand Meyer and
Lukas Angerer},
editor = {J. D. Dougherty and
Susan H. Rodger and
Sue Fitzgerald and
Mark Guzdial},
title = {Automatic extraction of notions from course material},
booktitle = {Proceedings of the 39th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2008, Portland, OR, USA, March 12-15, 2008},
pages = {251--255},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352135.1352225},
doi = {10.1145/1352135.1352225},
timestamp = {Tue, 09 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PedroniOMA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/NordioMM08,
author = {Martin Nordio and
Peter M{\"{u}}ller and
Bertrand Meyer},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Proof-Transforming Compilation of Eiffel Programs},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {316--335},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_18},
doi = {10.1007/978-3-540-69824-1\_18},
timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
biburl = {https://dblp.org/rec/conf/tools/NordioMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/2007,
editor = {Bertrand Meyer and
Jerzy R. Nawrocki and
Bartosz Walter},
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},
series = {Lecture Notes in Computer Science},
volume = {5082},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85279-7},
doi = {10.1007/978-3-540-85279-7},
isbn = {978-3-540-85278-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/46-2008,
editor = {Richard F. Paige and
Bertrand Meyer},
title = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1},
doi = {10.1007/978-3-540-69824-1},
isbn = {978-3-540-69823-4},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/46-2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2005,
editor = {Bertrand Meyer and
Jim Woodcock},
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},
series = {Lecture Notes in Computer Science},
volume = {4171},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69149-5},
doi = {10.1007/978-3-540-69149-5},
isbn = {978-3-540-69147-1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BezivinM07,
author = {Jean B{\'{e}}zivin and
Bertrand Meyer},
title = {Editorial Special Issue},
journal = {J. Object Technol.},
volume = {6},
number = {9},
pages = {11},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.9.e1},
doi = {10.5381/JOT.2007.6.9.E1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BezivinM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PiccioniOM07,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer},
editor = {Walter Cazzola and
Shigeru Chiba and
Yvonne Coady and
St{\'{e}}phane Ducasse and
G{\"{u}}nter Kniesel and
Manuel Oriol and
Gunter Saake},
title = {IDE-integrated Support for Schema Evolution in Object-Oriented Applications},
booktitle = {RAM-SE'07-ECOOP'07 Workshop on Reflection, AOP, and Meta-Data for
Software Evolution, Proceedings, Berlin, Germany, July 31, 2007},
pages = {27--36},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2007},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PiccioniOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Meyer07,
author = {Bertrand Meyer},
editor = {Matthew B. Dwyer and
Ant{\'{o}}nia Lopes},
title = {Contract-Driven Development},
booktitle = {Fundamental Approaches to Software Engineering, 10th International
Conference, {FASE} 2007, Held as Part of the Joint European Conferences,
on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal,
March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4422},
pages = {11},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71289-3\_2},
doi = {10.1007/978-3-540-71289-3\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/Meyer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/LeitnerCMH07,
author = {Andreas Leitner and
Ilinca Ciupa and
Bertrand Meyer and
Mark Howard},
title = {Reconciling Manual and Automated Testing: The AutoTest Experience},
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}},
pages = {261},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/HICSS.2007.462},
doi = {10.1109/HICSS.2007.462},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/LeitnerCMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CiupaLOM07,
author = {Ilinca Ciupa and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
editor = {David S. Rosenblum and
Sebastian G. Elbaum},
title = {Experimental assessment of random testing for object-oriented software},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
pages = {84--94},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273463.1273476},
doi = {10.1145/1273463.1273476},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/CiupaLOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PedroniOM07,
author = {Michela Pedroni and
Manuel Oriol and
Bertrand Meyer},
editor = {Janet M. Hughes and
D. Ramanee Peiris and
Paul T. Tymann},
title = {A framework for describing and comparing courses and curricula},
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},
pages = {131--135},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1268784.1268824},
doi = {10.1145/1268784.1268824},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PedroniOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeitnerOZCM07,
author = {Andreas Leitner and
Manuel Oriol and
Andreas Zeller and
Ilinca Ciupa and
Bertrand Meyer},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Efficient unit test case minimization},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {417--420},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321698},
doi = {10.1145/1321631.1321698},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeitnerOZCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Meyer07,
author = {Bertrand Meyer},
title = {Proving What Programs Do Not},
booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
France},
pages = {135},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MEMCOD.2007.371233},
doi = {10.1109/MEMCOD.2007.371233},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Meyer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/FraserGHMMS07,
author = {Steven Fraser and
James Gosling and
Anders Hejlsberg and
Ole Lehrmann Madsen and
Bertrand Meyer and
Guy L. Steele Jr.},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Celebrating 40 years of language evolution: simula 67 to the present
and beyond},
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},
pages = {1021--1023},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297971},
doi = {10.1145/1297846.1297971},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/FraserGHMMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeitnerCOMF07,
author = {Andreas Leitner and
Ilinca Ciupa and
Manuel Oriol and
Bertrand Meyer and
Arno Fiva},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Contract driven development = test driven development - writing test
cases},
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},
pages = {425--434},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287685},
doi = {10.1145/1287624.1287685},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LeitnerCOMF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MeyerCLL07,
author = {Bertrand Meyer and
Ilinca Ciupa and
Andreas Leitner and
Lisa Ling Liu},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {Automatic Testing of Object-Oriented Software},
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},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {114--129},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_9},
doi = {10.1007/978-3-540-69507-3\_9},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MeyerCLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/LiuMS07,
author = {Lisa Ling Liu and
Bertrand Meyer and
Bernd Schoeller},
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {Using Contracts and Boolean Queries to Improve the Quality of Automatic
Test Generation},
booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {114--130},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73770-4\_7},
doi = {10.1007/978-3-540-73770-4\_7},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/LiuMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/seafood/2007,
editor = {Bertrand Meyer and
Mathai Joseph},
title = {Software Engineering Approaches for Offshore and Outsourced Development
- 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland,
February 5-6, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4716},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75542-5},
doi = {10.1007/978-3-540-75542-5},
isbn = {978-3-540-75541-8},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seafood/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2007,
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73770-4},
doi = {10.1007/978-3-540-73770-4},
isbn = {978-3-540-73769-8},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/MeyerZ06,
author = {Bertrand Meyer and
Willy Zwaenepoel},
title = {Europe's computer scientists take fate into their own hands},
journal = {Commun. {ACM}},
volume = {49},
number = {3},
pages = {21--24},
year = {2006},
url = {https://doi.org/10.1145/1118178.1118210},
doi = {10.1145/1118178.1118210},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/MeyerZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer06,
author = {Bertrand Meyer},
title = {The Unspoken Revolution in Software Engineering},
journal = {Computer},
volume = {39},
number = {1},
pages = {121--124},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.37},
doi = {10.1109/MC.2006.37},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer06a,
author = {Bertrand Meyer},
title = {Testable, Reusable Units of Cognition},
journal = {Computer},
volume = {39},
number = {4},
pages = {20--24},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.141},
doi = {10.1109/MC.2006.141},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MeyerA06,
author = {Bertrand Meyer and
Karine Arnout},
title = {Componentization: The Visitor Example},
journal = {Computer},
volume = {39},
number = {7},
pages = {23--30},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.227},
doi = {10.1109/MC.2006.227},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MeyerA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ArnoutM06,
author = {Karine Arnout and
Bertrand Meyer},
title = {Pattern Componentization: The Factory Example},
journal = {Innov. Syst. Softw. Eng.},
volume = {2},
number = {2},
pages = {65--79},
year = {2006},
url = {https://doi.org/10.1007/s11334-006-0001-0},
doi = {10.1007/S11334-006-0001-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/ArnoutM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dics/Meyer06,
author = {Bertrand Meyer},
editor = {J{\"{u}}rg Kohlas and
Bertrand Meyer and
Andr{\'{e}} Schiper},
title = {Dependable Software},
booktitle = {Dependable Systems: Software, Computing, Networks, Research Results
of the {DICS} Program},
series = {Lecture Notes in Computer Science},
volume = {4028},
pages = {1--33},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11808107\_1},
doi = {10.1007/11808107\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dics/Meyer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CiupaLOM06,
author = {Ilinca Ciupa and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
editor = {Johannes Mayer and
Robert G. Merkel},
title = {Object distance and its application to adaptive random testing of
object-oriented programs},
booktitle = {Proceedings of the 1st International Workshop on Random Testing, {RT}
2006, Portland, Maine, USA, July 20, 2006},
pages = {55--63},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145735.1145744},
doi = {10.1145/1145735.1145744},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/CiupaLOM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Meyer06,
author = {Bertrand Meyer},
title = {The Context of Object Computation (extended abstract)},
booktitle = {Fourth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
pages = {13--17},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEFM.2006.36},
doi = {10.1109/SEFM.2006.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Meyer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PedroniM06,
author = {Michela Pedroni and
Bertrand Meyer},
editor = {Doug Baldwin and
Paul T. Tymann and
Susan M. Haller and
Ingrid Russell},
title = {The inverted curriculum in practice},
booktitle = {Proceedings of the 37th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2006, Houston, Texas, USA, March 3-5, 2006},
pages = {481--485},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1121341.1121493},
doi = {10.1145/1121341.1121493},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/PedroniM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dics/2006,
editor = {J{\"{u}}rg Kohlas and
Bertrand Meyer and
Andr{\'{e}} Schiper},
title = {Dependable Systems: Software, Computing, Networks, Research Results
of the {DICS} Program},
series = {Lecture Notes in Computer Science},
volume = {4028},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11808107},
doi = {10.1007/11808107},
isbn = {3-540-36821-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dics/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Meyer05,
author = {Bertrand Meyer},
editor = {Andrew P. Black},
title = {Attached Types and Their Application to Three Open Problems of Object-Oriented
Programming},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {1--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_1},
doi = {10.1007/11531142\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Meyer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/Meyer05,
author = {Bertrand Meyer},
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Doing More with Contracts: Towards Automatic Tests and Proofs},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11751113\_1},
doi = {10.1007/11751113\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/rise/Meyer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rise/BalzerEM05,
author = {Stephanie Balzer and
Patrick Th. Eugster and
Bertrand Meyer},
editor = {Nicolas Guelfi and
Anthony Savidis},
title = {Can Aspects Implement Contracts?},
booktitle = {Rapid Integration of Software Engineering Techniques, Second International
Workshop, {RISE} 2005, Heraklion, Crete, Greece, September 8-9, 2005,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3943},
pages = {145--157},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11751113\_11},
doi = {10.1007/11751113\_11},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rise/BalzerEM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Meyer05,
author = {Bertrand Meyer},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Eiffel as a Framework for Verification},
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},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {301--307},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_32},
doi = {10.1007/978-3-540-69149-5\_32},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Meyer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Meyer04,
author = {Bertrand Meyer},
editor = {Olaf Owe and
Stein Krogdahl and
Tom Lyche},
title = {The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented
Library for Event-Driven Design},
booktitle = {From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan
Dahl},
series = {Lecture Notes in Computer Science},
volume = {2635},
pages = {236--271},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-39993-3\_13},
doi = {10.1007/978-3-540-39993-3\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Meyer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchoellerWM04,
author = {Bernd Schoeller and
Tobias Widmer and
Bertrand Meyer},
editor = {Ralf H. Reussner and
Judith A. Stafford and
Clemens A. Szyperski},
title = {Making Specifications Complete Through Models},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar,
Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3938},
pages = {48--70},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11786160\_3},
doi = {10.1007/11786160\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchoellerWM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/ArnoutM03,
author = {Karine Arnout and
Bertrand Meyer},
title = {Contrats cach{\'{e}}s en .NET. Mise au jour et ajout de contrats
a posteriori},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {9},
number = {1-2},
pages = {17--30},
year = {2003},
url = {https://doi.org/10.3166/objet.9.1-2.17-30},
doi = {10.3166/OBJET.9.1-2.17-30},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/ArnoutM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ArnoutM03,
author = {Karine Arnout and
Bertrand Meyer},
title = {Uncovering Hidden Contracts: The .NET Example},
journal = {Computer},
volume = {36},
number = {11},
pages = {48--55},
year = {2003},
url = {https://doi.org/10.1109/MC.2003.1244535},
doi = {10.1109/MC.2003.1244535},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/ArnoutM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NienaltowskiAM03,
author = {Piotr Nienaltowski and
Volkan Arslan and
Bertrand Meyer},
title = {Concurrent object-oriented programming on .NET},
journal = {{IEE} Proc. Softw.},
volume = {150},
number = {5},
pages = {308--314},
year = {2003},
url = {https://doi.org/10.1049/ip-sen:20030992},
doi = {10.1049/IP-SEN:20030992},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/NienaltowskiAM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Meyer03a,
author = {Bertrand Meyer},
title = {Proving Pointer Program Properties. Part 1: Context and overview},
journal = {J. Object Technol.},
volume = {2},
number = {2},
pages = {87--108},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.2.c8},
doi = {10.5381/JOT.2003.2.2.C8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Meyer03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Meyer03b,
author = {Bertrand Meyer},
title = {On an open issue of programming language phonetics},
journal = {J. Object Technol.},
volume = {2},
number = {2},
pages = {109--110},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.2.c9},
doi = {10.5381/JOT.2003.2.2.C9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Meyer03b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Meyer03c,
author = {Bertrand Meyer},
title = {Proving Pointer Program Properties. Part 2: The Overall Object Structure},
journal = {J. Object Technol.},
volume = {2},
number = {3},
pages = {77--100},
year = {2003},
url = {https://doi.org/10.5381/jot.2003.2.3.c8},
doi = {10.5381/JOT.2003.2.3.C8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Meyer03c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Meyer03,
author = {Bertrand Meyer},
title = {Blueprint for Real Progress in Software Engineering},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254351},
doi = {10.1109/APSEC.2003.1254351},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Meyer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Meyer03,
author = {Bertrand Meyer},
editor = {Egon B{\"{o}}rger and
Angelo Gargantini and
Elvinia Riccobene},
title = {A Framework for Proving Contract-Equipped Classes},
booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2589},
pages = {108--125},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36498-6\_6},
doi = {10.1007/3-540-36498-6\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/Meyer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Meyer03,
author = {Bertrand Meyer},
editor = {Manfred Broy and
Alexandre V. Zamulin},
title = {The Outside-In Method of Teaching Introductory Programming},
booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
July 9-12, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2890},
pages = {66--78},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39866-0\_9},
doi = {10.1007/978-3-540-39866-0\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Meyer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Meyer03,
author = {Bertrand Meyer},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {The Grand Challenge of Trusted Components},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {660--667},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201252},
doi = {10.1109/ICSE.2003.1201252},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Meyer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Meyer03,
author = {Bertrand Meyer},
editor = {Didier Bert and
Jonathan P. Bowen and
Steve King and
Marina Wald{\'{e}}n},
title = {Towards Practical Proofs of Class Correctness},
booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
International Conference of {B} and {Z} Users, Turku, Finland, June
4-6, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2651},
pages = {359--387},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44880-2\_22},
doi = {10.1007/3-540-44880-2\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Meyer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer02,
author = {Bertrand Meyer},
title = {Assessing a C{\#} Text},
journal = {Computer},
volume = {35},
number = {4},
pages = {86--88},
year = {2002},
url = {https://doi.org/10.1109/MC.2002.993776},
doi = {10.1109/MC.2002.993776},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/Meyer02,
author = {Bertrand Meyer},
title = {The Start of an Eiffel Standard},
journal = {J. Object Technol.},
volume = {1},
number = {2},
pages = {95--99},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.2.c8},
doi = {10.5381/JOT.2002.1.2.C8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/Meyer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/MeyerNM02,
author = {Bertrand Meyer and
Kristen Nygaard and
Ole Lehrmann Madsen},
title = {In Memory of Kristen Nygaard and Ole-Johan Dahl},
journal = {J. Object Technol.},
volume = {1},
number = {4},
pages = {7--15},
year = {2002},
url = {https://doi.org/10.5381/jot.2002.1.4.x1},
doi = {10.5381/JOT.2002.1.4.X1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/MeyerNM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArnoutM02,
author = {Karine Arnout and
Bertrand Meyer},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Finding Implicit Contracts in .NET Components},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {285--318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_12},
doi = {10.1007/978-3-540-39656-7\_12},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ArnoutM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer01,
author = {Bertrand Meyer},
title = {The .NET Training Course},
publisher = {Prentice-Hall},
year = {2001},
url = {http://www.eiffel.com/doc/\#dntc},
isbn = {0-13-033115-5},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ph/Meyer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer01,
author = {Bertrand Meyer},
title = {Software Engineering in the Academy},
journal = {Computer},
volume = {34},
number = {5},
pages = {28--35},
year = {2001},
url = {https://doi.org/10.1109/2.920608},
doi = {10.1109/2.920608},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer01a,
author = {Bertrand Meyer},
title = {.NET Is Coming},
journal = {Computer},
volume = {34},
number = {8},
pages = {92--97},
year = {2001},
url = {https://doi.org/10.1109/2.940017},
doi = {10.1109/2.940017},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer01b,
author = {Bertrand Meyer},
title = {At the Edge of Design by Contract},
booktitle = {{TOOLS} Europe 2001: 38th International Conference on Technology of
Object-Oriented Languages and Systems, Components for Mobile Computing,
Zurich, Switzerland, 12-14 March 2001},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2001.10004},
doi = {10.1109/TOOLS.2001.10004},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer01b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer01,
author = {Bertrand Meyer},
title = {Open Problems in Object-Oriented Programming},
booktitle = {39th International Conference and Exhibition on Technology of Object-Oriented
Languages and Systems, {TOOLS} {USA} 2001, Santa Barbara, CA, USA,
July 29 - August 3, 2001},
pages = {8},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2001.10034},
doi = {10.1109/TOOLS.2001.10034},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/TalbiMS01,
author = {Tanit Talbi and
Bertrand Meyer and
Emmanuel Stapf},
title = {A Metric Framework for Object-Oriented Development},
booktitle = {39th International Conference and Exhibition on Technology of Object-Oriented
Languages and Systems, {TOOLS} {USA} 2001, Santa Barbara, CA, USA,
July 29 - August 3, 2001},
pages = {164--172},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TOOLS.2001.941670},
doi = {10.1109/TOOLS.2001.941670},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/TalbiMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer01c,
author = {Bertrand Meyer},
title = {Concurrent Object-Oriented Programming},
booktitle = {{TOOLS} Europe 2001: 38th International Conference on Technology of
Object-Oriented Languages and Systems, Components for Mobile Computing,
Zurich, Switzerland, 12-14 March 2001},
pages = {203},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TOOLS.2001.911779},
doi = {10.1109/TOOLS.2001.911779},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer01c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer01a,
author = {Bertrand Meyer},
title = {Building Trusted Components},
booktitle = {39th International Conference and Exhibition on Technology of Object-Oriented
Languages and Systems, {TOOLS} {USA} 2001, Santa Barbara, CA, USA,
July 29 - August 3, 2001},
pages = {347},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2001.10024},
doi = {10.1109/TOOLS.2001.10024},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer00,
author = {Bertrand Meyer},
title = {The Future of Component-Based Development},
booktitle = {{TOOLS} 2000: 33rd International Conference on Technology of Object-Oriented
Languages and Systems, 5-8 June 2000, St. Malo, France},
pages = {5},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10027},
doi = {10.1109/TOOLS.2000.10027},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer00a,
author = {Bertrand Meyer},
title = {Programming with Agents: Combining {O-O} and Functional Techniques},
booktitle = {{TOOLS} 2000: 33rd International Conference on Technology of Object-Oriented
Languages and Systems, 5-8 June 2000, St. Malo, France},
pages = {460},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10013},
doi = {10.1109/TOOLS.2000.10013},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer00b,
author = {Bertrand Meyer},
editor = {Qizoyan Li and
Donald Firesmith and
Richard Riehle and
Bertrand Meyer},
title = {Agent-Based Programming In Eiffel},
booktitle = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
{USA}},
pages = {477--478},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10058},
doi = {10.1109/TOOLS.2000.10058},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer00c,
author = {Bertrand Meyer},
editor = {Qizoyan Li and
Donald Firesmith and
Richard Riehle and
Bertrand Meyer},
title = {Design By Contract and the Component Revolution},
booktitle = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
{USA}},
pages = {515--518},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10075},
doi = {10.1109/TOOLS.2000.10075},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer00c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/SmithMSP00,
author = {Roger Smith and
Bertrand Meyer and
Clemens A. Szyperski and
Gilda Pour},
editor = {Qizoyan Li and
Donald Firesmith and
Richard Riehle and
Bertrand Meyer},
title = {Component-Based Development? Refining the Blueprint},
booktitle = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
{USA}},
pages = {563},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10079},
doi = {10.1109/TOOLS.2000.10079},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/SmithMSP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/34-2000,
editor = {Qizoyan Li and
Donald Firesmith and
Richard Riehle and
Bertrand Meyer},
title = {{TOOLS} 2000: 34th International Conference on Technology of Object-Oriented
Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA,
{USA}},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://ieeexplore.ieee.org/xpl/conhome/6972/proceeding},
isbn = {0-7695-0774-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/34-2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer99,
author = {Bertrand Meyer},
title = {On To Components},
journal = {Computer},
volume = {32},
number = {1},
pages = {139--140},
year = {1999},
url = {https://doi.org/10.1109/2.738312},
doi = {10.1109/2.738312},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MeyerM99,
author = {Bertrand Meyer and
Christine Mingins},
title = {Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction},
journal = {Computer},
volume = {32},
number = {7},
pages = {35--37},
year = {1999},
url = {https://doi.org/10.1109/2.774916},
doi = {10.1109/2.774916},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MeyerM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer99a,
author = {Bertrand Meyer},
title = {Every Little Bit Counts: Toward More Reliable Software},
journal = {Computer},
volume = {32},
number = {11},
pages = {131--133},
year = {1999},
url = {https://doi.org/10.1109/2.803646},
doi = {10.1109/2.803646},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer99b,
author = {Bertrand Meyer},
title = {A Really Good Idea},
journal = {Computer},
volume = {32},
number = {12},
pages = {144--147},
year = {1999},
url = {https://doi.org/10.1109/2.809257},
doi = {10.1109/2.809257},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer99,
author = {Bertrand Meyer},
title = {Design by Contract, Components and Debugging},
journal = {J. Object Oriented Program.},
volume = {11},
number = {8},
pages = {75--79},
year = {1999},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer99b,
author = {Bertrand Meyer},
title = {The Unity of Software and the Power of Roundtrip Engineering},
booktitle = {{TOOLS} Europe 1999: 29th International Conference on Technology of
Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10030},
doi = {10.1109/TOOLS.1999.10030},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer99,
author = {Bertrand Meyer},
editor = {Donald Firesmith and
Richard Riehle and
Gilda Pour and
Bertrand Meyer},
title = {The Unity of Software and the Power of Roundtrip Engineering},
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}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10045},
doi = {10.1109/TOOLS.1999.10045},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer99c,
author = {Bertrand Meyer},
title = {Seamless Development with the Eiffel Method},
booktitle = {{TOOLS} Europe 1999: 29th International Conference on Technology of
Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France},
pages = {397},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10003},
doi = {10.1109/TOOLS.1999.10003},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer99c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer99a,
author = {Bertrand Meyer},
editor = {Donald Firesmith and
Richard Riehle and
Gilda Pour and
Bertrand Meyer},
title = {Managing By Contract},
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}},
pages = {412},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10072},
doi = {10.1109/TOOLS.1999.10072},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/30-1999,
editor = {Donald Firesmith and
Richard Riehle and
Gilda Pour and
Bertrand Meyer},
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}},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://ieeexplore.ieee.org/xpl/conhome/6380/proceeding},
isbn = {0-7695-0278-4},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/30-1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MeyerMS98,
author = {Bertrand Meyer and
Christine Mingins and
Heinz W. Schmidt},
title = {Providing Trusted Components to the Industry},
journal = {Computer},
volume = {31},
number = {5},
pages = {104--105},
year = {1998},
url = {https://doi.org/10.1109/2.675643},
doi = {10.1109/2.675643},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/MeyerMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer98a,
author = {Bertrand Meyer},
title = {Tell Less, Say More: The Power of Implicitness},
journal = {Computer},
volume = {31},
number = {7},
pages = {97--98},
year = {1998},
url = {https://doi.org/10.1109/2.689680},
doi = {10.1109/2.689680},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer98b,
author = {Bertrand Meyer},
title = {The Role of Object-Oriented Metrics},
journal = {Computer},
volume = {31},
number = {11},
pages = {123--125},
year = {1998},
url = {https://doi.org/10.1109/2.730743},
doi = {10.1109/2.730743},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer98b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer98,
author = {Bertrand Meyer},
title = {The Future of Object Technology},
journal = {Computer},
volume = {31},
pages = {140--141},
year = {1998},
url = {https://doi.org/10.1109/2.641984},
doi = {10.1109/2.641984},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer98,
author = {Bertrand Meyer},
title = {The Component Combinator for Enterprise Applications},
journal = {J. Object Oriented Program.},
volume = {10},
number = {8},
pages = {5--9},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/CreelM98,
author = {Christopher Creel and
Bertrand Meyer},
title = {Is Object Technology Ready for the Embedded World?},
journal = {J. Object Oriented Program.},
volume = {11},
number = {1},
pages = {69--71, 76},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/CreelM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer98a,
author = {Bertrand Meyer},
title = {Approaches to Portability},
journal = {J. Object Oriented Program.},
volume = {11},
number = {4},
pages = {68--70},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer98b,
author = {Bertrand Meyer},
title = {The Power of Round-Trip Engineering},
journal = {J. Object Oriented Program.},
volume = {11},
number = {6},
pages = {93--95},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer98b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer98d,
author = {Bertrand Meyer},
title = {Free EiffelBase: Eiffel Libraries Go Open Source},
journal = {J. Object Oriented Program.},
volume = {11},
number = {7},
pages = {8--10, 17},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer98d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer98c,
author = {Bertrand Meyer},
title = {Prelude to a Theory of Void},
journal = {J. Object Oriented Program.},
volume = {11},
number = {7},
pages = {36--48},
year = {1998},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer98c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer98,
author = {Bertrand Meyer},
title = {Can We Make Componentware Succeed?},
booktitle = {{TOOLS} 1998: 26th International Conference on Technology of Object-Oriented
Languages and Systems, 3-7 August 1998, Santa Barbara, CA, {USA}},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.710994},
doi = {10.1109/TOOLS.1998.710994},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer98a,
author = {Bertrand Meyer},
title = {Design by Contract: The Eiffel Method},
booktitle = {{TOOLS} 1998: 26th International Conference on Technology of Object-Oriented
Languages and Systems, 3-7 August 1998, Santa Barbara, CA, {USA}},
pages = {446},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.711043},
doi = {10.1109/TOOLS.1998.711043},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer98b,
author = {Bertrand Meyer},
title = {Panel: Issues in Moving to a Component-Based Industry},
booktitle = {{TOOLS} 1998: 26th International Conference on Technology of Object-Oriented
Languages and Systems, 3-7 August 1998, Santa Barbara, CA, {USA}},
pages = {493},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TOOLS.1998.711056},
doi = {10.1109/TOOLS.1998.711056},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer98b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/28-1998,
editor = {Christine Mingins and
Bertrand Meyer},
title = {{TOOLS} 1998: 28th International Conference on Technology of Object-Oriented
Languages and Systems, 23-26 November 1998, Melbourne, Australia},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://ieeexplore.ieee.org/xpl/conhome/6067/proceeding},
isbn = {0-7695-0053-6},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/28-1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer97,
author = {Bertrand Meyer},
title = {Object-Oriented Software Construction, 2nd Edition},
publisher = {Prentice-Hall},
year = {1997},
url = {http://www.eiffel.com/doc/oosc/page.html},
isbn = {0-13-629155-4},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ph/Meyer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/JezequelM97,
author = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
Bertrand Meyer},
title = {Design by Contract: The Lessons of Ariane},
journal = {Computer},
volume = {30},
number = {1},
pages = {129--130},
year = {1997},
url = {https://doi.org/10.1109/2.562936},
doi = {10.1109/2.562936},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/JezequelM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer97,
author = {Bertrand Meyer},
title = {Practice To Perfect: The Quality First Model},
journal = {Computer},
volume = {30},
number = {5},
pages = {102--106},
year = {1997},
url = {https://doi.org/10.1109/2.589917},
doi = {10.1109/2.589917},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer97a,
author = {Bertrand Meyer},
title = {The Next Software Breakthrough},
journal = {Computer},
volume = {30},
number = {7},
pages = {113--114},
year = {1997},
url = {https://doi.org/10.1109/MC.1997.596640},
doi = {10.1109/MC.1997.596640},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CreelMS97,
author = {Christopher Creel and
Bertrand Meyer and
Philippe Stephan},
title = {The Opportunity of a Millennium},
journal = {Computer},
volume = {30},
number = {11},
pages = {137--138},
year = {1997},
url = {https://doi.org/10.1109/2.634870},
doi = {10.1109/2.634870},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CreelMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer97,
author = {Bertrand Meyer},
title = {Ten Years After},
journal = {J. Object Oriented Program.},
volume = {10},
number = {4},
pages = {8--12},
year = {1997},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/CoplienGHM97,
author = {James Coplien and
Joseph Gil and
David Harel and
Bertrand Meyer},
title = {Keynotes},
booktitle = {{TOOLS} 1997: 23rd International Conference on Technology of Object-Oriented
Languages and Systems, July 28 - August 1, 1997, Santa Barbara, CA,
{USA}},
pages = {2},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10018},
doi = {10.1109/TOOLS.1997.10018},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/CoplienGHM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer97,
author = {Bertrand Meyer},
title = {Design by Contract: Making Object-Oriented Programs that Work},
booktitle = {{TOOLS} 1997: 25th International Conference on Technology of Object-Oriented
Languages and Systems, 24-28 November 1997, Melbourne, Australia},
pages = {360},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TOOLS.1997.681888},
doi = {10.1109/TOOLS.1997.681888},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer96,
author = {Bertrand Meyer},
title = {The Conceptual Perspective},
journal = {Computer},
volume = {29},
number = {1},
pages = {86--88},
year = {1996},
url = {https://doi.org/10.1109/MC.1996.481495},
doi = {10.1109/MC.1996.481495},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer96a,
author = {Bertrand Meyer},
title = {The Reusability Challenge},
journal = {Computer},
volume = {29},
number = {2},
pages = {76--78},
year = {1996},
url = {https://doi.org/10.1109/2.485856},
doi = {10.1109/2.485856},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer96b,
author = {Bertrand Meyer},
title = {The many faces of inheritance: a taxonomy of taxonomy},
journal = {Computer},
volume = {29},
number = {5},
pages = {105--108},
year = {1996},
url = {https://doi.org/10.1109/2.494093},
doi = {10.1109/2.494093},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer96b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer96c,
author = {Bertrand Meyer},
title = {Schema Evolution: Concepts, Terminology, and Solutions},
journal = {Computer},
volume = {29},
number = {10},
pages = {119--121},
year = {1996},
url = {https://doi.org/10.1109/2.539929},
doi = {10.1109/2.539929},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer96c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/Meyer96,
author = {Bertrand Meyer},
title = {Why Your next Project Should use Eiffel},
journal = {J. Object Oriented Program.},
volume = {9},
number = {2},
pages = {59--63, 82},
year = {1996},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/Meyer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/Meyer96,
author = {Bertrand Meyer},
editor = {Kokichi Futatsugi and
Satoshi Matsuoka},
title = {Beyond Design by Contract: Towards Formally Provable Object-Oriented
Software (Abstract)},
booktitle = {Object Technologies for Advanced Software, Second {JSSST} International
Symposium, {ISOTAS} '96, Kanazawa, Japan, March 11-15, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1049},
pages = {56},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60954-7\_43},
doi = {10.1007/3-540-60954-7\_43},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/isotas/Meyer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isotas/Meyer96a,
author = {Bertrand Meyer},
editor = {Kokichi Futatsugi and
Satoshi Matsuoka},
title = {Static Typing},
booktitle = {Object Technologies for Advanced Software, Second {JSSST} International
Symposium, {ISOTAS} '96, Kanazawa, Japan, March 11-15, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1049},
pages = {57--75},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60954-7\_44},
doi = {10.1007/3-540-60954-7\_44},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isotas/Meyer96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hanser/Meyer95,
author = {Bertrand Meyer},
title = {Erfolgsschl{\"{u}}ssel Objekttechnologie -- Managerf{\"{u}}hrer
zur Neuorganisation des Softwareprozesses},
publisher = {Carl Hanser Verlag},
year = {1995},
isbn = {3-446-18697-2},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hanser/Meyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer95,
author = {Bertrand Meyer},
title = {Object Success},
publisher = {Prentice-Hall},
year = {1995},
url = {http://www.eiffel.com/doc/\#os},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ph/Meyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LewisPMGPVLPPHLWEW95,
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},
title = {Where Is Software Headed? {A} Virtual Roundtable},
journal = {Computer},
volume = {28},
number = {8},
pages = {20--32},
year = {1995},
url = {https://doi.org/10.1109/2.402054},
doi = {10.1109/2.402054},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/LewisPMGPVLPPHLWEW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/oopsm/Meyer95,
author = {Bertrand Meyer},
editor = {Steven Craig Bilow and
Patricia S. Bilow},
title = {Static typing},
booktitle = {Addendum to the Proceedings of the 10th Annual Conference on Object-Oriented
Programming Systems, Languages, and Applications, {OOPSLA} 1995 Addendum,
Austin, Texas, USA, October 15-19, 1995},
pages = {20--29},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/260094.260214},
doi = {10.1145/260094.260214},
timestamp = {Fri, 20 May 2022 15:09:15 +0200},
biburl = {https://dblp.org/rec/journals/oopsm/Meyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer94,
author = {Bertrand Meyer},
title = {An Object-Oriented Environment: Principles and Applications},
publisher = {Prentice-Hall},
year = {1994},
url = {http://www.eiffel.com/doc/\#aooe},
isbn = {0-13-245507-2},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ph/Meyer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer94a,
author = {Bertrand Meyer},
title = {Reusable Software: The Base Object-Oriented Component Libraries},
publisher = {Prentice-Hall},
year = {1994},
isbn = {0-13-245499-8},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ph/Meyer94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coodbse/Meyer94,
author = {Bertrand Meyer},
editor = {Vangalur S. Alagar and
Rokia Missaoui},
title = {On the Role of Methodology: Advice to the Advisors},
booktitle = {Object-Oriented Technology for Database and Software Systems, Proceedings
of the Colloquium on Object Orientation in Databases and Software
Engineering, {COODBSE} 1994, 16-17 May 1994, Universite du Quebec
a Montreal, Canada},
pages = {1--5},
publisher = {World Scientific},
year = {1994},
timestamp = {Sun, 28 Jul 2019 12:54:22 +0200},
biburl = {https://dblp.org/rec/conf/coodbse/Meyer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer94,
author = {Bertrand Meyer},
editor = {Boris Magnusson and
Bertrand Meyer and
Jean{-}Marc Nerson and
Jean{-}Fran{\c{c}}ois Perrot},
title = {Keynote: Uses and Misuses of Inheritance},
booktitle = {{TOOLS} 1994: 13th International Conference on Technology of Object-Oriented
Languages and Systems, Versailles, France, Europe},
pages = {9},
publisher = {Prentice Hall},
year = {1994},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer94a,
author = {Bertrand Meyer},
editor = {Boris Magnusson and
Bertrand Meyer and
Jean{-}Marc Nerson and
Jean{-}Fran{\c{c}}ois Perrot},
title = {Library Design},
booktitle = {{TOOLS} 1994: 13th International Conference on Technology of Object-Oriented
Languages and Systems, Versailles, France, Europe},
pages = {519},
publisher = {Prentice Hall},
year = {1994},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/13-1994,
editor = {Boris Magnusson and
Bertrand Meyer and
Jean{-}Marc Nerson and
Jean{-}Fran{\c{c}}ois Perrot},
title = {{TOOLS} 1994: 13th International Conference on Technology of Object-Oriented
Languages and Systems, Versailles, France, Europe},
publisher = {Prentice Hall},
year = {1994},
isbn = {0-13-350539-1},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/13-1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/MeyerN93,
author = {Bertrand Meyer and
Jean{-}Marc Nerson},
title = {Object-Oriented Applications},
publisher = {Prentice-Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ph/MeyerN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer93,
author = {Bertrand Meyer},
title = {Systematic Concurrent Object-Oriented Programming},
journal = {Commun. {ACM}},
volume = {36},
number = {9},
pages = {56--80},
year = {1993},
url = {https://doi.org/10.1145/162685.162705},
doi = {10.1145/162685.162705},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer93b,
author = {Bertrand Meyer},
editor = {Boris Magnusson and
Bertrand Meyer and
Jean{-}Fran{\c{c}}ois Perrot},
title = {Object-Oriented Management},
booktitle = {{TOOLS} 1993: 10th International Conference on Technology of Object-Oriented
Languages and Systems, Versailles, France, Europe},
pages = {289},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer93b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer93c,
author = {Bertrand Meyer},
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
title = {Systematic Concurrent Object-Oriented Programming},
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},
pages = {325},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer93c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer93d,
author = {Bertrand Meyer},
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
title = {Systematic Concurrent Object-Oriented Programming},
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},
pages = {523--576},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer93d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer93,
author = {Bertrand Meyer},
editor = {Raimund K. Ege and
Madhu S. Singh and
Bertrand Meyer},
title = {Systematic Concurrent Object-Oriented Programming},
booktitle = {{TOOLS} 1993: 11th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {553},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer93a,
author = {Bertrand Meyer},
editor = {Raimund K. Ege and
Madhu S. Singh and
Bertrand Meyer},
title = {Towards an Object-Oriented Curriculum},
booktitle = {{TOOLS} 1993: 11th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {585--594},
publisher = {Prentice Hall},
year = {1993},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/10-1993,
editor = {Boris Magnusson and
Bertrand Meyer and
Jean{-}Fran{\c{c}}ois Perrot},
title = {{TOOLS} 1993: 10th International Conference on Technology of Object-Oriented
Languages and Systems, Versailles, France, Europe},
publisher = {Prentice Hall},
year = {1993},
isbn = {0-13-097114-6},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/10-1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/11-1993,
editor = {Raimund K. Ege and
Madhu S. Singh and
Bertrand Meyer},
title = {{TOOLS} 1993: 11th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
publisher = {Prentice Hall},
year = {1993},
isbn = {0-13-103979-2},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/11-1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/12-1993,
editor = {Christine Mingins and
William Haebich and
John Potter and
Bertrand Meyer},
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},
publisher = {Prentice Hall},
year = {1993},
isbn = {0-13-124512-0},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/12-1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Meyer92,
author = {Bertrand Meyer},
title = {Applying "Design by Contract"},
journal = {Computer},
volume = {25},
number = {10},
pages = {40--51},
year = {1992},
url = {https://doi.org/10.1109/2.161279},
doi = {10.1109/2.161279},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/Meyer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eiffel/Meyer92,
author = {Bertrand Meyer},
editor = {Hans{-}J{\"{u}}rgen Hoffmann},
title = {Eiffel: Version 3 and beyond},
booktitle = {Eiffel, Gemeinsame Fachtagung des German Chapter of the {ACM} mit
der Gesellschaft f{\"{u}}r Informatik (GI), am 25. und 26. Mai
1992 in Darmstadt},
series = {Berichte des German Chapter of the {ACM}},
pages = {5},
publisher = {Teubner},
year = {1992},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eiffel/Meyer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BulmanTMNK92,
author = {David Bulman and
S. Tucker Taft and
Bertrand Meyer and
Greg Nelson and
Mike Kilian},
editor = {John R. Pugh},
title = {{OOP} in Languages Providing Strong, Static Typing (Panel)},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {87--91},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.290556},
doi = {10.1145/141936.290556},
timestamp = {Fri, 13 May 2022 10:38:22 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BulmanTMNK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/StacyHKM92,
author = {Webb Stacy and
Richard Helm and
Gail E. Kaiser and
Bertrand Meyer},
editor = {John R. Pugh},
title = {Ensuring Semantic Integrity of Reusable Objects (Panel)},
booktitle = {Proceedings of the Seventh Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1992, Vancouver, British
Columbia, Canada, October 18-22, 1992},
pages = {298--302},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141936.141961},
doi = {10.1145/141936.141961},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/StacyHKM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer92,
author = {Bertrand Meyer},
editor = {Raimund K. Ege and
Madhu S. Singh and
Bertrand Meyer},
title = {Object-Oriented Management},
booktitle = {{TOOLS} 1992: 8th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {254},
publisher = {Prentice Hall},
year = {1992},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/7-1992,
editor = {Georg Heeg and
Boris Magnusson and
Bertrand Meyer},
title = {{TOOLS} 1992: 7th International Conference on Technology of Object-Oriented
Languages and Systems, Dortmund, Germany, Europe},
publisher = {Prentice Hall},
year = {1992},
isbn = {0-13-917436-2},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/7-1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/8-1992,
editor = {Raimund K. Ege and
Madhu S. Singh and
Bertrand Meyer},
title = {{TOOLS} 1992: 8th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
publisher = {Prentice Hall},
year = {1992},
isbn = {0-13-042441-2},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/8-1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer91,
author = {Bertrand Meyer},
title = {Eiffel: The Language},
publisher = {Prentice-Hall},
year = {1991},
url = {http://www.eiffel.com/doc/\#etl},
isbn = {0-13-247925-7},
timestamp = {Wed, 10 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ph/Meyer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer91,
author = {Bertrand Meyer},
editor = {Timothy D. Korson and
Vijay Vashnavi and
Bertrand Meyer},
title = {Do we know how to find the classes?},
booktitle = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {349--350},
publisher = {Prentice Hall},
year = {1991},
timestamp = {Mon, 30 Oct 2017 11:35:08 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/Meyer91a,
author = {Bertrand Meyer},
editor = {Timothy D. Korson and
Vijay Vashnavi and
Bertrand Meyer},
title = {Re-engineering software by isolating abstractions},
booktitle = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
pages = {369--370},
publisher = {Prentice Hall},
year = {1991},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/Meyer91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/5-1991,
editor = {Timothy D. Korson and
Vijay Vashnavi and
Bertrand Meyer},
title = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
Languages and Systems, Santa Barbara, CA, {USA}},
publisher = {Prentice Hall},
year = {1991},
isbn = {0-13-923178-1},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/5-1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/6-1992,
editor = {John Potter and
Mario Tokoro and
Bertrand Meyer},
title = {{TOOLS} 1992: 6th International Conference on Technology of Object-Oriented
Languages and Systems, Sydney, Australia},
publisher = {Prentice Hall},
year = {1991},
isbn = {0-13-926940-1},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/6-1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hanser/Meyer90,
author = {Bertrand Meyer},
title = {Objektorientierte Softwareentwicklung},
publisher = {Carl Hanser Verlag / Prentice Hall},
year = {1990},
isbn = {3-446-15773-5},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hanser/Meyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer90,
author = {Bertrand Meyer},
title = {Introduction to the Theory of Programming Languages},
publisher = {Prentice-Hall},
year = {1990},
isbn = {0-13-498510-9},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ph/Meyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer90,
author = {Bertrand Meyer},
title = {Lessons from the Design of the Eiffel Libraries},
journal = {Commun. {ACM}},
volume = {33},
number = {9},
pages = {68--88},
year = {1990},
url = {https://doi.org/10.1145/83880.84464},
doi = {10.1145/83880.84464},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022328,
author = {Bertrand Meyer},
title = {Eiffel - the environment Version 2.2},
publisher = {Interactive Software Engineering Inc.},
year = {1989},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0022328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0022327,
author = {Bertrand Meyer},
title = {Eiffel - the libraries Version 2.2},
publisher = {Interactive Software Engineering Inc.},
year = {1989},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0022327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Meyer89,
author = {Bertrand Meyer},
title = {From Structured Programming to Object-Oriented Design: The Road to
Eiffel},
journal = {Struct. Program.},
volume = {10},
number = {1},
pages = {19--39},
year = {1989},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/Meyer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DysonMWJ89,
author = {Esther Dyson and
Bertrand Meyer and
Daniel Weinreb and
William N. Joy},
editor = {George Bosworth},
title = {Objects in their Eyes (Panel)},
booktitle = {Conference on Object-Oriented Programming: Systems, Languages, and
Applications, {OOPSLA} 1989, New Orleans, Louisiana, USA, October
1-6, 1989, Proceedings},
pages = {478},
publisher = {{ACM}},
year = {1989},
timestamp = {Wed, 30 Mar 2022 13:54:19 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DysonMWJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/ph/Meyer88,
author = {Bertrand Meyer},
title = {Object-Oriented Software Construction, 1st edition},
publisher = {Prentice-Hall},
year = {1988},
isbn = {0-13-629031-0},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/ph/Meyer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Meyer88,
author = {Bertrand Meyer},
title = {Eiffel: {A} language and environment for software engineering},
journal = {J. Syst. Softw.},
volume = {8},
number = {3},
pages = {199--246},
year = {1988},
url = {https://doi.org/10.1016/0164-1212(88)90022-2},
doi = {10.1016/0164-1212(88)90022-2},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Meyer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Meyer88a,
author = {Bertrand Meyer},
title = {C{\'{e}}page: Toward computer-aided design of software},
journal = {J. Syst. Softw.},
volume = {8},
number = {5},
pages = {419--429},
year = {1988},
url = {https://doi.org/10.1016/0164-1212(88)90033-7},
doi = {10.1016/0164-1212(88)90033-7},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Meyer88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1988,
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55823},
isbn = {0-8186-0849-8},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Meyer87,
author = {Bertrand Meyer},
title = {Eiffel: programming for reusability and extendibility},
journal = {{ACM} {SIGPLAN} Notices},
volume = {22},
number = {2},
pages = {85--94},
year = {1987},
url = {https://doi.org/10.1145/24686.24694},
doi = {10.1145/24686.24694},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Meyer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Meyer87,
author = {Bertrand Meyer},
title = {Reusability: The Case for Object-Oriented Design},
journal = {{IEEE} Softw.},
volume = {4},
number = {2},
pages = {50--64},
year = {1987},
url = {https://doi.org/10.1109/MS.1987.230097},
doi = {10.1109/MS.1987.230097},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Meyer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/MeyerNM87,
author = {Bertrand Meyer and
Jean{-}Marc Nerson and
Masanobu Matsuo},
editor = {Howard K. Nichols and
Dan Simpson},
title = {{EIFFEL:} Object-Oriented Design for Software Engineering},
booktitle = {{ESEC} '87, 1st European Software Engineering Conference, Strasbourg,
France, September 9-11, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {289},
pages = {221--229},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0022115},
doi = {10.1007/BFB0022115},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/esec/MeyerNM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Meyer86,
author = {Bertrand Meyer},
editor = {Norman K. Meyrowitz},
title = {Genericity versus Inheritance},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications, {OOPSLA} 1986, Portland, Oregon, USA, Proceedings},
pages = {391--405},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/28697.28738},
doi = {10.1145/28697.28738},
timestamp = {Wed, 30 Mar 2022 13:53:37 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Meyer86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Meyer85,
author = {Bertrand Meyer},
title = {Incremental String Matching},
journal = {Inf. Process. Lett.},
volume = {21},
number = {5},
pages = {219--227},
year = {1985},
url = {https://doi.org/10.1016/0020-0190(85)90088-2},
doi = {10.1016/0020-0190(85)90088-2},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/Meyer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/MeyerNK85,
author = {Bertrand Meyer and
Jean{-}Marc Nerson and
Soon Hae Ko},
title = {Showing Programs on a Screen},
journal = {Sci. Comput. Program.},
volume = {5},
number = {2},
pages = {111--142},
year = {1985},
url = {https://doi.org/10.1016/0167-6423(85)90008-5},
doi = {10.1016/0167-6423(85)90008-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/MeyerNK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Meyer85,
author = {Bertrand Meyer},
title = {On Formalism in Specifications},
journal = {{IEEE} Softw.},
volume = {2},
number = {1},
pages = {6--26},
year = {1985},
url = {https://doi.org/10.1109/MS.1985.229776},
doi = {10.1109/MS.1985.229776},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Meyer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Meyer85,
author = {Bertrand Meyer},
editor = {Meir M. Lehman and
Horst H{\"{u}}nke and
Barry W. Boehm},
title = {The Software Knowledge Base},
booktitle = {Proceedings, 8th International Conference on Software Engineering,
London, UK, August 28-30, 1985},
pages = {158--165},
publisher = {{IEEE} Computer Society},
year = {1985},
url = {http://dl.acm.org/citation.cfm?id=319611},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Meyer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/eyrolles/Meyer84,
author = {Bertrand Meyer and
Claude Baudoin},
title = {M{\'{e}}thodes de Programmation, 3rd edition},
publisher = {Eyrolles},
year = {1984},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/eyrolles/Meyer84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Meyer84,
author = {Bertrand Meyer},
title = {A note on iterative Hanoi},
journal = {{ACM} {SIGPLAN} Notices},
volume = {19},
number = {12},
pages = {38--40},
year = {1984},
url = {https://doi.org/10.1145/948363.948367},
doi = {10.1145/948363.948367},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Meyer84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/000183,
author = {Bertrand Meyer},
title = {Some mistakes are worse than others: an open letter to professor David
Gries},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {8},
number = {5},
pages = {43--48},
year = {1983},
url = {https://doi.org/10.1145/1010914.1010922},
doi = {10.1145/1010914.1010922},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/000183.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Meyer82,
author = {Bertrand Meyer},
title = {Principles of Package Design},
journal = {Commun. {ACM}},
volume = {25},
number = {7},
pages = {419--428},
year = {1982},
url = {https://doi.org/10.1145/358557.358565},
doi = {10.1145/358557.358565},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Meyer82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecics/000182,
author = {Bertrand Meyer},
editor = {Pierpaolo Degano and
Erik Sandewall},
title = {Towards a Two-Dimensional Programming Environment},
booktitle = {Integrated Interactive Computing Systems: Proceedings of the European
Conference on Integrated Interactive Computing Systems, {ECICS} 82,
Stresa, Italy, 1-3 September, 1982},
pages = {167--179},
publisher = {North-Holland},
year = {1982},
timestamp = {Wed, 06 Apr 2022 16:13:53 +0200},
biburl = {https://dblp.org/rec/conf/ecics/000182.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer80,
author = {Bertrand Meyer},
editor = {Simon H. Lavington},
title = {A Basis for the Constructive Approach to Programming},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {293--298},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Meyer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/MylopoulosFMPSH80,
author = {John Mylopoulos and
Martin S. Feather and
Bertrand Meyer and
Paolo Paolini and
Diane C. P. Smith and
Gary G. Hendrix},
editor = {Michael L. Brodie and
Stephen N. Zilles},
title = {Relationships Between and Among Models (discussion)},
booktitle = {Proceedings of the Workshop on Data Abstraction, Databases and Conceptual
Modelling, Pingree Park, Colorado, USA, June 23-26, 1980},
volume = {11},
number = {2},
pages = {77--82},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/800227.806880},
doi = {10.1145/800227.806880},
timestamp = {Tue, 03 Aug 2021 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/MylopoulosFMPSH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Meyer80,
author = {Bertrand Meyer},
editor = {Michael L. Brodie and
Stephen N. Zilles},
title = {A Three-Level Approach to the Description of Data Structures, and
Notational Framework},
booktitle = {Proceedings of the Workshop on Data Abstraction, Databases and Conceptual
Modelling, Pingree Park, Colorado, USA, June 23-26, 1980},
volume = {11},
number = {2},
pages = {164--166},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/800227.806910},
doi = {10.1145/800227.806910},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/Meyer80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/mckeag80/AbrialSM80,
author = {Jean{-}Raymond Abrial and
Stephen A. Schuman and
Bertrand Meyer},
editor = {R. M. McKeag and
A. M. Macnaghten},
title = {Specification Language},
booktitle = {On the Construction of Programs},
pages = {343--410},
publisher = {Cambridge University Press},
year = {1980},
timestamp = {Sat, 03 Aug 2019 18:38:14 +0200},
biburl = {https://dblp.org/rec/books/cu/mckeag80/AbrialSM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/eyrolles/Meyer78,
author = {Bertrand Meyer and
Claude Baudoin},
title = {M{\'{e}}thodes de Programmation, 1st edition},
publisher = {Eyrolles},
year = {1978},
timestamp = {Tue, 31 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/eyrolles/Meyer78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Meyer78,
author = {Bertrand Meyer},
title = {A Note on Computing Multiple Sums},
journal = {Softw. Pract. Exp.},
volume = {8},
number = {1},
pages = {3--9},
year = {1978},
url = {https://doi.org/10.1002/spe.4380080102},
doi = {10.1002/SPE.4380080102},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Meyer78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
