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
Keywords :
Concurrent computing; Formal specifications; Humans; Power system modeling; Software design; Software performance; Software tools;
Conference_Titel :
Software Process, 1991. Proceedings. First International Conference on the
Print_ISBN :
0-8186-2490-6
DOI :
10.1109/ICSP.1991.664342
