TY  - BOOK
AU  - Cámara,Javier
AU  - Jongmans,Sung-Shik
ED  - SpringerLink (Online service)
TI  - Formal Aspects of Component Software: 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers 
T2  - Lecture Notes in Computer Science,
SN  - 9783031521836
AV  - QA267-268.5 
U1  - 005.131 23
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Machine theory
KW  - Natural language processing (Computer science)
KW  - Data structures (Computer science)
KW  - Information theory
KW  - Software engineering
KW  - Computer systems
KW  - Philology
KW  - Formal Languages and Automata Theory
KW  - Natural Language Processing (NLP)
KW  - Data Structures and Information Theory
KW  - Software Engineering
KW  - Computer System Implementation
KW  - Languages
N1  - Research Papers -- Symbolic Path-guided Test Cases for Models with Data and Time -- Model-Based Testing of Asynchronously Communicating Distributed Controllers -- A Mechanized Semantics for Component-based Systems in the HAMR AADL Runtime -- A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer -- Joint use of SysML and Reo to specify and verify the compatibility of CPS components -- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs -- Anniversary Papers -- Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL -- Challenges Engaging Formal CBSE in Industrial Applications -- Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories -- Overview on Constrained Multiparty Synchronisation in Team Automata -- Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview
N2  - This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things
UR  - http://libcon.rec.uabc.mx:2048/login?url=https://doi.org/10.1007/978-3-031-52183-6
ER  -