4 papers
AI for software engineering: from probable to provable
Bertrand Meyer
Vibe coding, the much-touted use of AI techniques for programming, faces two overwhelming obstacles: the difficulty of specifying goals ("prompt engineering" is a form of requireme…
The nature of loops in programming
Bertrand Meyer
In program semantics and verification, reasoning about loops is complicated by the need to produce two separate mathematical arguments: an invariant, for functional properties (ign…
UOOR: Seamless and Traceable Requirements
Maria Naumcheva, Sophie Ebersold, Jean-Michel Bruel +1
In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavil…
Software Engineering as a Domain to Formalize
Bertrand Meyer
Software engineering concepts and processes are worthy of formal study; and yet we seldom formalize them. This "research ideas" article explores what a theory of software engineeri…