Conference on Operating Systems 1982: Visegrad, Hungary

Elöd Knuth, Erich J. Neuhold (Eds.): Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings. Lecture Notes in Computer Science 152 Springer 1983, ISBN 3-540-12284-2 BibTeX

@proceedings{DBLP:conf/os/1982,
  editor    = {El{\"o}d Knuth and
               Erich J. Neuhold},
  title     = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  booktitle = {Conference on Operating Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  year      = {1983},
  isbn      = {3-540-12284-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

L. L. Máté, M. Bohus, Gyula Csopaki, A. Filp, A. Hinsenkamp: System cars and its description language. 1-15 BibTeX
Elöd Knuth: Software structuring: a pragmatic approach. 16-27 BibTeX
Erich J. Neuhold: Development methodologies for event and message based application systems. 28-55 BibTeX
Kalman Balogh, Zsuzsa Farkas, E. Sántáné-Tóth, Péter Szeredi: Software Development in LDM. 56-83 BibTeX
Jeff Kramer: Distributed computer systems: two views. 84-98 BibTeX
Béla Halassy: SZIAM: A data model design aid. 99-113 BibTeX
Jochen Ludewig: Espreso - a system for process control software specification. 114-131 BibTeX
R. J. Mitchell: Program design - a practical approach. 132-145 BibTeX
László Kozma, Z. Laborczi: On Implementation problems of shared abstract data types. 146-152 BibTeX