Formal Aspects of Component Software
Springer International Publishing (Verlag)
978-3-319-28933-5 (ISBN)
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015.
The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.
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.
Erscheinungsdatum | 08.10.2016 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | X, 331 p. 118 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Schlagworte | analysis tools • Applications • B-method • Certification • component software • Computer Science • conference proceedings • formal methods • Formal models • Formal Semantics • Informatics • logic and verification • Model Checking • Modeling • modeling approaches • Models of Computation • Operational Semantics • Research • service-oriented computing • Simulation • Software Architectures • Software engineering • Software Engineering / Softwareentwicklung • timed automata • Transformation • Type Theory |
ISBN-10 | 3-319-28933-0 / 3319289330 |
ISBN-13 | 978-3-319-28933-5 / 9783319289335 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich