Specification and Design of Software Systems | Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings | ISBN 9783540122845

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. Neuhold
Mitwirkende
Herausgegeben vonElöd Knuth
Herausgegeben vonE.J. Neuhold
Buchcover Specification and Design of Software Systems  | EAN 9783540122845 | ISBN 3-540-12284-2 | ISBN 978-3-540-12284-5

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. Neuhold
Mitwirkende
Herausgegeben vonElöd Knuth
Herausgegeben vonE.J. Neuhold

Inhaltsverzeichnis

  • 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.