Title :
Requirements and design specification of distributed systems: the lift problem
Author_Institution :
Fac. of Math. & Inf., Passau Univ., West Germany
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;
Conference_Titel :
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN :
0-8186-0897-8
DOI :
10.1109/FTDCS.1988.26695
