
×
Specification and Design of Software Systems
Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings
herausgegeben von Elöd Knuth und E.J. NeuholdInhaltsverzeichnis
- System cars and its description language.
- Software structuring: A pragmatic approach.
- Development methodologies for event and message based application systems.
- Software development in LDM.
- Distributed computer systems: Two views.
- Sziam: A data model design aid.
- Espreso — A system for process control software specification.
- Program design — A practical approach.
- On implementation problems of shared abstract data types.