We capture, define and analyse phases and rôles of computing systems development and developers. We examine the rôle of formal methods, and we set up requirements that a process model and a CASE ought satisfy. A reference process model is presented and a prototypical CASE system is outlined.
The RAISE Tool Set is reviewed wrt. its conformance with the process model.
The paper delineates its subjects, proposes a taxonomy, gives tentative definitions, and outlines a programme of experimental research and development.