Ebook: 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

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.

---

---

Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Pythia: A regression test selection tool based on textual differencing....Pages 3-21
ProveIt: a C program correctness prover....Pages 22-31
An assessment of the number of paths needed for control flow testing....Pages 32-39
Front Matter....Pages 41-41
Automating software quality modelling, measurement and assessment....Pages 43-53
A quality-intensive approach to software development....Pages 54-64
Front Matter....Pages 65-65
User-perceptions Of Embedded Software Reliability....Pages 67-82
Motivated Humans for Reliable Software Products....Pages 83-91
Front Matter....Pages 93-93
Specification composition for the verification of message passing program composition....Pages 95-106
Front Matter....Pages 107-107
Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems....Pages 109-120
Object-oriented Safety Monitor Synthesis....Pages 121-133
Modification of Safety Critical Systems: An Assessment of three Approaches....Pages 134-147
Front Matter....Pages 149-149
Selected Legal Issues Related to Internet Use....Pages 151-160
Security of World Wide Web Search Engines....Pages 161-174
The Cascade Vulnerability Problem for Open Distributed Systems: A Review....Pages 175-185
Improving the Quality of Secure Distributed Systems....Pages 186-197
Front Matter....Pages 199-199
Partnership with Customers in Product Improvement....Pages 201-214
Introducing the Goal-Question-Metric approach to telecommunications software development: the PITA experiment....Pages 215-230
Software Development and Testing for Shipyard Robotic Welding....Pages 231-241
Testing based on users’ quality needs....Pages 242-255
Front Matter....Pages 257-257
An evaluation scheme of software testing techniques....Pages 259-262
Front Matter....Pages 257-257
Real-MFG: A Petri Net based model focusing on the integration of schedulability and fault tolerance....Pages 263-268
Design of an Integrated Educational Software Development Environment Oriented in Reuse and Quality Assurance of Products and Processes....Pages 269-272
An Approach to Improve Software Quality in Length Measurement Calibration....Pages 273-276
Back Matter....Pages 277-278

---

Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Pythia: A regression test selection tool based on textual differencing....Pages 3-21
ProveIt: a C program correctness prover....Pages 22-31
An assessment of the number of paths needed for control flow testing....Pages 32-39
Front Matter....Pages 41-41
Automating software quality modelling, measurement and assessment....Pages 43-53
A quality-intensive approach to software development....Pages 54-64
Front Matter....Pages 65-65
User-perceptions Of Embedded Software Reliability....Pages 67-82
Motivated Humans for Reliable Software Products....Pages 83-91
Front Matter....Pages 93-93
Specification composition for the verification of message passing program composition....Pages 95-106
Front Matter....Pages 107-107
Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems....Pages 109-120
Object-oriented Safety Monitor Synthesis....Pages 121-133
Modification of Safety Critical Systems: An Assessment of three Approaches....Pages 134-147
Front Matter....Pages 149-149
Selected Legal Issues Related to Internet Use....Pages 151-160
Security of World Wide Web Search Engines....Pages 161-174
The Cascade Vulnerability Problem for Open Distributed Systems: A Review....Pages 175-185
Improving the Quality of Secure Distributed Systems....Pages 186-197
Front Matter....Pages 199-199
Partnership with Customers in Product Improvement....Pages 201-214
Introducing the Goal-Question-Metric approach to telecommunications software development: the PITA experiment....Pages 215-230
Software Development and Testing for Shipyard Robotic Welding....Pages 231-241
Testing based on users’ quality needs....Pages 242-255
Front Matter....Pages 257-257
An evaluation scheme of software testing techniques....Pages 259-262
Front Matter....Pages 257-257
Real-MFG: A Petri Net based model focusing on the integration of schedulability and fault tolerance....Pages 263-268
Design of an Integrated Educational Software Development Environment Oriented in Reuse and Quality Assurance of Products and Processes....Pages 269-272
An Approach to Improve Software Quality in Length Measurement Calibration....Pages 273-276
Back Matter....Pages 277-278
....