Adapting the personal software process (PSP) to formal methods

Abstract

The goal of good software engineering practice is to deliver reliable, high-quality software on-time and on-budget. In this paper we advocate the combination of two modern approaches towards achieving this goal. On the one hand, with an eye to software quality, we consider adopting a state-based formal development method, the B-method. In terms of tool… (More)
DOI: 10.1109/ASWEC.2005.12

5 Figures and Tables

Topics

  • Presentations referencing similar topics