Lightweight Formal Support for Software Design

点击翻译按钮获取中文摘要

Software systems are at the heart of the infrastructure that our societies and economies depend on for their daily function. They are the accumulated product of the myriads of design decisions made by software developers every day. Their quality is thus highly dependent on the process by which they are designed. Despite decades of innovation, formal, mathematical engineering techniques often face high adoption barriers because of the inherently creative and collaborative character of software design and the unrelenting rate of change in the contemporary software industry. Software design remains as much a craft as an engineering discipline.