Skip to main content
SpringerLink
Log in
Book cover

Reliability, Quality and Safety of Software-Intensive Systems

IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

  • Book
  • © 1997

Overview

Editors:
  1. Dimitris Gritzalis

    1. Athens University of Economics and Business, Greece

    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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.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 (23 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Software Testing

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Pythia: A regression test selection tool based on textual differencing

      • F. I. Vokolos, P. G. Frankl
      Pages 3-21

    3. ProveIt: a C program correctness prover

      • W. D. Maurer
      Pages 22-31

    4. An assessment of the number of paths needed for control flow testing

      • N. Malevris
      Pages 32-39

  3. Software Quality

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Automating software quality modelling, measurement and assessment

      • Barbara Kitchenham, Alberto Pasquini, Uwe Anders, Jørgen Bøegh, Stephano de Panfilis, Stephen Linkman
      Pages 43-53

    3. A quality-intensive approach to software development

      • I. Tervonen, J. Kokkoniemi, G. Smith
      Pages 54-64

  4. Software Reliability

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. User-perceptions Of Embedded Software Reliability

      • R. J. Kusters, R. van Solingen, J. J. M. Trienekens, H. Wijnands
      Pages 67-82

    3. Motivated Humans for Reliable Software Products

      • S. A. Frangos
      Pages 83-91

  5. Software Reusability

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Specification composition for the verification of message passing program composition

      • J. Y. Cotronis, Z. Tsiatsoulis
      Pages 95-106

  6. Safety Critical and Safety Monitor Systems

    1. Front Matter

      Pages 107-107
      Download chapter PDF

    2. Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems

      • S. Yih, J. Tian
      Pages 109-120

    3. Object-oriented Safety Monitor Synthesis

      • J. Górski, B. Nowicki
      Pages 121-133

    4. Modification of Safety Critical Systems: An Assessment of three Approaches

      • Tor Stålhane, Kari Juul Wedde
      Pages 134-147

  7. Software-Intensive Systems Security

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Selected Legal Issues Related to Internet Use

      • Gerald Quirchmayr
      Pages 151-160

    3. Security of World Wide Web Search Engines

      • Massimo Marchiori
      Pages 161-174
Back to top

Keywords

About this book

It is, indeed, widely acceptable today that nowhere is it more important to focus on the improvement of software quality than in the case of systems with requirements in the areas of safety and reliability - especially for distributed, real-time and embedded systems. Thus, much research work is under progress in these fields, since software process improvement impinges directly on achieved levels of quality, and many application experiments aim to show quantitative results demonstrating the efficacy of particular approaches. Requirements for safety and reliability - like other so-called non-functional requirements for computer-based systems - are often stated in imprecise and ambiguous terms, or not at all. Specifications focus on functional and technical aspects, with issues like safety covered only implicitly, or not addressed directly because they are felt to be obvious; unfortunately what is obvious to an end user or system user is progressively less so to others, to the extend that a software developer may not even be aware that safety is an issue. Therefore, there is a growing evidence for encouraging greater understanding of safety and reliability requirements issues, right across the spectrum from end user to software developer; not just in traditional safety-critical areas (e.g. nuclear, aerospace) but also acknowledging the need for such things as heart pacemakers and other medical and robotic systems to be highly dependable.

Editors and Affiliations

  • Athens University of Economics and Business, Greece

    Dimitris Gritzalis

Bibliographic Information

  • Book Title: Reliability, Quality and Safety of Software-Intensive Systems

  • Book Subtitle: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS ’97), 29th–30th May 1997, Athens, Greece

  • Editors: Dimitris Gritzalis

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-35097-4

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1997

  • Hardcover ISBN: 978-0-412-80280-5Published: 30 April 1997

  • Softcover ISBN: 978-1-4757-6399-7Published: 19 January 2013

  • eBook ISBN: 978-0-387-35097-4Published: 09 March 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: X, 278

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation