Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings: 16th ... October 23–25, 2019, Proceedings: 12018 - Brossura

Brossura

ISBN 10: 3030409139 ISBN 13: 9783030409135

Casa editrice: Springer, 2020

Riassunto

<div>This book constitutes the thoroughly revised selected papers from the&nbsp;16th International Conference on Formal Aspects of Component Software,&nbsp;FACS 2019, held in Amsterdam, The Netherlands, in October 2019.</div><div><br></div><div>The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions.&nbsp;</div><div>FACS 2019 is concerned with how formal methods can be used to make&nbsp;component-based and service-oriented software development succeed.&nbsp;Formal methods have provided a foundation for component-based software&nbsp;by successfully addressing challenging issues such as mathematical&nbsp;models for components, composition and adaptation, or rigorous&nbsp;approaches to verification, deployment, testing, and certification.</div><div><br></div>

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2020
• Lingua: Inglese
• ISBN 10: 3030409139
• ISBN 13: 9783030409135
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 272
• Redattore: Arbab Farhad, Jongmans Sung-Shik
• Contatto del produttore: non disponibile
• Persona responsabile: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania