Abstract
The author proposes a stepwise refinement through several levels of abstracting the design of distributed 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.
| Originalsprache | Englisch |
|---|---|
| Titel | Proc Workshop Future Trends Distrib Comput Syst 1990s |
| Herausgeber (Verlag) | Publ by IEEE |
| Seiten | 164-173 |
| Seitenumfang | 10 |
| ISBN (Print) | 0818608978 |
| Publikationsstatus | Veröffentlicht - 1988 |
| Extern publiziert | Ja |
Publikationsreihe
| Name | Proc Workshop Future Trends Distrib Comput Syst 1990s |
|---|