Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Aspects of Component Software

  • E-Book (pdf)
  • 331 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software,... Weiterlesen
CHF 66.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015.

The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification.



Inhalt

Quality of service to withstand faults.- Component-based software development through research on mathematical models for components.- Composition and adaptation.- Rigorous approaches to verification, deployment, testing, and certification.

Produktinformationen

Titel: Formal Aspects of Component Software
Untertitel: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Editor:
EAN: 9783319289342
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 29.01.2016
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 12.18 MB
Anzahl Seiten: 331

Weitere Bände aus der Buchreihe "Programming and Software Engineering"