Software process a la Algebra: OBJ for OBJ

Author

Nakagawa, Ataru T. ; Futatsugi, Kokichi

Author_Institution

SRA Inc., Tokyo, Japan

fYear

1990

fDate

26-30 Mar 1990

Firstpage

12

Lastpage

23

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1990. Proceedings., 12th International Conference on

Conference_Location

Nice

Print_ISBN

0-8186-2026-9

Type

conf

DOI

10.1109/ICSE.1990.63599

Filename

63599