Skip to main content
Springer Nature Link
Log in

Specification and Design of Software Systems

Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings

  • Conference proceedings
  • © 1983

Overview

Editors:
  1. Elöd Knuth
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Erich J. Neuhold
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 152)

Included in the following conference series:

Conference proceedings info: OS 1982.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 22.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (9 papers)

  1. Front Matter

    Download chapter PDF

  2. System cars and its description language

    • L. L. Máté, M. Bohus, Gy. Csopaki, A. Filp, A. Hinsenkamp
    Pages 1-15

  3. Software structuring: A pragmatic approach

    • Előd Knuth
    Pages 16-27

  4. Development methodologies for event and message based application systems

    • Erich J. Neuhold
    Pages 28-55

  5. Software development in LDM

    • K. Balogh, Zs. Farkas, E. Sántáné-Tóth, P. Szeredy
    Pages 56-83

  6. Distributed computer systems: Two views

    • J. Kramer
    Pages 84-98

  7. Sziam: A data model design aid

    • B. Halassy
    Pages 99-113

  8. Espreso — A system for process control software specification

    • Jochen Ludewig
    Pages 114-131

  9. Program design — A practical approach

    • R. J. Mitchell
    Pages 132-145

  10. On implementation problems of shared abstract data types

    • L. Kozma, Z. Laborczi
    Pages 146-152
Back to top

Other volumes

  1. Specification and Design of Software Systems

Bibliographic Information

  • Book Title: Specification and Design of Software Systems

  • Book Subtitle: Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings

  • Editors: Elöd Knuth, Erich J. Neuhold

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0051556

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1983

  • Softcover ISBN: 978-3-540-12284-5Published: 01 January 1983

  • eBook ISBN: 978-3-540-39605-5Published: 23 April 2006

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 168

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top