Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 2: KWIC ¿ index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants.
| Serija: | Lecture Notes in Computer Science |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1982 |
| Knygos puslapių skaičius: | 436 |
| ISBN-10: | 3540114904 |
| ISBN-13: | 9783540114901 |
| Formatas: | Knyga minkštu viršeliu |
| Kalba: | Anglų |
| Žanras: | Software Engineering |
Parašykite atsiliepimą apie „Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981“
