Merkzettel Warenkorb
Produktbild: Reliability, Quality and Safety of Software-Intensive Systems
- 13%

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

Aus der Reihe IFIP Advances in Information and Communication Technology
13% sparen

138,99 € UVP 160,49 €

inkl. MwSt, Versandkostenfrei

Lieferung nach Hause

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

19.01.2013

Verlag

Springer Us

Seitenzahl

278

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

446 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-1-4757-6399-7

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

19.01.2013

Verlag

Springer Us

Seitenzahl

278

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

446 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-1-4757-6399-7

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Weitere Bände von IFIP Advances in Information and Communication Technology

Weitere Bände von IFIP Advances in Information and Communication Technology

Unsere Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Unsere Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: 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.