An experiment in the design of distributed programs

Goldson, D. W. (2004). An experiment in the design of distributed programs. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference. The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, (70-76). 13-16 April, 2004.


Author Goldson, D. W.
Title of paper An experiment in the design of distributed programs
Conference name The 2004 Australian Software Engineering Conference (ASWEC 2004)
Conference location Melbourne
Conference dates 13-16 April, 2004
Proceedings title Proceedings of the 2004 Australian Software Engineering Conference
Place of Publication Los Alamitos, California
Publisher IEEE Computer Society
Publication Year 2004
Sub-type Fully published paper
ISSN 1530-0803
Editor P. Strooper
Volume 15
Start page 70
End page 76
Total pages 7
Collection year 2004
Abstract/Summary This paper describes an experiment in the design of distributed programs. It is based on the theory of Owicki and Gries extended with rules for reasoning about message passing. The experiment is designed to test the effectiveness of the extended theory for designing distributed programs.
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 19:44:55 EST