Bertrand Meyer 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2025

Obituary for Niklaus WirthBertrand Meyer 0001. fac, 37(2), June 2025. [doi]

Seeding Contradiction: a Fast Method for Generating Full-Coverage Test SuitesLi Huang 0003, Bertrand Meyer 0001, Manuel Oriol. sncs, 6(1):41, January 2025. [doi]

2024

2023

2022

Handbook of Requirements and Business AnalysisBertrand Meyer 0001. Springer, 2022. [doi]

Special Issue on New Paradigms of Software Production and DeploymentAlfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer 0001. sncs, 3(2):132, 2022. [doi]

Improving Counterexample Quality from Failed Program VerificationLi Huang, Bertrand Meyer 0001, Manuel Oriol. issre 2022: 268-273 [doi]

2021

The Role of Formalism in System RequirementsJean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer 0001. ACM Comput. Surv., 54(5), 2021. [doi]

2020

In search of the shortest possible scheduleBertrand Meyer 0001. CACM, 63(1):8-9, 2020. [doi]

Software Engineering, Across Two CenturiesBertrand Meyer 0001. In Leon Strous, Roger Johnson, David Alan Grier, Doron Swade, editors, Unimagined Futures - ICT Opportunities and Challenges. Volume 555 of IFIP Advances in Information and Communication Technology, pages 94-104, Springer, 2020. [doi]

AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented ProgramsVictor Rivera, Bertrand Meyer 0001. sncs, 1(1), 2020. [doi]

2019

Towards an Anatomy of Software RequirementsBertrand Meyer 0001, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev. TOOLS 2019: 10-40 [doi]

AutoReq: Expressing and verifying requirements for control systemsAlexandr Naumchev, Bertrand Meyer 0001, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold. JCL (JVLC), 51:131-142, 2019. [doi]

2018

Making Sense of Agile MethodsBertrand Meyer 0001. IEEE Software, 35(2):91-94, 2018. [doi]

The costs and pleasures of a computer science teacherMark Guzdial, Bertrand Meyer 0001. CACM, 61(3):12-13, 2018. [doi]

2015

Rational EthicsBertrand Meyer 0001. ECSS 2017: 49-64 [doi]

1993

On Formalism in SpecificationsBertrand Meyer 0001. In Timothy R. Colburn, James H. Fetzer, Terry L. Rankin, editors, Program Verification - Fundamental Issues in Computer Science. Volume 14 of Studies in Cognitive Systems, pages 155-189, Springer Netherlands, 1993. [doi]

1983

Some mistakes are worse than others: an open letter to professor David GriesBertrand Meyer 0001. sigsoft, 8(5):43-48, 1983. [doi]

1982

Towards a Two-Dimensional Programming EnvironmentBertrand Meyer 0001. ecics 1983: 167-179

1978

Méthodes de Programmation, 1st editionBertrand Meyer 0001, Claude Baudoin. Eyrolles, 1978.

Sign in or sign up to see more results.

runs on WebDSL