A Practical Integration of Formality into the Software Process
Roger Duke, C. Mann · 2005
This tutorial will explore a practical approach to incorporating formal techniques within existing software engineering processes. It is aimed at organizations that want a practical way to integrate some formality into their existing software development process (e.g. if an aspect of the development is safety critical, mission critical or cost critical) without having to abandon their current practices.