Skip to main content
SpringerLink
Log in
Book cover

Software Engineering for Parallel and Distributed Systems

  • Book
  • © 1996

Overview

Editors:
  1. Innes Jelly

    1. Sheffield Hallam University, Sheffield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ian Gorton

    1. CSIRO Division of Information Technology, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Croll

    1. University of Sheffield, Sheffield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

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

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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

Table of contents (31 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Research Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Infrastructural Software for Model Driven Distributed Manufacturing Systems

      • Ian Coutts, Marcos Aguiar, John Edwards
      Pages 3-14

    3. Methodology and Tools for the Development of High Performance Parallel Systems with SDL/MSCs

      • Andreas Mitschele-Thiel
      Pages 15-26

    4. Designing and implementing complex systems with agents

      • P. Marcenac, S. Giroux, J. R. Grasso
      Pages 27-38

    5. Communications are Everything: A Design Methodology for Fault-Tolerant Concurrent Systems

      • A. M. Tyrrell
      Pages 39-49

    6. Designing Distributed Multimedia Systems using PARSE

      • A. Y. Liu, T. S. Chan, I. Gorton
      Pages 50-61

    7. Hypersequential Programming

      • Naoshi Uchihira, Shinichi Honiden, Toshibumi Seki
      Pages 62-73

    8. Efficient composition and automatic initialization of arbitrarily structured PVM programs

      • J. Y. Cotronis
      Pages 74-85

    9. Arcadia: A platform for the study of dynamic scheduling of communicating processes

      • C. Bernon, C. Bétourné, A. Sayah
      Pages 86-97

    10. Interactive testing tool for parallel programs

      • H. Krawczyk, B. Wiszniewski
      Pages 98-109

    11. Cerberus - a tool for debugging distributed algorithms

      • F. Carter, A. Fekete
      Pages 110-121

    12. Debugging Parallel Programs using Temporal Logic Specifications

      • M. Frey
      Pages 122-133

    13. OPERA: A Toolbox For Loop Parallelization

      • Vincent Loechner, Catherine Mongenet
      Pages 134-145

    14. Program Comprehension Engines for Automatic Parallelization: A Comparative Study

      • Beniamino Di Martino, Christoph W. Keßlert
      Pages 146-157

    15. Concurrent semantics for structured design methods

      • P. A. Nixon, L. Shi
      Pages 158-169

    16. Towards a theory of shared data in distributed systems

      • S. Dobson, C. P. Wadsworth
      Pages 170-182

    17. Using Concurrency and Formal Methods for the Design of Safe Process Control

      • Thierry Cattel
      Pages 183-194

    18. Using dataflow algebra to analyse the alternating bit protocol

      • A. J. Cowling, M. C. Nike
      Pages 195-207

    19. A hierarchical classification of overheads in parallel programs

      • J. M. Bull
      Pages 208-219
Back to top

Keywords

About this book

A wide range of modern computer applications require the performance and flexibility of parallel and distributed systems. Better software support is required if the technical advances in these systems are to be fully exploited by commerce and industry. This involves the provision of specialised techniques and tools as well as the integration of standard software engineering methods. This book will reflect current advances in this area, and will address issues of theory and practice with contributions from academia and industry. It is the aim of the book to provide a focus for information on this developing which will be of use to both researchers and practitioners.

Editors and Affiliations

  • Sheffield Hallam University, Sheffield, UK

    Innes Jelly

  • CSIRO Division of Information Technology, Australia

    Ian Gorton

  • University of Sheffield, Sheffield, UK

    Peter Croll

Bibliographic Information

  • Book Title: Software Engineering for Parallel and Distributed Systems

  • Editors: Innes Jelly, Ian Gorton, Peter Croll

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-34984-8

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1996

  • Hardcover ISBN: 978-0-412-75740-2Published: 31 March 1996

  • eBook ISBN: 978-0-387-34984-8Published: 09 January 2016

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XI, 325

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation