Software engineering, programming methodology, languages, verification, general technology, publication culture, and more

Search

Réunion X 1969, Villebrumier, 25 juin 2022

Please wait...

About
Bio
Earlier columns
Formally Verified Deployed Software Systems: A Living Review
Lectures on Software: Distances, Invariants and Recursion
Links to online versions of Bertrand Meyer's books
Material for the Handbook of Requirements and Business Analysis (Bertrand Meyer), Springer, 2022
Meyer's Object-Oriented Classes: Lessons on Software
Newsletter
newsletter-archive
Object Success
Oettinger "Software Engineering" letter
Online version of "Introduction to the Theory of Programming Languages"
OOSC2
OOSC3
Q&A following ACM Webinar on Software Verification in the Age of Artificial Intelligence
Réunion X 1969, Villebrumier, 25 juin 2022
The seven messengers (translation)