Vai al contenuto principale della pagina
Titolo: |
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / / edited by Farhad Arbab, Sung-Shik Jongmans
![]() |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Edizione: | 1st ed. 2020. |
Descrizione fisica: | 1 online resource (X, 261 p. 886 illus., 23 illus. in color.) |
Disciplina: | 004.0151 |
Soggetto topico: | Software engineering |
Computer science | |
Mathematical logic | |
Computer networks | |
Software Engineering | |
Theory of Computation | |
Mathematical Logic and Foundations | |
Computer Communication Networks | |
Persona (resp. second.): | ArbabFarhad |
JongmansSung-Shik | |
Nota di contenuto: | Formal Logic -- Formal Methods -- Programming Languages -- Semantics -- Software Engineering -- Specifications -- Theorem Proving. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Formal Aspects of Component Software ![]() |
ISBN: | 3-030-40914-7 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910380748703321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |