Software process a la Algebra: OBJ for OBJ
Ataru T. Nakagawa, K. Futatsugi · 2002
A process paradigm centered on products is presented. This approach allows the separation of purely technical aspects from other aspects, such as managerial ones; makes it easy to define the effects of activities; and makes it possible to analyze and control the ripple effects of modifications. An example of this approach as applied to an algebraic methodology based on OBJ, an algebraic specification language, is given. The software process model presented can be viewed as and environment for software development with OBJ. St. OBJ (stairway to OBJ), the environment, is described in OBJ itself.>