No abstract

No abstract

No abstract

No 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