Jetzt sichern: 40% Rabatt auf Ratgeber und Sachbücher oder einen 30€ Gutschein für eBooks in Mathematik und Statistik!

Programming and Software Engineering

Computer Safety, Reliability, and Security

SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Herausgeber: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (Eds.)

Vorschau

Dieses Buch kaufen

eBook 59,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45480-1
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: EPUB, PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 74,89 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45479-5
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

This book constitutes the refereed proceedings of four workshops co-located with SAFECOMP 2016, the 35th International Conference on Computer Safety, Reliability, and Security, held in Trondheim, Norway, in September 2016.

The 30 revised full papers presented together with 4 short and 5 invited papers were carefully reviewed and selected from numerous submissions. This year’s workshop are: ASSURE 2016 - Assurance Cases for Software-intensive Systems; DECSoS 2016 - EWICS/ERCIM/ARTEMIS Dependable Cyber-physical Systems and Systems-of-Systems Workshop; SASSUR 2016 - Next Generation of System Assurance Approaches for Safety-Critical Systems; and TIPS 2016 – Timing Performance in Safety Engineering.

Inhaltsverzeichnis (30 Kapitel)

  • The Agile Safety Case

    Stålhane, Tor (et al.)

    Seiten 5-16

  • Systematic Maintenance of Safety Cases to Reduce Risk

    Jaradat, Omar (et al.)

    Seiten 17-29

  • On Using Results of Code-Level Bounded Model Checking in Assurance Cases

    Cârlan, Carmen (et al.)

    Seiten 30-42

  • Configuration-Aware Contracts

    Sljivo, Irfan (et al.)

    Seiten 43-54

  • Developing SNS Tool for Consensus Building on Environmental Safety Using Assurance Cases

    Matsuno, Yutaka (et al.)

    Seiten 55-62

Dieses Buch kaufen

eBook 59,49 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45480-1
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: EPUB, PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 74,89 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-45479-5
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Computer Safety, Reliability, and Security
Buchuntertitel
SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
Herausgeber
  • Amund Skavhaug
  • Jérémie Guiochet
  • Erwin Schoitsch
  • Friedemann Bitsch
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
9923
Copyright
2016
Verlag
Springer International Publishing
Copyright Inhaber
Springer International Publishing Switzerland
eBook ISBN
978-3-319-45480-1
DOI
10.1007/978-3-319-45480-1
Softcover ISBN
978-3-319-45479-5
Auflage
1
Seitenzahl
XIV, 400
Anzahl der Bilder
130 schwarz-weiß Abbildungen
Themen