New preprint: Software engineering as a domain to formalize

Bertrand Meyer, Software engineering as a domain to formalize, available here. This article is meant as a blog but was written as a standard text and I haven t had the time to HTML-ize yet. So I am just providing an abstract below, and linking to the PDF which gives the details. The purpose is simple: ... Read more The post New preprint: Software engineering as a domain to formalize appeared first…