Reliability Quality and Safety of Software-Intensive Systems

$299.00
+ $19.99 Shipping

Reliability Quality and Safety of Software-Intensive Systems

  • Brand: Unbranded

Reliability Quality and Safety of Software-Intensive Systems

  • Brand: Unbranded
Price: $299.00
Sold by:
$299.00
+ $19.99 Shipping

In stock

14-Day Returns Policy

Payment methods:

Description

Reliability Quality and Safety of Software-Intensive Systems

One Software Testing. - 1 Pythia: A regression test selection tool based on textual differencing. - 2 Provelt: A C-program correctness prover. - 3 An assessment of the number of paths needed for control flow testing. - Two Software Quality. - 4 Automating software quality modelling measurement and assessment. - 5 A quality-intensive approach to software development. - Three Software Reliability. - 6 User-perceptions of embedded software reliability. - 7 Motivated humans for reliable software products. - Four Software Reusability. - 8 Specification composition for the verification of message passing program composition. - Five Safety Critical and Safety Monitor Systems. - 9 Prescriptive specification checking for hazard prevention in computer-controlled safety-critical systems. - 10 Object-oriented safety monitor synthesis. - 11 Modification of safety critical systems: an assessment of three approaches. - Six Software-Intensive Systems Security. - 12 Selected Legal Issues Related to Internet Use. - 13 Security of World Wide Web search engines. - 14 The Cascade vulnerability problem for open distributed systems: a review. - 15 Improving the quality of secure distributed systems. - Seven Applications and Experiences. - 16 Partnership with customers in product improvement: testing embedded software products in the field. - 17 Introducing the Goal-Question-Metric approach to telecommunications software development practices: the PITA experiment. - 18 Software development and testing for shipyard robotic welding. - 19 Testing software based on users' quality needs. - Eight Poster papers. - 20 An evaluation scheme of software testing techniques. - 21 Real-MFG: a Petrinet based model focusing on the integration of schedulability and fault tolerance. - 22 Design of an integrated educational softwaredevelopment environment oriented in reuse and quality assurance of products and processes. - 23 An approach to improve software quality in length measurement calibration. - Index of contributors. - Keyword index. Language: English
  • Brand: Unbranded
  • Category: Computing & Internet
  • Artist: Dimitris Gritzalis
  • Format: Paperback
  • Language: English
  • Publication Date: 2013/01/19
  • Publisher / Label: Springer
  • Number of Pages: 278
  • Fruugo ID: 450894747-950605454
  • ISBN: 9781475763997

Delivery & Returns

Dispatched within 4 days

  • STANDARD: $19.99 - Delivery between Thu. 29 January 2026–Wed. 04 February 2026

Shipping from United Kingdom.

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items. View full return policy