Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings /

Saved in:

Bibliographic Details
Meeting name:	FACS (Symposium) (16th : 2019 : Amsterdam, The Netherlands)
Imprint:	Cham, Switzerland : Springer, 2020. ©2020
Description:	1 online resource (x, 261 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science ; 12018 LNCS sublibrary, SL 2, Programming and Software Engineering Lecture notes in computer science ; 12018. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Component software -- Congresses. Software engineering -- Congresses. Component software. Formal methods (Computer science) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/12603967

Hidden Bibliographic Details
Other authors / contributors:	Arbab, F. (Farhad), editor. Jongmans, Sung-Shik, editor.
ISBN:	9783030409142 3030409147 9783642357428
Notes:	International conference proceedings. Includes bibliographical references and author index. Description based on online resource (SpringerLink, viewed March 2, 2020).
Summary:	This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. 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. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. --
Other form:	Print version: Arbab, Farhad Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings Cham : Springer International Publishing AG,c2020 9783030409135

Similar Items