Title :
Software process a la Algebra: OBJ for OBJ
Author :
Nakagawa, Ataru T. ; Futatsugi, Kokichi
Author_Institution :
SRA Inc., Tokyo, Japan
Abstract :
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
Keywords :
formal specification; software tools; specification languages; OBJ; St. OBJ; algebraic methodology; algebraic specification language; process paradigm; products; ripple effects; software development; software process model; Algebra; Cities and towns; Computer languages; Costs; Environmental management; Human resource management; Laboratories; Programming; Programming environments; Research and development management; Software development management; Specification languages;
Conference_Titel :
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2026-9
DOI :
10.1109/ICSE.1990.63599
