Formalism and prototyping in the software process

Abstract

There is considerable interest in (and misunderstanding of) both formalism and prototyping in the software process. The first is concerned with the correctness of the implementation, the other with ensuring that the implementation will do what is desired. In this sense they complement each other. Unfortunately, this relationship is not always clear. This paper describes the software process and considers how the two approaches address its principal concerns.