(Eiffel Community : blog)+(Bertrand Meyer's technology+ blog)
  • Oct 25
    Automating Object Data Compaction to Expanded Numeric Types

    Applying reflection mechanisms to automate the compaction of object data to an expanded numeric type

  • Oct 02
    EiffelStudio 23.09 is available!

    We are pleased to announce the availability of EiffelStudio 23.09.

  • Sep 16
    A Tool to Obtain Eiffel Code Metrics Across Many Libraries
  • Aug 29
    The Surprising Cost of Type Checking in Eiffel

    Do you think that type checking in Eiffel has a trivial performance cost. Think again !

  • Jun 15
    New article: scenarios versus OO requirements

    Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier and Bertrand Meyer: Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests, in JOT (Journal of Object Technology), vol. 22, no. 1, pages 1:1-19, 2023. Available here with link to PDF  (the journal is open-access). From the abstract: A paradox of requirements specifications as […]

    The post New article: scenarios versus OO requirements appeared first on Bertrand Meyer's technology+ blog.

  • May 08
    Statement Considered Harmful

    I harbor no illusion about the effectiveness of airing this particular pet peeve; complaining about it has about the same chance of success as protesting against split infinitives or music in restaurants. Still, it is worth mentioning that the widespread use of the word “statement” to denote a programming language element, such as an assignment, that […]

    The post Statement Considered Harmful appeared first on Bertrand Meyer's technology+ blog.

  • Mar 24
    “Object Success” now available

    A full, free online version of Object Success (1995)   I am continuing the process of releasing some of my earlier books. Already available: Introduction to the Theory of Programming Languages (see here) and Object-Oriented Software Construction, 2nd edition (see here). The latest addition is Object Success, a book that introduced object technology to managers […]

    The post “Object Success” now available appeared first on Bertrand Meyer's technology+ blog.

  • Jan 31
    A safer way to get/set parts of a compact number using contracts

    Introducing some utility classes for applying contracts to safe bit-setting

  • Jan 09
    EiffelStudio 22.12 is available!

    We are pleased to announce the availability of EiffelStudio 22.12.

  • 2022, Dec 12
    Logical beats sequential

    Often,  “we do this and then we do that” is just a lazy way of stating “to do that, we must have achieved this.” The second form is more general than the first, since there may be many things you can “do” to achieve a certain condition. The extra generality is welcome for software requirements, […]

    The post Logical beats sequential appeared first on Bertrand Meyer's technology+ blog.

  • 2022, Oct 29
    New paper: optimization of test cases generated from failed proofs

    Li Huang (PhD student at SIT) will be presenting at an ISSRE workshop the paper Improving Counterexample Quality from Failed Program Verification, written with Manuel Oriol and me. One can find the text on arXiv here. (I will update this reference with the official publication link when I have it.) The result being presented is […]

    The post New paper: optimization of test cases generated from failed proofs appeared first on Bertrand Meyer's technology+ blog.

  • 2022, Oct 28
    New book: the Requirements Handbook

    I am happy to announce the publication of the Handbook of Requirements and Business Analysis (Springer, 2022). It is the result of many years of thinking about requirements and how to do them right, taking advantage of modern principles of software engineering. While programming, languages, design techniques, process models and other software engineering disciplines have […]

    The post New book: the Requirements Handbook appeared first on Bertrand Meyer's technology+ blog.

  • 2022, Sep 28
    Introduction to the Theory of Programming Languages: full book now freely available

    Short version: the full text of my Introduction to the Theory of Programming Languages book (second printing, 1991) is now available. This page has more details including the table of chapters, and a link to the PDF (3.3MB, 448 + xvi pages). The book is a survey of methods for language description, particularly semantics (operational, […]

    The post Introduction to the Theory of Programming Languages: full book now freely available appeared first on Bertrand Meyer's technology+ blog.

  • 2022, Jul 05
    Acing Eiffel Configuration files

    A worthy successor to Eiffel Ace file

  • 2022, Jun 19
    Three Memory Conservation Techniques

    Three techniques to reduce the memory footprint of Eiffel objects

  • 2022, May 31
    EiffelStudio 22.05 is available!

    We are pleased to announce the availability of EiffelStudio 22.05.

  • 2022, Feb 11
    EiffelStudio 21.11 is available!

    We are pleased to announce the availability of EiffelStudio 21.11.

  • 2022, Jan 09
    Gobo 22.01 released
  • 2021, Oct 18
    PhD and postdoc positions in verification in Switzerland

    The Chair of Software Engineering, my group at the Schaffhausen Institute of Technology in Switzerland (SIT), has open positions for both PhD students and postdocs. We are looking for candidates with a passion for reliable software and a mix of theoretical knowledge and practical experience in software engineering. Candidates should have degrees in computer science […]

    The post PhD and postdoc positions in verification in Switzerland appeared first on Bertrand Meyer's technology+ blog.

  • 2021, Jul 13
    Publication announcement: survey on requirements techniques, formal and non-formal

    There is a new paper out, several years in the making: The Role of Formalism in System Requirements Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexander Naumchev, Bertrand Meyer Computing Surveys (ACM), vol. 54, no. 5, June 2021, pages 1-36 DOI: https://doi.org/10.1145/3448975 Preprint available here. The authors are from the Schaffhausen Institute of Technology […]

    The post Publication announcement: survey on requirements techniques, formal and non-formal appeared first on Bertrand Meyer's technology+ blog.

  • 2021, Mar 03
    Tomorrow (Thursday) noon EDT: ACM talk on requirements

    In the software engineering family requirements engineering is in my experience the poor cousin, lagging behind the progress of other parts (such as design). I have been devoting attention to the topic in recent months and am completing a book on the topic. Tomorrow (Thursday), I will be covering some of the material in a […]

    The post Tomorrow (Thursday) noon EDT: ACM talk on requirements appeared first on Bertrand Meyer's technology+ blog.

  • 2020, Dec 21
    EiffelStudio 20.11 is now available!

    We are pleased to announce the availability of EiffelStudio 20.11.

  • 2020, Dec 14
    Once classes

    A brief overview of once classes, their syntax and semantics.

  • 2020, Jul 06
    Compile-time guarantees for string content

    String classes are moving towards preservation of string object content when mixing different string types.

  • 2020, Jun 08
    Unicode aliases

    In addition to symbolic forms of loops, EiffelStudio 20.05 adds a possibility to use mathematical notation in expressions.

  • 2020, May 31
    Gobo 20.05 released
  • 2020, Mar 22
    Gobo 20.03 released
  • 2020, Mar 16
    Symbolic forms of loops

    Iteration forms of loops (with keyword "across") turned out to be more concise and convenient shortcuts to the regular ones. This post introduces even shorter variants that resemble the notation found in math.

  • 2020, Jan 21
    Gobo 20.01 released
  • 2019, Nov 03
    Gobo 19.11 released
  • 2019, Oct 03
    Gobo 19.10 released
  • 2019, Oct 03
    EiffelStudio 19.09, the intermediate beta release, is now available
  • 2019, Oct 02
    Wrapping TensorFlow C API with WrapC

    Example to show how to use WrapC to wrap a C API

  • 2019, Sep 02
    EiffelStudio 19.08, the intermediate beta release, is now available

    EiffelStudio 19.08 beta includes changes towards better adoption of Unicode.

  • 2019, Aug 08
    An Elegant Way To Implement The Singleton Pattern
  • See more ...