A Practical Integration of Formality into the Software Process

Abstract

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.