News
-
Oct 16Automated Object Data Compaction Revisited
Revisiting reflection mechanisms to automate the compaction of object data to an expanded numeric type
-
Oct 09Python and Eiffel: A Comparison in Conciseness
How Eiffel compares favourably to Python in terms of conciseness
-
Aug 15Freely accessible books
Recently I prepared some of my books for free access on the Web (after gaining agreement from the publishers). Here are the corresponding links. They actually point to pages that present the respective books and have further links to the actual PDF versions. Although the texts are essentially those of the books as published, I […]
The post Freely accessible books appeared first on Bertrand Meyer's technology+ blog.
-
Jul 14The French School of Programming
July 14 (still here for 15 minutes) is not a bad opportunity to announced the publication of a new book: The French School of Programming. The book is a collection of chapters, thirteen of them, by rock stars of programming and software engineering research (plus me), preceded by a Foreword by Jim Woodcock and a […]
The post The French School of Programming appeared first on Bertrand Meyer's technology+ blog.
-
Jun 28First ever Udemy Eiffel course has gone liveFirst Udemy tutorial for native Console Eiffel applications is available for $39.99.
https://www.udemy.com/course/eiffel-console-programming-for-c-oo-developers. -
Jun 14EiffelStudio 24.05 is available!
We are pleased to announce the availability of EiffelStudio 24.05
-
Mar 16The SPOT Architecture Applied to Class ARRAYED_LIST
Why it is important to have a dedicated routine for initializing attributes
-
2023, Dec 18Seven Is A Magic Number: Why 7 Letter Codes Make Sense
Why 7 Letter Codes Are Human Friendly
-
2023, Dec 08COBOL inspired numeric formatting for Eiffel
A way to specify numeric formatting in a visual manner
-
2023, Oct 25Automating Object Data Compaction to Expanded Numeric Types
Applying reflection mechanisms to automate the compaction of object data to an expanded numeric type
-
2023, Oct 02EiffelStudio 23.09 is available!
We are pleased to announce the availability of EiffelStudio 23.09.
-
2023, Sep 16A Tool to Obtain Eiffel Code Metrics Across Many Libraries
-
2023, Aug 29The Surprising Cost of Type Checking in Eiffel
Do you think that type checking in Eiffel has a trivial performance cost. Think again !
-
2023, Jun 15New 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.
-
2023, May 08Statement 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.
-
2023, 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.
-
2023, Jan 31A safer way to get/set parts of a compact number using contracts
Introducing some utility classes for applying contracts to safe bit-setting
-
2023, Jan 09EiffelStudio 22.12 is available!
We are pleased to announce the availability of EiffelStudio 22.12.
-
2022, Dec 12Logical 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 29New 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 28New 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 28Introduction 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 05Acing Eiffel Configuration files
A worthy successor to Eiffel Ace file
-
2022, Jun 19Three Memory Conservation Techniques
Three techniques to reduce the memory footprint of Eiffel objects
-
2022, May 31EiffelStudio 22.05 is available!
We are pleased to announce the availability of EiffelStudio 22.05.
-
2022, Feb 11EiffelStudio 21.11 is available!
We are pleased to announce the availability of EiffelStudio 21.11.
-
2022, Jan 09Gobo 22.01 released
-
2020, Dec 21EiffelStudio 20.11 is now available!
We are pleased to announce the availability of EiffelStudio 20.11.
-
2020, Dec 14Once classes
A brief overview of once classes, their syntax and semantics.
-
2020, Jul 06Compile-time guarantees for string content
String classes are moving towards preservation of string object content when mixing different string types.
-
2020, Jun 08Unicode aliases
In addition to symbolic forms of loops, EiffelStudio 20.05 adds a possibility to use mathematical notation in expressions.
-
2020, May 31Gobo 20.05 released
-
2020, Mar 22Gobo 20.03 released
-
2020, Mar 16Symbolic 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.
- See more ...