IFIP Advances in Information and Communication Technology

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

Authors: Gritzalis, Dimitris

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-0-387-35097-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $190.00
price for USA
  • ISBN 978-0-412-80280-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $190.00
price for USA
  • ISBN 978-1-4757-6399-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (23 chapters)

  • Pythia: A regression test selection tool based on textual differencing

    Vokolos, F. I. (et al.)

    Pages 3-21

  • ProveIt: a C program correctness prover

    Maurer, W. D.

    Pages 22-31

  • An assessment of the number of paths needed for control flow testing

    Malevris, N.

    Pages 32-39

  • Automating software quality modelling, measurement and assessment

    Kitchenham, Barbara (et al.)

    Pages 43-53

  • A quality-intensive approach to software development

    Tervonen, I. (et al.)

    Pages 54-64

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-0-387-35097-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $190.00
price for USA
  • ISBN 978-0-412-80280-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $190.00
price for USA
  • ISBN 978-1-4757-6399-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Authors
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1997
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35097-4
DOI
10.1007/978-0-387-35097-4
Hardcover ISBN
978-0-412-80280-5
Softcover ISBN
978-1-4757-6399-7
Series ISSN
1868-4238
Edition Number
1
Number of Pages
X, 278
Topics