Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
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…
cs.SE2025
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…
cs.SE2025
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…