Title :
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
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;
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
DOI :
10.1109/CMPSAC.1991.170176
