default search action

combined dblp search
author search
venue search
publication search

ask others

Bertrand Meyer 0001

> Home > Persons

Person information

affiliation: Constructor University, Schaffhausen, Switzerland
affiliation: Eiffel Software, Santa Barbara, CA, USA
affiliation (2001-2016): ETH Zurich, Department of Computer Science, Switzerland
affiliation (former): Polytechnic University of Milan, Italy
affiliation (2015-2016): University of Toulouse, France
affiliation (former): Monash University, Melbourne, VIC, Australia
affiliation (1974-1983): Électricité de France (EDF) SA, Clamart, France
affiliation (PhD): University of Nancy, France
award (2006): ACM Software System Award

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j94]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MeyerAK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MeyerAK24
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov:
The Concept of Class Invariant in Object-oriented Programming. Formal Aspects Comput. 36(1): 5:1-5:38 (2024)
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-apr/MeyerKH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-apr/MeyerKH24
Bertrand Meyer, Viktoryia Kananchuk, Li Huang:
BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community. APR 2024: 9-13
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/00030MO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/00030MO24
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-Free Program Repair. SIGSOFT FSE Companion 2024: 517-521
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HuangMO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HuangMO24
Li Huang, Bertrand Meyer, Manuel Oriol:
Is MCDC Really Better? Lessons from Combining Tests and Proofs. TAP 2024: 25-44
[p5]
- view
  authority control:
- export record
  dblp key:
  - books/sp/24/000124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/24/000124
Bertrand Meyer:
Right and Wrong: Ten Choices in Language Design. The French School of Programming 2024: 379-439
[e34]
- view
  authority control:
- export record
  dblp key:
  - books/sp/24/2024M
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/24/2024M
Bertrand Meyer:
The French School of Programming. Springer 2024, ISBN 978-3-031-34517-3 [contents]
[i50]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-14471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-14471
Bertrand Meyer, Viktoryia Kananchuk, Li Huang:
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community. CoRR abs/2402.14471 (2024)
[i49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-08923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-08923
Bertrand Meyer:
Loop unrolling (for test coverage): formal definition. CoRR abs/2403.08923 (2024)
[i48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-01309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-01309
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol:
Execution-free Program Repair. CoRR abs/2405.01309 (2024)
2023
[j93]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/NaumchevaENBGM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/NaumchevaENBGM23
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer:
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. J. Object Technol. 22(1): 1-19 (2023)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/HuangM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/HuangM23
Li Huang, Bertrand Meyer:
A failed proof can yield a useful test. Softw. Test. Verification Reliab. 33(7) (2023)
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/HuangMO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/HuangMO23
Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS 2023: 52-70
[e33]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/2023
Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer:
Frontiers in Software Engineering Education - Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers. Lecture Notes in Computer Science 14387, Springer 2023, ISBN 978-3-031-48638-8 [contents]
[i47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-02206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-02206
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege:
Lessons from Formally Verified Deployed Software Systems. CoRR abs/2301.02206 (2023)
[i46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-04232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-04232
Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR abs/2309.04232 (2023)
2022
[b18]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Meyer22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Meyer22
Bertrand Meyer:
Handbook of Requirements and Business Analysis. Springer 2022, ISBN 978-3-031-06738-9, pp. 1-250
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/BruelEGMNM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/BruelEGMNM21
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer:
The Role of Formalism in System Requirements. ACM Comput. Surv. 54(5): 93:1-93:36 (2022)
[j90]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/CapozuccaBMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/CapozuccaBMM22
Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. 3(2): 132 (2022)
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Huang0O22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Huang0O22
Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops 2022: 268-273
[i45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-09873
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-09873
Li Huang, Bertrand Meyer:
A Failed Proof Can Yield a Useful Test. CoRR abs/2208.09873 (2022)
[i44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-10492
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-10492
Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. CoRR abs/2208.10492 (2022)
[i43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-02189
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-02189
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer:
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. CoRR abs/2209.02189 (2022)
[i42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-16597
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-16597
Bertrand Meyer:
Right and wrong: ten choices in language design. CoRR abs/2211.16597 (2022)
2021
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06557
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06557
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev:
The concept of class invariant in object-oriented programming. CoRR abs/2109.06557 (2021)
2020
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/000120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/000120
Bertrand Meyer:
In search of the shortest possible schedule. Commun. ACM 63(1): 8-9 (2020)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/Rivera020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/Rivera020
Victor Rivera, Bertrand Meyer:
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. SN Comput. Sci. 1(1): 12:1-12:15 (2020)
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/sp/20/000120a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/20/000120a
Bertrand Meyer:
Software Engineering, Across Two Centuries. Unimagined Futures 2020: 94-104
[e32]
- view
  authority control:
- export record
  dblp key:
  - conf/devops-ws/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/devops-ws/2019
Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6-8, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12055, Springer 2020, ISBN 978-3-030-39305-2 [contents]
[e31]
- view
  authority control:
- export record
  dblp key:
  - conf/fisee/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fisee/2019
Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh:
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers. Lecture Notes in Computer Science 12271, Springer 2020, ISBN 978-3-030-57662-2 [contents]

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/NaumchevMMGBE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/NaumchevMMGBE19
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold:
AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. 51: 131-142 (2019)
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/0001BEGN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/0001BEGN19
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
Towards an Anatomy of Software Requirements. TOOLS 2019: 10-40
[e30]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/2018d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/2018d
Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
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. Lecture Notes in Computer Science 11350, Springer 2019, ISBN 978-3-030-06018-3 [contents]
[e29]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/2019
Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko:
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11771, Springer 2019, ISBN 978-3-030-29851-7 [contents]
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-06614
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-06614
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
The Anatomy of Requirements. CoRR abs/1906.06614 (2019)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-02564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-02564
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer:
Formality in Software Requirements. CoRR abs/1911.02564 (2019)
2018
[j86]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/GuzdialM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/GuzdialM18
Mark Guzdial, Bertrand Meyer:
The costs and pleasures of a computer science teacher. Commun. ACM 61(3): 12-13 (2018)
[j85]
- view
  authority control:
- export record
  dblp key:
  - journals/software/Meyer18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/Meyer18
Bertrand Meyer:
Making Sense of Agile Methods. IEEE Softw. 35(2): 91-94 (2018)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1808-08748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08748
Victor Rivera, Bertrand Meyer:
AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. CoRR abs/1808.08748 (2018)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1808-08751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08751
Victor Rivera, Bertrand Meyer:
AutoFrame: Automatic Frame Inference for Object-Oriented Languages. CoRR abs/1808.08751 (2018)
2017
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer17
Bertrand Meyer:
Ending null pointer crashes. Commun. ACM 60(5): 8-9 (2017)
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/NaumchevM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/NaumchevM17
Alexandr Naumchev, Bertrand Meyer:
Seamless requirements. Comput. Lang. Syst. Struct. 49: 119-132 (2017)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CaltaisM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CaltaisM17
Georgiana Caltais, Bertrand Meyer:
On the verification of SCOOP programs. Sci. Comput. Program. 133: 194-215 (2017)
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/re/GalinierBEM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/GalinierBEM17
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer:
Seamless Integration of Multirequirements in Complex Systems. RE Workshops 2017: 21-25
[e28]
- view
  authority control:
- export record
  dblp key:
  - books/sp/MM2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/MM2017
Manuel Mazzara, Bertrand Meyer:
Present and Ulterior Software Engineering. Springer 2017, ISBN 978-3-319-67424-7 [contents]
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NaumchevM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NaumchevM17
Alexandr Naumchev, Bertrand Meyer:
Seamless Requirements. CoRR abs/1704.04189 (2017)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NaumchevMMBGE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NaumchevMMBGE17
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold:
A contract-based method to specify stimulus-response requirements. CoRR abs/1704.04905 (2017)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-02801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-02801
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold:
Expressing and verifying embedded software requirements. CoRR abs/1710.02801 (2017)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1712-05078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-05078
Bertrand Meyer:
Fourteen Years of Software Engineering at ETH Zurich. CoRR abs/1712.05078 (2017)
2016
[j81]
- view
  authority control:
- export record
  dblp key:
  - journals/jaise/ShinRM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaise/ShinRM16
Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
SmartWalker: An intelligent robotic walker. J. Ambient Intell. Smart Environ. 8(4): 383-398 (2016)
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SchillPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SchillPM16
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. COORDINATION 2016: 227-244
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/NaumchevM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/NaumchevM16
Alexandr Naumchev, Bertrand Meyer:
Complete Contracts through Specification Drivers. TASE 2016: 160-167
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NaumchevM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NaumchevM16
Alexandr Naumchev, Bertrand Meyer:
Complete contracts through specification drivers. CoRR abs/1602.04007 (2016)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NaumchevMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NaumchevMR16
Alexandr Naumchev, Bertrand Meyer, Victor Rivera:
Unifying Requirements and Code: an Example. CoRR abs/1602.05395 (2016)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SchillPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchillPM16
Mischael Schill, Christopher M. Poskitt, Bertrand Meyer:
An Interference-Free Programming Model for Network Objects. CoRR abs/1604.04591 (2016)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Meyer16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Meyer16b
Bertrand Meyer:
Class Invariants: Concepts, Problems, Solutions. CoRR abs/1608.07637 (2016)
2015
[j80]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KogtenkovMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KogtenkovMV15
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias calculus, change calculus and frame inference. Sci. Comput. Program. 97: 163-172 (2015)
[c155]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecss/Meyer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecss/Meyer15
Bertrand Meyer:
Rational Ethics. ECSS 2015: 49-64
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/NaumchevMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/NaumchevMR15
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera:
Unifying Requirements and Code: An Example. Ershov Memorial Conference 2015: 233-244
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/KolesnichenkoPN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/KolesnichenkoPN15
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-based general-purpose GPU programming. GPCE 2015: 75-84
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ShinRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ShinRM15
Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
Concurrent Software Engineering and Robotics Education. ICSE (2) 2015: 370-379
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/0001FNM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001FNM15
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer:
Automated Program Repair in an Integrated Development Environment. ICSE (2) 2015: 681-684
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/intenv/ShinIRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intenv/ShinIRM15
Jiwon Shin, David Itten, Andrey Rusakov, Bertrand Meyer:
SmartWalker: Towards an Intelligent Robotic Walker for the Elderly. Intelligent Environments 2015: 9-16
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/RusakovSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/RusakovSM15
Andrey Rusakov, Jiwon Shin, Bertrand Meyer:
Concurrency patterns for easier robotic coordination. IROS 2015: 3500-3505
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/AntonucciENPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/AntonucciENPM15
Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer:
An Incremental Hint System For Automated Programming Assignments. ITiCSE 2015: 320-325
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/petra/ShinSM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/petra/ShinSM15
Jiwon Shin, Ivo Steinmann, Bertrand Meyer:
Automatic speed control for SmartWalker. PETRA 2015: 9:1-9:4
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/WestNM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/WestNM15
Scott West, Sebastian Nanz, Bertrand Meyer:
Efficient and reasonable object-oriented concurrency. PPoPP 2015: 273-274
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WestNM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WestNM15
Scott West, Sebastian Nanz, Bertrand Meyer:
Efficient and reasonable object-oriented concurrency. ESEC/SIGSOFT FSE 2015: 734-744
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/Meyer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/Meyer15
Bertrand Meyer:
Framing the Frame Problem. Dependable Software Systems Engineering 2015: 193-203
[e27]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/2014
Bertrand Meyer, Martin Nordio:
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 8987, Springer 2015, ISBN 978-3-319-28405-7 [contents]
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CaltaisM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaltaisM15
Georgiana Caltais, Bertrand Meyer:
On the Verification of SCOOP Programs. CoRR abs/1504.07041 (2015)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Meyer15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Meyer15
Bertrand Meyer:
Theory of Programs. CoRR abs/1507.00723 (2015)
2014
[b17]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Meyer14
Bertrand Meyer:
Agile! - The Good, the Hype and the Ugly. Springer 2014, ISBN 978-3-319-05154-3, pp. 1-154
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/FuriaMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/FuriaMV14
Carlo A. Furia, Bertrand Meyer, Sergey Velder:
Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. 46(3): 34:1-34:51 (2014)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/EstlerNFMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/EstlerNFMS14
Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider:
Agile vs. structured distributed software development: A case study. Empir. Softw. Eng. 19(5): 1197-1224 (2014)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/0001FNWMZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/0001FNWMZ14
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller:
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40(5): 427-449 (2014)
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/MeyerK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/MeyerK14
Bertrand Meyer, Alexander Kogtenkov:
Negative Variables and the Essence of Object-Oriented Programming. Specification, Algebra, and Software 2014: 171-187
[c143]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/MorandiNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/MorandiNM14
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Safe and Efficient Data Sharing for Message-Passing Concurrency. COORDINATION 2014: 99-114
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/NordioEMAPNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/NordioEMAPNS14
Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis:
An experiment on teaching coordination in a globally distributed software engineering class. CSEE&T 2014: 109-118
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Meyer14
Bertrand Meyer:
An Automatic Technique for Static Deadlock Prevention. Ershov Memorial Conference 2014: 45-58
[c140]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/0001FNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/0001FNM14
Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Automatic Program Repair by Fixing Contracts. FASE 2014: 246-260
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/EstlerFNPM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/EstlerFNPM14
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer:
Contracts in Practice. FM 2014: 230-246
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PolikarpovaTFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PolikarpovaTFM14
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants through Semantic Collaboration. FM 2014: 514-530
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/icgse/EstlerNFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgse/EstlerNFM14
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Awareness and Merge Conflicts in Distributed Software Development. ICGSE 2014: 26-35
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/RusakovSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/RusakovSM14
Andrey Rusakov, Jiwon Shin, Bertrand Meyer:
Simple concurrency for robotics with the Roboscoop framework. IROS 2014: 1563-1569
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PiccioniEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PiccioniEM14
Marco Piccioni, H.-Christian Estler, Bertrand Meyer:
SPOC-supported introduction to programming. ITiCSE 2014: 3-8
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/Meyer14
Bertrand Meyer:
Theory of Programs. LASER Summer School 2014: 159-189
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Meyer14
Bertrand Meyer:
Keynote talk IIP: Proving (and revisiting) what programs do not. MEMOCODE 2014: 144
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/qosa/Meyer14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qosa/Meyer14
Bertrand Meyer:
Trust or verify? QoSA 2014: 1-2
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/0001FNWMZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001FNWMZ14
Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller:
Automated Fixing of Programs with Contracts. CoRR abs/1403.1117 (2014)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/WestNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WestNM14
Scott West, Sebastian Nanz, Bertrand Meyer:
Efficient and Reasonable Object-Oriented Concurrency. CoRR abs/1405.7153 (2014)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ShinRM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShinRM14
Jiwon Shin, Andrey Rusakov, Bertrand Meyer:
Teaching Software Engineering through Robotics. CoRR abs/1406.4458 (2014)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SchillNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchillNM14
Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Dynamic Checking of Safe Concurrent Memory Access using Shared Ownership. CoRR abs/1407.1245 (2014)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/CaltaisM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaltaisM14
Georgiana Caltais, Bertrand Meyer:
Coffman deadlocks in SCOOP. CoRR abs/1409.7514 (2014)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KolesnichenkoPNM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KolesnichenkoPNM14
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer:
Contract-Based General-Purpose GPU Programming. CoRR abs/1410.6685 (2014)
2013
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer13
Bertrand Meyer:
When reviews do more than sting. Commun. ACM 56(2): 8-9 (2013)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/NanzTPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/NanzTPM13
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
Design of an empirical study for comparing the usability of concurrent programming languages. Inf. Softw. Technol. 55(7): 1304-1315 (2013)
[j74]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/PiccioniOM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/PiccioniOM13
Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. IEEE Trans. Software Eng. 39(2): 184-196 (2013)
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/MorandiSNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/MorandiSNM13
Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Prototyping a Concurrency Model. ACSD 2013: 170-179
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/aswec/EstlerNFM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aswec/EstlerNFM13
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. Australian Software Engineering Conference 2013: 201-210
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/TrudelFNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/TrudelFNM13
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Really Automatic Scalable Object-Oriented Reengineering. ECOOP 2013: 477-501
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/PiccioniFM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/PiccioniFM13
Marco Piccioni, Carlo A. Furia, Bertrand Meyer:
An Empirical Study of API Usability. ESEM 2013: 5-14
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/NanzWSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/NanzWSM13
Sebastian Nanz, Scott West, Kaue Soares da Silveira, Bertrand Meyer:
Benchmarking Usability and Performance of Multicore Languages. ESEM 2013: 183-192
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/icgse/EstlerNFM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgse/EstlerNFM13
H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Collaborative Debugging. ICGSE 2013: 110-119
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PolikarpovaF0WM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PolikarpovaF0WM13
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What good are strong specifications? ICSE 2013: 262-271
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/musepat/SchillNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/musepat/SchillNM13
Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Handling Parallelism in a Concurrency Model. MUSEPAT 2013: 37-48
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/musepat/KolesnichenkoNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/musepat/KolesnichenkoNM13
Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer:
How to Cancel a Task. MUSEPAT 2013: 61-72
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/FuriaMOTW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/FuriaMOTW13
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The search for the laws of automatic random testing. SAC 2013: 1211-1216
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MeyerGHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MeyerGHS13
Bertrand Meyer, Harald C. Gall, Mark Harman, Giancarlo Succi:
Empirical answers to fundamental software engineering problems (panel). ESEC/SIGSOFT FSE 2013: 14-18
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/ssbse/KolesnichenkoPM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssbse/KolesnichenkoPM13
Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer:
Applying Search in an Automatic Contract-Based Testing Tool. SSBSE 2013: 318-323
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NordioCM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NordioCM13
Martin Nordio, Cristiano Calcagno, Bertrand Meyer:
Certificates and Separation Logic. TGC 2013: 273-293
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TschannenFNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TschannenFNM13
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Program Checking with Less Hassle. VSTTE 2013: 149-169
[e26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/2013
Bertrand Meyer, Luciano Baresi, Mira Mezini:
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. ACM 2013, ISBN 978-1-4503-2237-9 [contents]
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KogtenkovMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KogtenkovMV13
Alexander Kogtenkov, Bertrand Meyer, Sergey Velder:
Alias and Change Calculi, Applied to Frame Inference. CoRR abs/1307.3189 (2013)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SchillNM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchillNM13
Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Handling Parallelism in a Concurrency Model. CoRR abs/1308.0938 (2013)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/PolikarpovaTFM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PolikarpovaTFM13
Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants Through Semantic Collaboration. CoRR abs/1311.6329 (2013)
2012
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/GuzdialM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/GuzdialM12
Mark Guzdial, Bertrand Meyer:
Understanding CS1 students; defective software. Commun. ACM 55(1): 14-15 (2012)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer12
Bertrand Meyer:
Knowledgeable beginners. Commun. ACM 55(3): 10-11 (2012)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer12a
Bertrand Meyer:
Incremental research vs. paradigm-shift mania. Commun. ACM 55(9): 8-9 (2012)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MorandiNM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MorandiNM12
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Performance analysis of SCOOP programs. J. Syst. Softw. 85(11): 2519-2530 (2012)
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/MorandiNM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/MorandiNM12
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Who is Accountable for Asynchronous Exceptions? APSEC 2012: 462-471
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WestNM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WestNM12
Scott West, Sebastian Nanz, Bertrand Meyer:
Demonic Testing of Concurrent Programs. ICFEM 2012: 478-493
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/icgse/EstlerNFMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgse/EstlerNFMS12
H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider:
Agile vs. Structured Distributed Software Development: A Case Study. ICGSE 2012: 11-20
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MorandiNM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MorandiNM12
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Can asynchronous exceptions expire? WEH@ICSE 2012: 4-6
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/msept/MeyerKA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msept/MeyerKA12
Bertrand Meyer, Alexander Kogtenkov, Anton Akhi:
Processors and Their Collection. MSEPT 2012: 1-15
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/StadenCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/StadenCM12
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Freefinement. POPL 2012: 7-18
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/TrudelFNMO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/TrudelFNMO12
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
C to O-O Translation: Beyond the Easy Stuff. WCRE 2012: 19-28
[e25]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/2010
Bertrand Meyer, Martin Nordio:
Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7007, Springer 2012, ISBN 978-3-642-25230-3 [contents]
[e24]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/2011
Bertrand Meyer, Martin Nordio:
Tools for Practical Software Verification, LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 7682, Springer 2012, ISBN 978-3-642-35745-9 [contents]
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1206-5648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-5648
Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
Automatic Translation of C Source Code to Eiffel. CoRR abs/1206.5648 (2012)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1208-3337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-3337
Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What Good Are Strong Specifications? CoRR abs/1208.3337 (2012)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1211-3257
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-3257
Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1211-4470
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-4470
Carlo A. Furia, Bertrand Meyer, Sergey Velder:
A survey of loop invariants. CoRR abs/1211.4470 (2012)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1211-4775
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-4775
H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
How Specifications Change and Why You Should Care. CoRR abs/1211.4775 (2012)
2011
[j69]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/MeyerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/MeyerL11
Bertrand Meyer, Greg Linden:
In support of open reviews; better teaching through large-scale data mining. Commun. ACM 54(11): 12-13 (2011)
[j68]
- view
  - electronic edition @ ijsi.org
  - details & citations
- export record
  dblp key:
  - journals/ijsi/Meyer11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/Meyer11
Bertrand Meyer:
Steps Towards a Theory and Calculus of Aliasing. Int. J. Softw. Informatics 5(1-2): 77-115 (2011)
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/CiupaPOLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/CiupaPOLM11
Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer:
On the number and nature of faults found by random testing. Softw. Test. Verification Reliab. 21(1): 3-28 (2011)
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/SilvaWMO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/SilvaWMO11
Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol:
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC 2011: 290-297
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/NanzTPM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/NanzTPM11
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
Empirical assessment of languages for teaching concurrency: Methodology and application. CSEE&T 2011: 477-481
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/NanzTPM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/NanzTPM11
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages. ESEM 2011: 325-334
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/icgse/NordioEMTGN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgse/NordioEMTGN11
Martin Nordio, H.-Christian Estler, Bertrand Meyer, Julian Tschannen, Carlo Ghezzi, Elisabetta Di Nitto:
How Do Distribution and Time Zones Affect Software Development? A Case Study on Communication. ICGSE 2011: 176-184
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NordioGMNTTAK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NordioGMNTTAK11
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni:
Teaching software engineering using globally distributed projects: the DOSE course. CTGDSD@ICSE 2011: 36-40
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WeiFKM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WeiFKM11
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer:
Inferring better contracts. ICSE 2011: 191-200
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/PeiWFNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/PeiWFNM11
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Code-based automated program fixing. ASE 2011: 392-395
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/WeiRFPHSNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/WeiRFPHSNM11
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/TschannenFNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/TschannenFNM11
Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer:
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. LASER Summer School 2011: 133-155
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/TschannenFNM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/TschannenFNM11
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398
[e23]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip2/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/2008
Zbigniew Huzar, Radek Kocí, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka:
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. Lecture Notes in Computer Science 4980, Springer 2011, ISBN 978-3-642-22385-3 [contents]
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1101-1038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1101-1038
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
A comprehensive operational semantics of the SCOOP programming model. CoRR abs/1101.1038 (2011)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1102-1059
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-1059
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Evidence-Based Automated Program Fixing. CoRR abs/1102.1059 (2011)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1103-0711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-0711
Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. CoRR abs/1103.0711 (2011)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1105-0768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-0768
Martin Nordio, Bertrand Meyer, H.-Christian Estler:
Collaborative Software Development on the Web. CoRR abs/1105.0768 (2011)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1106-4700
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-4700
Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Verifying Eiffel Programs with Boogie. CoRR abs/1106.4700 (2011)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1107-1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-1999
Bertrand Meyer:
Towards a Calculus of Object Programs. CoRR abs/1107.1999 (2011)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1108-1068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1068
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful Testing: Finding More Errors in Code and Contracts. CoRR abs/1108.1068 (2011)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1111-1170
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-1170
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
Record-Replay Debugging for Concurrent SCOOP Programs. CoRR abs/1111.1170 (2011)
2010
[j66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/Meyer10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/Meyer10
Bertrand Meyer:
Towards a theory and calculus of aliasing. J. Object Technol. 9(2): 37-74 (2010)
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/FuriaM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/FuriaM10
Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation 2010: 277-300
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/StadenCM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/StadenCM10
Stephan van Staden, Cristiano Calcagno, Bertrand Meyer:
Verifying Executable Object-Oriented Specifications with Separation Logic. ECOOP 2010: 151-174
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/WestNM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/WestNM10
Scott West, Sebastian Nanz, Bertrand Meyer:
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. ICFEM 2010: 597-612
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NordioMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NordioMM10
Martin Nordio, Roman Mitin, Bertrand Meyer:
Advanced hands-on training for distributed and outsourced software engineering. ICSE (1) 2010: 555-558
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/WeiGMO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/WeiGMO10
Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol:
Satisfying Test Preconditions through Guided Object Selection. ICST 2010: 303-312
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/RamanathanMWNM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/RamanathanMWNM10
Ganesh Ramanathan, Benjamin Morandi, Scott West, Sebastian Nanz, Bertrand Meyer:
Deriving concurrent control software from behavioral specifications. IROS 2010: 1994-1999
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/issep/PedroniM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issep/PedroniM10
Michela Pedroni, Bertrand Meyer:
Object-Oriented Modeling of Object-Oriented Concepts. ISSEP 2010: 155-169
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/WeiPFSBMZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WeiPFSBMZ10
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller:
Automated fixing of programs with contracts. ISSTA 2010: 61-72
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/MorandiNM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/MorandiNM10
Benjamin Morandi, Sebastian Nanz, Bertrand Meyer:
A Formal Reference for SCOOP. LASER Summer School 2010: 89-157
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/WeiMO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/WeiMO10
Yi Wei, Bertrand Meyer, Manuel Oriol:
Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School 2010: 194-212
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/taicpart/Meyer10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taicpart/Meyer10
Bertrand Meyer:
Automatic Testing and Fixing for Eiffel - (Extended Abstract). TAIC PART 2010: 1-4
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/NordioCMMT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/NordioCMMT10
Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen:
Reasoning about Function Objects. TOOLS (48) 2010: 79-96
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/PolikarpovaFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/PolikarpovaFM10
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. VSTTE 2010: 127-141
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/MeyerKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/MeyerKS10
Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf:
Avoid a Void: The Eradication of Null Dereferencing. Reflections on the Work of C. A. R. Hoare 2010: 189-211
[e22]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/2010
Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov:
Software Engineering Approaches for Offshore and Outsourced Development - 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings. Lecture Notes in Business Information Processing 54, Springer 2010, ISBN 978-3-642-13783-9 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1001-1610
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-1610
Bertrand Meyer:
The theory and calculus of aliasing. CoRR abs/1001.1610 (2010)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1003-5777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5777
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. CoRR abs/1003.5777 (2010)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1011-6047
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6047
Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
A Comparative Study of the Usability of Two Object-oriented Concurrent Programming Languages. CoRR abs/1011.6047 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b16]
- view
  authority control:
- export record
  dblp key:
  - books/sp/MeyerTouch2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/MeyerTouch2009
Bertrand Meyer:
Touch of Class: Learning to Program Well with Objects and Contracts. Springer 2009, ISBN 978-3-540-92144-8
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/MeyerCSL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/MeyerCSL09
Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen:
Viewpoint - Research evaluation for computer science. Commun. ACM 52(4): 31-34 (2009)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MeyerFCLWS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MeyerFCLWS09
Bertrand Meyer, Arno Fiva, Ilinca Ciupa, Andreas Leitner, Yi Wei, Emmanuel Stapf:
Programs That Test Themselves. Computer 42(9): 46-55 (2009)
[j63]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/NienaltowskiMO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/NienaltowskiMO09
Piotr Nienaltowski, Bertrand Meyer, Jonathan S. Ostroff:
Contracts for concurrency. Formal Aspects Comput. 21(4): 305-318 (2009)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/software/EverettM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/EverettM09
Gerald D. Everett, Bertrand Meyer:
Point/Counterpoint. IEEE Softw. 26(4): 62-65 (2009)
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LeitnerPMMO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LeitnerPMMO09
Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol:
On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PolikarpovaCM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PolikarpovaCM09
Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer:
A comparative study of programmer-written and automatically inferred contracts. ISSTA 2009: 93-104
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/DallmeierZM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/DallmeierZM09
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer:
Generating Fixes from Object Behavior Anomalies. ASE 2009: 550-554
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/PiccioniOMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/PiccioniOMS09
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider:
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. ASE 2009: 650-654
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/NordioMMGNT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/NordioMMGNT09
Martin Nordio, Roman Mitin, Bertrand Meyer, Carlo Ghezzi, Elisabetta Di Nitto, Giordano Tamburrelli:
The Role of Contracts in Distributed Development. SEAFOOD 2009: 117-129
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/NordioCMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/NordioCMM09
Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer:
A Sound and Complete Program Logic for Eiffel. TOOLS (47) 2009: 195-214
[e21]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/2008
Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio:
Software Engineering Approaches for Offshore and Outsourced Development - 2nd International Conference, SEAFOOD@TOOLS 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers. Lecture Notes in Business Information Processing 16, Springer 2009, ISBN 978-3-642-01855-8 [contents]
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/2009
Olly Gotel, Mathai Joseph, Bertrand Meyer:
Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Lecture Notes in Business Information Processing 35, Springer 2009, ISBN 978-3-642-02986-8 [contents]
[e19]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/47-2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/47-2009
Manuel Oriol, Bertrand Meyer:
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33, Springer 2009, ISBN 978-3-642-02570-9 [contents]
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0909-0884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0909-0884
Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants using Postconditions. CoRR abs/0909.0884 (2009)
2008
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer08
Bertrand Meyer:
Design and code reviews in the age of the internet. Commun. ACM 51(9): 66-71 (2008)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer08
Bertrand Meyer:
Seven Principles of Software Testing. Computer 41(8): 99-101 (2008)
[j59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/BayPM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/BayPM08
Till G. Bay, Michela Pedroni, Bertrand Meyer:
By students, for students: a production-quality multimedia library and its application to game-based teaching. J. Object Technol. 7(1): 147-159 (2008)
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/MeyerP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/MeyerP08
Bertrand Meyer, Marco Piccioni:
The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development. CSEE&T 2008: 3-16
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CiupaLOM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CiupaLOM08
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
ARTOO: adaptive random testing for object-oriented software. ICSE 2008: 71-80
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CiupaPLOM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CiupaPLOM08
Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CiupaMOP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CiupaMOP08
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner:
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PedroniOMAA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PedroniOMAA08
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer:
Course management with TrucStudio. ITiCSE 2008: 260-264
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/laser/MorandiBM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/laser/MorandiBM08
Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer:
SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. LASER Summer School 2008: 41-90
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/Meyer08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/Meyer08
Bertrand Meyer:
Design and Code Reviews in the Age of the Internet. SEAFOOD 2008: 126-133
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/NienaltowskiPM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/NienaltowskiPM08
Marie-Hélène Nienaltowski, Michela Pedroni, Bertrand Meyer:
Compiler error messages: what can help novices? SIGCSE 2008: 168-172
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/PedroniOMA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/PedroniOMA08
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer:
Automatic extraction of notions from course material. SIGCSE 2008: 251-255
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/NordioMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/NordioMM08
Martin Nordio, Peter Müller, Bertrand Meyer:
Proof-Transforming Compilation of Eiffel Programs. TOOLS (46) 2008: 316-335
[e18]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip2/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2/2007
Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter:
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. Lecture Notes in Computer Science 5082, Springer 2008, ISBN 978-3-540-85278-0 [contents]
[e17]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/46-2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/46-2008
Richard F. Paige, Bertrand Meyer:
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings. Lecture Notes in Business Information Processing 11, Springer 2008, ISBN 978-3-540-69823-4 [contents]
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2005
Bertrand Meyer, Jim Woodcock:
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. Lecture Notes in Computer Science 4171, Springer 2008, ISBN 978-3-540-69147-1 [contents]
2007
[j58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/BezivinM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/BezivinM07
Jean Bézivin, Bertrand Meyer:
Editorial Special Issue. J. Object Technol. 6(9): 11 (2007)
[c71]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecoop/PiccioniOM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/PiccioniOM07
Marco Piccioni, Manuel Oriol, Bertrand Meyer:
IDE-integrated Support for Schema Evolution in Object-Oriented Applications. RAM-SE 2007: 27-36
[c70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/Meyer07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Meyer07
Bertrand Meyer:
Contract-Driven Development. FASE 2007: 11
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/LeitnerCMH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/LeitnerCMH07
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mark Howard:
Reconciling Manual and Automated Testing: The AutoTest Experience. HICSS 2007: 261
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CiupaLOM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CiupaLOM07
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Experimental assessment of random testing for object-oriented software. ISSTA 2007: 84-94
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/PedroniOM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/PedroniOM07
Michela Pedroni, Manuel Oriol, Bertrand Meyer:
A framework for describing and comparing courses and curricula. ITiCSE 2007: 131-135
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LeitnerOZCM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LeitnerOZCM07
Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer:
Efficient unit test case minimization. ASE 2007: 417-420
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/Meyer07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/Meyer07
Bertrand Meyer:
Proving What Programs Do Not. MEMOCODE 2007: 135
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/FraserGHMMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/FraserGHMMS07
Steven Fraser, James Gosling, Anders Hejlsberg, Ole Lehrmann Madsen, Bertrand Meyer, Guy L. Steele Jr.:
Celebrating 40 years of language evolution: simula 67 to the present and beyond. OOPSLA Companion 2007: 1021-1023
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LeitnerCOMF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LeitnerCOMF07
Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva:
Contract driven development = test driven development - writing test cases. ESEC/SIGSOFT FSE 2007: 425-434
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/MeyerCLL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/MeyerCLL07
Bertrand Meyer, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu:
Automatic Testing of Object-Oriented Software. SOFSEM (1) 2007: 114-129
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/LiuMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/LiuMS07
Lisa Ling Liu, Bertrand Meyer, Bernd Schoeller:
Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. TAP 2007: 114-130
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/seafood/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seafood/2007
Bertrand Meyer, Mathai Joseph:
Software Engineering Approaches for Offshore and Outsourced Development - 1st International Conference, SEAFOOD@TOOLS 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers. Lecture Notes in Computer Science 4716, Springer 2007, ISBN 978-3-540-75541-8 [contents]
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/2007
Yuri Gurevich, Bertrand Meyer:
Tests and Proofs - 1st International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Lecture Notes in Computer Science 4454, Springer 2007, ISBN 978-3-540-73769-8 [contents]
2006
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/MeyerZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/MeyerZ06
Bertrand Meyer, Willy Zwaenepoel:
Europe's computer scientists take fate into their own hands. Commun. ACM 49(3): 21-24 (2006)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer06
Bertrand Meyer:
The Unspoken Revolution in Software Engineering. Computer 39(1): 121-124 (2006)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer06a
Bertrand Meyer:
Testable, Reusable Units of Cognition. Computer 39(4): 20-24 (2006)
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MeyerA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MeyerA06
Bertrand Meyer, Karine Arnout:
Componentization: The Visitor Example. Computer 39(7): 23-30 (2006)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/ArnoutM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/ArnoutM06
Karine Arnout, Bertrand Meyer:
Pattern Componentization: The Factory Example. Innov. Syst. Softw. Eng. 2(2): 65-79 (2006)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/dics/Meyer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dics/Meyer06
Bertrand Meyer:
Dependable Software. Research Results of the DICS Program 2006: 1-33
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/CiupaLOM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/CiupaLOM06
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Object distance and its application to adaptive random testing of object-oriented programs. Random Testing 2006: 55-63
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/Meyer06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/Meyer06
Bertrand Meyer:
The Context of Object Computation (extended abstract). SEFM 2006: 13-17
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/PedroniM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/PedroniM06
Michela Pedroni, Bertrand Meyer:
The inverted curriculum in practice. SIGCSE 2006: 481-485
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/dics/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dics/2006
Jürg Kohlas, Bertrand Meyer, André Schiper:
Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Lecture Notes in Computer Science 4028, Springer 2006, ISBN 3-540-36821-3 [contents]
2005
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/Meyer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/Meyer05
Bertrand Meyer:
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming. ECOOP 2005: 1-32
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rise/Meyer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rise/Meyer05
Bertrand Meyer:
Doing More with Contracts: Towards Automatic Tests and Proofs. RISE 2005: 1
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/rise/BalzerEM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rise/BalzerEM05
Stephanie Balzer, Patrick Th. Eugster, Bertrand Meyer:
Can Aspects Implement Contracts?. RISE 2005: 145-157
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/Meyer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/Meyer05
Bertrand Meyer:
Eiffel as a Framework for Verification. VSTTE 2005: 301-307
2004
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Meyer04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Meyer04
Bertrand Meyer:
The Power of Abstraction, Reuse, and Simplicity: An Object-Oriented Library for Event-Driven Design. Essays in Memory of Ole-Johan Dahl 2004: 236-271
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/SchoellerWM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SchoellerWM04
Bernd Schoeller, Tobias Widmer, Bertrand Meyer:
Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components 2004: 48-70
2003
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/Lobjet/ArnoutM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/Lobjet/ArnoutM03
Karine Arnout, Bertrand Meyer:
Contrats cachés en .NET. Mise au jour et ajout de contrats a posteriori. Obj. Logiciel Base données Réseaux 9(1-2): 17-30 (2003)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/ArnoutM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/ArnoutM03
Karine Arnout, Bertrand Meyer:
Uncovering Hidden Contracts: The .NET Example. Computer 36(11): 48-55 (2003)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/NienaltowskiAM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/NienaltowskiAM03
Piotr Nienaltowski, Volkan Arslan, Bertrand Meyer:
Concurrent object-oriented programming on .NET. IEE Proc. Softw. 150(5): 308-314 (2003)
[j49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/Meyer03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/Meyer03a
Bertrand Meyer:
Proving Pointer Program Properties. Part 1: Context and overview. J. Object Technol. 2(2): 87-108 (2003)
[j48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/Meyer03b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/Meyer03b
Bertrand Meyer:
On an open issue of programming language phonetics. J. Object Technol. 2(2): 109-110 (2003)
[j47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/Meyer03c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/Meyer03c
Bertrand Meyer:
Proving Pointer Program Properties. Part 2: The Overall Object Structure. J. Object Technol. 2(3): 77-100 (2003)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/Meyer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/Meyer03
Bertrand Meyer:
Blueprint for Real Progress in Software Engineering. APSEC 2003: 3
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/Meyer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/Meyer03
Bertrand Meyer:
A Framework for Proving Contract-Equipped Classes. Abstract State Machines 2003: 108-125
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/Meyer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/Meyer03
Bertrand Meyer:
The Outside-In Method of Teaching Introductory Programming. Ershov Memorial Conference 2003: 66-78
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Meyer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Meyer03
Bertrand Meyer:
The Grand Challenge of Trusted Components. ICSE 2003: 660-667
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/zum/Meyer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zum/Meyer03
Bertrand Meyer:
Towards Practical Proofs of Class Correctness. ZB 2003: 359-387
2002
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer02
Bertrand Meyer:
Assessing a C# Text. Computer 35(4): 86-88 (2002)
[j45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/Meyer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/Meyer02
Bertrand Meyer:
The Start of an Eiffel Standard. J. Object Technol. 1(2): 95-99 (2002)
[j44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/MeyerNM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/MeyerNM02
Bertrand Meyer, Kristen Nygaard, Ole Lehrmann Madsen:
In Memory of Kristen Nygaard and Ole-Johan Dahl. J. Object Technol. 1(4): 7-15 (2002)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/ArnoutM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/ArnoutM02
Karine Arnout, Bertrand Meyer:
Finding Implicit Contracts in .NET Components. FMCO 2002: 285-318
2001
[b15]
- view
  - electronic edition @ eiffel.com
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer01
Bertrand Meyer:
The .NET Training Course. Prentice-Hall 2001, ISBN 0-13-033115-5
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer01
Bertrand Meyer:
Software Engineering in the Academy. Computer 34(5): 28-35 (2001)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer01a
Bertrand Meyer:
.NET Is Coming. Computer 34(8): 92-97 (2001)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer01b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer01b
Bertrand Meyer:
At the Edge of Design by Contract. TOOLS (38) 2001: 3
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer01
Bertrand Meyer:
Open Problems in Object-Oriented Programming. TOOLS (39) 2001: 8
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/TalbiMS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/TalbiMS01
Tanit Talbi, Bertrand Meyer, Emmanuel Stapf:
A Metric Framework for Object-Oriented Development. TOOLS (39) 2001: 164-172
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer01c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer01c
Bertrand Meyer:
Concurrent Object-Oriented Programming. TOOLS (38) 2001: 203
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer01a
Bertrand Meyer:
Building Trusted Components. TOOLS (39) 2001: 347
2000
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer00
Bertrand Meyer:
The Future of Component-Based Development. TOOLS (33) 2000: 5
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer00a
Bertrand Meyer:
Programming with Agents: Combining O-O and Functional Techniques. TOOLS (33) 2000: 460
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer00b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer00b
Bertrand Meyer:
Agent-Based Programming In Eiffel. TOOLS (34) 2000: 477-478
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer00c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer00c
Bertrand Meyer:
Design By Contract and the Component Revolution. TOOLS (34) 2000: 515-518
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/SmithMSP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/SmithMSP00
Roger Smith, Bertrand Meyer, Clemens A. Szyperski, Gilda Pour:
Component-Based Development? Refining the Blueprint. TOOLS (34) 2000: 563-
[e12]
- view
- export record
  dblp key:
  - conf/tools/34-2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/34-2000
Qizoyan Li, Donald Firesmith, Richard Riehle, Bertrand Meyer:
TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA. IEEE Computer Society 2000, ISBN 0-7695-0774-3 [contents]

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer99
Bertrand Meyer:
On To Components. Computer 32(1): 139-140 (1999)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MeyerM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MeyerM99
Bertrand Meyer, Christine Mingins:
Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction. Computer 32(7): 35-37 (1999)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer99a
Bertrand Meyer:
Every Little Bit Counts: Toward More Reliable Software. Computer 32(11): 131-133 (1999)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer99b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer99b
Bertrand Meyer:
A Really Good Idea. Computer 32(12): 144-147 (1999)
[j37]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer99
Bertrand Meyer:
Design by Contract, Components and Debugging. J. Object Oriented Program. 11(8): 75-79 (1999)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer99b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer99b
Bertrand Meyer:
The Unity of Software and the Power of Roundtrip Engineering. TOOLS (29) 1999: 2
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer99
Bertrand Meyer:
The Unity of Software and the Power of Roundtrip Engineering. TOOLS (30) 1999: 3
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer99c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer99c
Bertrand Meyer:
Seamless Development with the Eiffel Method. TOOLS (29) 1999: 397
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer99a
Bertrand Meyer:
Managing By Contract. TOOLS (30) 1999: 412
[e11]
- view
- export record
  dblp key:
  - conf/tools/30-1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/30-1999
Donald Firesmith, Richard Riehle, Gilda Pour, Bertrand Meyer:
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. IEEE Computer Society 1999, ISBN 0-7695-0278-4 [contents]
1998
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MeyerMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MeyerMS98
Bertrand Meyer, Christine Mingins, Heinz W. Schmidt:
Providing Trusted Components to the Industry. Computer 31(5): 104-105 (1998)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer98a
Bertrand Meyer:
Tell Less, Say More: The Power of Implicitness. Computer 31(7): 97-98 (1998)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer98b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer98b
Bertrand Meyer:
The Role of Object-Oriented Metrics. Computer 31(11): 123-125 (1998)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer98
Bertrand Meyer:
The Future of Object Technology. Computer 31: 140-141 (1998)
[j32]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer98
Bertrand Meyer:
The Component Combinator for Enterprise Applications. J. Object Oriented Program. 10(8): 5-9 (1998)
[j31]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/CreelM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/CreelM98
Christopher Creel, Bertrand Meyer:
Is Object Technology Ready for the Embedded World? J. Object Oriented Program. 11(1): 69-71, 76 (1998)
[j30]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer98a
Bertrand Meyer:
Approaches to Portability. J. Object Oriented Program. 11(4): 68-70 (1998)
[j29]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer98b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer98b
Bertrand Meyer:
The Power of Round-Trip Engineering. J. Object Oriented Program. 11(6): 93-95 (1998)
[j28]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer98d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer98d
Bertrand Meyer:
Free EiffelBase: Eiffel Libraries Go Open Source. J. Object Oriented Program. 11(7): 8-10, 17 (1998)
[j27]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer98c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer98c
Bertrand Meyer:
Prelude to a Theory of Void. J. Object Oriented Program. 11(7): 36-48 (1998)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer98
Bertrand Meyer:
Can We Make Componentware Succeed? TOOLS (26) 1998: 3
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer98a
Bertrand Meyer:
Design by Contract: The Eiffel Method. TOOLS (26) 1998: 446
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer98b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer98b
Bertrand Meyer:
Panel: Issues in Moving to a Component-Based Industry. TOOLS (26) 1998: 493
[e10]
- view
- export record
  dblp key:
  - conf/tools/28-1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/28-1998
Christine Mingins, Bertrand Meyer:
TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia. IEEE Computer Society 1998, ISBN 0-7695-0053-6 [contents]
1997
[b14]
- view
  - electronic edition @ eiffel.com
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer97
Bertrand Meyer:
Object-Oriented Software Construction, 2nd Edition. Prentice-Hall 1997, ISBN 0-13-629155-4
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/JezequelM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/JezequelM97
Jean-Marc Jézéquel, Bertrand Meyer:
Design by Contract: The Lessons of Ariane. Computer 30(1): 129-130 (1997)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer97
Bertrand Meyer:
Practice To Perfect: The Quality First Model. Computer 30(5): 102-106 (1997)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer97a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer97a
Bertrand Meyer:
The Next Software Breakthrough. Computer 30(7): 113-114 (1997)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/CreelMS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/CreelMS97
Christopher Creel, Bertrand Meyer, Philippe Stephan:
The Opportunity of a Millennium. Computer 30(11): 137-138 (1997)
[j22]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer97
Bertrand Meyer:
Ten Years After. J. Object Oriented Program. 10(4): 8-12 (1997)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/CoplienGHM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/CoplienGHM97
James Coplien, Joseph Gil, David Harel, Bertrand Meyer:
Keynotes. TOOLS (23) 1997: 2
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/Meyer97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer97
Bertrand Meyer:
Design by Contract: Making Object-Oriented Programs that Work. TOOLS (25) 1997: 360
1996
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer96
Bertrand Meyer:
The Conceptual Perspective. Computer 29(1): 86-88 (1996)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer96a
Bertrand Meyer:
The Reusability Challenge. Computer 29(2): 76-78 (1996)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer96b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer96b
Bertrand Meyer:
The many faces of inheritance: a taxonomy of taxonomy. Computer 29(5): 105-108 (1996)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer96c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer96c
Bertrand Meyer:
Schema Evolution: Concepts, Terminology, and Solutions. Computer 29(10): 119-121 (1996)
[j17]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/joop/Meyer96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joop/Meyer96
Bertrand Meyer:
Why Your next Project Should use Eiffel. J. Object Oriented Program. 9(2): 59-63, 82 (1996)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/isotas/Meyer96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isotas/Meyer96
Bertrand Meyer:
Beyond Design by Contract: Towards Formally Provable Object-Oriented Software (Abstract). ISOTAS 1996: 56
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/isotas/Meyer96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isotas/Meyer96a
Bertrand Meyer:
Static Typing. ISOTAS 1996: 57-75
1995
[b13]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/hanser/Meyer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hanser/Meyer95
Bertrand Meyer:
Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses. Carl Hanser Verlag 1995, ISBN 3-446-18697-2
[b12]
- view
  - electronic edition @ eiffel.com
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer95
Bertrand Meyer:
Object Success. Prentice-Hall 1995
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/LewisPMGPVLPPHLWEW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/LewisPMGPVLPPHLWEW95
Ted G. Lewis, Dave Power, Bertrand Meyer, Jack Grimes, Mike Potel, Ronald J. Vetter, Phillip A. Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hesham El-Rewini, Bruce W. Weide:
Where Is Software Headed? A Virtual Roundtable. Computer 28(8): 20-32 (1995)
[c23]
- view
  authority control:
- export record
  dblp key:
  - journals/oopsm/Meyer95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/oopsm/Meyer95
Bertrand Meyer:
Static typing. OOPSLA Addendum 1995: 20-29
1994
[b11]
- view
  - electronic edition @ eiffel.com
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer94
Bertrand Meyer:
An Object-Oriented Environment: Principles and Applications. Prentice-Hall 1994, ISBN 0-13-245507-2
[b10]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer94a
Bertrand Meyer:
Reusable Software: The Base Object-Oriented Component Libraries. Prentice-Hall 1994, ISBN 0-13-245499-8
[c22]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/coodbse/Meyer94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coodbse/Meyer94
Bertrand Meyer:
On the Role of Methodology: Advice to the Advisors. COODBSE 1994: 1-5
[c21]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer94
Bertrand Meyer:
Keynote: Uses and Misuses of Inheritance. TOOLS (13) 1994: 9
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer94a
Bertrand Meyer:
Library Design. TOOLS (13) 1994: 519
[e9]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/13-1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/13-1994
Boris Magnusson, Bertrand Meyer, Jean-Marc Nerson, Jean-François Perrot:
TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. Prentice Hall 1994, ISBN 0-13-350539-1 [contents]
1993
[b9]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/ph/MeyerN93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/MeyerN93
Bertrand Meyer, Jean-Marc Nerson:
Object-Oriented Applications. Prentice-Hall 1993
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer93
Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. Commun. ACM 36(9): 56-80 (1993)
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer93b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer93b
Bertrand Meyer:
Object-Oriented Management. TOOLS (10) 1993: 289
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer93c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer93c
Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. TOOLS (12/9) 1993: 325
[c17]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer93d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer93d
Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. TOOLS (12/9) 1993: 523-576
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer93
Bertrand Meyer:
Systematic Concurrent Object-Oriented Programming. TOOLS (11) 1993: 553
[c15]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer93a
Bertrand Meyer:
Towards an Object-Oriented Curriculum. TOOLS (11) 1993: 585-594
[e8]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/10-1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/10-1993
Boris Magnusson, Bertrand Meyer, Jean-François Perrot:
TOOLS 1993: 10th International Conference on Technology of Object-Oriented Languages and Systems, Versailles, France, Europe. Prentice Hall 1993, ISBN 0-13-097114-6 [contents]
[e7]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/11-1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/11-1993
Raimund K. Ege, Madhu S. Singh, Bertrand Meyer:
TOOLS 1993: 11th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1993, ISBN 0-13-103979-2 [contents]
[e6]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/12-1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/12-1993
Christine Mingins, William Haebich, John Potter, Bertrand Meyer:
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. Prentice Hall 1993, ISBN 0-13-124512-0 [contents]
1992
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/Meyer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/Meyer92
Bertrand Meyer:
Applying "Design by Contract". Computer 25(10): 40-51 (1992)
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/eiffel/Meyer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eiffel/Meyer92
Bertrand Meyer:
Eiffel: Version 3 and beyond. Eiffel 1992: 5
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BulmanTMNK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BulmanTMNK92
David Bulman, S. Tucker Taft, Bertrand Meyer, Greg Nelson, Mike Kilian:
OOP in Languages Providing Strong, Static Typing (Panel). OOPSLA 1992: 87-91
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/StacyHKM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/StacyHKM92
Webb Stacy, Richard Helm, Gail E. Kaiser, Bertrand Meyer:
Ensuring Semantic Integrity of Reusable Objects (Panel). OOPSLA 1992: 298-302
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer92
Bertrand Meyer:
Object-Oriented Management. TOOLS (8) 1992: 254
[e5]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/7-1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/7-1992
Georg Heeg, Boris Magnusson, Bertrand Meyer:
TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe. Prentice Hall 1992, ISBN 0-13-917436-2 [contents]
[e4]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/8-1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/8-1992
Raimund K. Ege, Madhu S. Singh, Bertrand Meyer:
TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1992, ISBN 0-13-042441-2 [contents]
1991
[b8]
- view
  - electronic edition @ eiffel.com
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer91
Bertrand Meyer:
Eiffel: The Language. Prentice-Hall 1991, ISBN 0-13-247925-7
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer91
Bertrand Meyer:
Do we know how to find the classes? TOOLS (5) 1991: 349-350
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tools/Meyer91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/Meyer91a
Bertrand Meyer:
Re-engineering software by isolating abstractions. TOOLS (5) 1991: 369-370
[e3]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/5-1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/5-1991
Timothy D. Korson, Vijay Vashnavi, Bertrand Meyer:
TOOLS 1991: 5th International Conference on Technology of Object-Oriented Languages and Systems, Santa Barbara, CA, USA. Prentice Hall 1991, ISBN 0-13-923178-1 [contents]
[e2]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/tools/6-1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/6-1992
John Potter, Mario Tokoro, Bertrand Meyer:
TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia. Prentice Hall 1991, ISBN 0-13-926940-1 [contents]
1990
[b7]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/hanser/Meyer90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hanser/Meyer90
Bertrand Meyer:
Objektorientierte Softwareentwicklung. Carl Hanser Verlag / Prentice Hall 1990, ISBN 3-446-15773-5
[b6]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer90
Bertrand Meyer:
Introduction to the Theory of Programming Languages. Prentice-Hall 1990, ISBN 0-13-498510-9
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer90
Bertrand Meyer:
Lessons from the Design of the Eiffel Libraries. Commun. ACM 33(9): 68-88 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[b5]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0022328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0022328
Bertrand Meyer:
Eiffel - the environment Version 2.2. Interactive Software Engineering Inc. 1989, pp. I-VII, 1-118
[b4]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0022327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0022327
Bertrand Meyer:
Eiffel - the libraries Version 2.2. Interactive Software Engineering Inc. 1989, pp. I-XI, 1-373
[j12]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/stp/Meyer89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stp/Meyer89
Bertrand Meyer:
From Structured Programming to Object-Oriented Design: The Road to Eiffel. Struct. Program. 10(1): 19-39 (1989)
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/oopsla/DysonMWJ89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DysonMWJ89
Esther Dyson, Bertrand Meyer, Daniel Weinreb, William N. Joy:
Objects in their Eyes (Panel). OOPSLA 1989: 478
1988
[b3]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/ph/Meyer88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/ph/Meyer88
Bertrand Meyer:
Object-Oriented Software Construction, 1st edition. Prentice-Hall 1988, ISBN 0-13-629031-0
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Meyer88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Meyer88
Bertrand Meyer:
Eiffel: A language and environment for software engineering. J. Syst. Softw. 8(3): 199-246 (1988)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Meyer88a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Meyer88a
Bertrand Meyer:
Cépage: Toward computer-aided design of software. J. Syst. Softw. 8(5): 419-429 (1988)
[e1]
- view
- export record
  dblp key:
  - conf/icse/1988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/1988
Tan Chin Nam, Larry E. Druffel, Bertrand Meyer:
Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988. IEEE Computer Society 1988, ISBN 0-8186-0849-8 [contents]
1987
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Meyer87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Meyer87
Bertrand Meyer:
Eiffel: programming for reusability and extendibility. ACM SIGPLAN Notices 22(2): 85-94 (1987)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/software/Meyer87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/Meyer87
Bertrand Meyer:
Reusability: The Case for Object-Oriented Design. IEEE Softw. 4(2): 50-64 (1987)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/MeyerNM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/MeyerNM87
Bertrand Meyer, Jean-Marc Nerson, Masanobu Matsuo:
EIFFEL: Object-Oriented Design for Software Engineering. ESEC 1987: 221-229
1986
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Meyer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Meyer86
Bertrand Meyer:
Genericity versus Inheritance. OOPSLA 1986: 391-405
1985
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Meyer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Meyer85
Bertrand Meyer:
Incremental String Matching. Inf. Process. Lett. 21(5): 219-227 (1985)
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/MeyerNK85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MeyerNK85
Bertrand Meyer, Jean-Marc Nerson, Soon Hae Ko:
Showing Programs on a Screen. Sci. Comput. Program. 5(2): 111-142 (1985)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/software/Meyer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/Meyer85
Bertrand Meyer:
On Formalism in Specifications. IEEE Softw. 2(1): 6-26 (1985)
[c5]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/Meyer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Meyer85
Bertrand Meyer:
The Software Knowledge Base. ICSE 1985: 158-165
1984
[b2]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/eyrolles/Meyer84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/eyrolles/Meyer84
Bertrand Meyer, Claude Baudoin:
Méthodes de Programmation, 3rd edition. Eyrolles 1984
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Meyer84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Meyer84
Bertrand Meyer:
A note on iterative Hanoi. ACM SIGPLAN Notices 19(12): 38-40 (1984)
1983
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/000183
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/000183
Bertrand Meyer:
Some mistakes are worse than others: an open letter to professor David Gries. ACM SIGSOFT Softw. Eng. Notes 8(5): 43-48 (1983)
1982
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Meyer82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Meyer82
Bertrand Meyer:
Principles of Package Design. Commun. ACM 25(7): 419-428 (1982)
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecics/000182
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecics/000182
Bertrand Meyer:
Towards a Two-Dimensional Programming Environment. ECICS 1982: 167-179
1980
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Meyer80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Meyer80
Bertrand Meyer:
A Basis for the Constructive Approach to Programming. IFIP Congress 1980: 293-298
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/MylopoulosFMPSH80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/MylopoulosFMPSH80
John Mylopoulos, Martin S. Feather, Bertrand Meyer, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix:
Relationships Between and Among Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 77-82
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/Meyer80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/Meyer80
Bertrand Meyer:
A Three-Level Approach to the Description of Data Structures, and Notational Framework. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 164-166
[p1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/cu/mckeag80/AbrialSM80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/mckeag80/AbrialSM80
Jean-Raymond Abrial, Stephen A. Schuman, Bertrand Meyer:
Specification Language. On the Construction of Programs 1980: 343-410

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1978
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/eyrolles/Meyer78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/eyrolles/Meyer78
Bertrand Meyer, Claude Baudoin:
Méthodes de Programmation, 1st edition. Eyrolles 1978
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/Meyer78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/Meyer78
Bertrand Meyer:
A Note on Computing Multiple Sums. Softw. Pract. Exp. 8(1): 3-9 (1978)

Coauthor Index

see FAQ

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.