论文信息 - Time token design methodology - 字舞流文

Time token design methodology

A program design methodology is proposed and an example is given using it for a small inventory system.

[1] James L. Peterson,et al. Petri Nets , 1977, CSUR.

[2] Charles H. Davis. Reliable Software through Composite Design. Glenford J. Myers. New York: Petrocelli-Charter, 159p. (1975) (ISBN: 0-88405-284-2) , 1977, J. Am. Soc. Inf. Sci..

[3] Glenford J Myers,et al. Reliable software through composite design , 1975 .

[4] Michael Jackson,et al. Principles of program design , 1975 .