Functional language for enacting software processes

Author

Inoue, Katsuro ; Ogihara, Takeshi ; Iida, Hiroyuki ; NITTA, Minoru

Author_Institution

Dept. of Inf. & Comput. Sci., Osaka Univ., Toyonaka, Japan

fYear

1991

fDate

11-13 Sep 1991

Firstpage

219

Lastpage

224

Abstract

In order to define software processes formally and to use the defined processes in actual development situations, the authors have designed the process description language (PDL) and an associated PDL System. PDL is a functional programming language based on an algebraic specification language, and development processes may be defined in PDL at various levels of abstraction. Abstract PDL scripts (programs) specify the general course of process execution. Essential features of the language for process description are discussed. The characteristics of the PDL System are also presented

Keywords

formal specification; functional programming; specification languages; algebraic specification language; enacting software processes; functional language; functional programming language; process description language; Concrete; Page description languages; Petroleum; Process design; Programming; Project management; Software quality; Software testing; System testing; Utility programs;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International

Conference_Location

Tokyo

Print_ISBN

0-8186-2152-4

Type

conf

DOI

10.1109/CMPSAC.1991.170176

Filename

170176