DocumentCode

1852108

Title

A Method for Software Process Modeling and Description Using Lotos

Author

Saeki, Motoshi ; Kaneko, Tsuyoshi ; Sakamoto, Masaki

Author_Institution

Dept. of Electrical & Electronic Engineering, Tokyo Institute of Technology, Japan

fYear

1991

fDate

21-26 Oct 1991

Firstpage

90

Lastpage

104

Keywords

Concurrent computing; Formal specifications; Humans; Power system modeling; Software design; Software performance; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Process, 1991. Proceedings. First International Conference on the

Print_ISBN

0-8186-2490-6

Type

conf

DOI

10.1109/ICSP.1991.664342

Filename

664342