DocumentCode
1564934
Title
Requirements and design specification of distributed systems: the lift problem
Author
Broy, Manfred
Author_Institution
Fac. of Math. & Inf., Passau Univ., West Germany
fYear
1988
Firstpage
164
Lastpage
173
Abstract
The author proposes a stepwise refinement through several levels of abstracting the design of distribution programs in a formal setting. A requirement specification is formulated, and a design specification is given and proved to guarantee the properties formulated in the requirement specification. On the basis of the design specification an abstract program is derived and proved. More machine-oriented optimized versions are obtained
Keywords
distributed processing; software engineering; abstract program; design specification; distributed systems; distribution programs; lift problem; machine-oriented optimized versions; requirement specification; stepwise refinement; Application software; Concrete; Concurrent computing; Control systems; Interleaved codes; Operating systems; Process control; Production control; Software systems; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN
0-8186-0897-8
Type
conf
DOI
10.1109/FTDCS.1988.26695
Filename
26695
Link To Document