Software process a la Algebra: OBJ for OBJ

Abstract

A software process is better conceived out of products' and their changes, in place of viewing it directly in terms of constituent activities. This approach allows separating purely technical aspects from others, such as managerial ones; makes it easy to define the effects of activities; and enable us to analyse and control the ripple effects of modifications. The paper presents an example of this approach as applied t o an algebraic methodology, based on OBJ. The software process model explained in the paper can also be viewed as a n environment for software development with OBJ. St. OBJ, the environment, is described in OBJ itself. keywords -software process model, software process description, algebraic specification, formal method, OBJ, programming language, programming environment

Process versus product, abstraction, and formalism: A personal perspective (position paper)

“…[3]), and have concentrated on how far the pure products-centred formulations could go. Since a major objective is to embed formal specifications within a framework of total software processes, this emphasis has taken shape in ways to manipulate formal specifications [4].…”