News
-
Jan 09Gobo 22.01 released
-
2021, Oct 18PhD 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 13Publication 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 03Tomorrow (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.
-
2021, Feb 26Some contributions
Science progresses through people taking advantage of others’ insights and inventions. One of the conditions that makes the game possible is that you acknowledge what you take. For the originator, it is rewarding to see one’s ideas reused, but frustrating when that happens without acknowledgment, especially when you are yourself punctilious about citing your own […]
The post Some contributions appeared first on Bertrand Meyer's technology+ blog.
-
2020, Dec 24The right forms of expression
-
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, Dec 03New video lecture: distances, invariants and recursion
-
2020, Nov 26Fan mail
-
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 26Getting a program right, in nine episodes
About this article: it originated as a series of posts on the Communications of the ACM blog. I normally repost such articles here. (Even though copy-paste is usually not good, there are three reasons for this duplication: the readership seems to be largely disjoint; I can use better formatting, since their blog software is more […]
The post Getting a program right, in nine episodes appeared first on Bertrand Meyer's technology+ blog.
-
2020, Mar 22Gobo 20.03 released
-
2020, Mar 17Notations you didn’t even know you could use
-
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.
-
2020, Jan 21Gobo 20.01 released
-
2019, Nov 03Gobo 19.11 released
-
2019, Oct 03Gobo 19.10 released
-
2019, Oct 03EiffelStudio 19.09, the intermediate beta release, is now available
-
2019, Oct 02Wrapping TensorFlow C API with WrapC
Example to show how to use WrapC to wrap a C API
-
2019, Sep 02EiffelStudio 19.08, the intermediate beta release, is now available
EiffelStudio 19.08 beta includes changes towards better adoption of Unicode.
-
2019, Aug 08An Elegant Way To Implement The Singleton Pattern
-
2019, Jul 31EiffelStudio 19.07, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.07 available.
-
2019, Jul 01EiffelStudio 19.06, the intermediate beta release, is now available.As part of our monthly beta version program, we are pleased to make EiffelStudio 19.06 available.
-
2019, Jun 25EiffelStudio 19.11 highlights: warnings as errors
What's new in the upcoming release? This blog post discusses the conversion of the warning setting from a logical value into a ternary one.
-
2019, Jun 21Gobo Eiffel 19.06 released
-
2019, May 21EiffelStudio 19.05 is now available!
We are pleased to announce the availability of EiffelStudio 19.05.
-
2019, May 06EiffelStudio 19.04, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.04 available.
-
2019, Apr 02EiffelStudio 19.03, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.03 available.
-
2019, Mar 21Gobo Eiffel 19.03 released
-
2019, Mar 08EiffelStudio 19.02, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.02 available.
-
2019, Feb 05EiffelStudio 19.01, the intermediate beta release, is now available.
As part of our monthly beta version program, we are pleased to make EiffelStudio 19.01 available.
- See more ...