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.
| Original language | English |
|---|---|
| Title of host publication | Proc Workshop Future Trends Distrib Comput Syst 1990s |
| Publisher | Publ by IEEE |
| Pages | 164-173 |
| Number of pages | 10 |
| ISBN (Print) | 0818608978 |
| State | Published - 1988 |
| Externally published | Yes |
Publication series
| Name | Proc Workshop Future Trends Distrib Comput Syst 1990s |
|---|