000 03937nam a22006375i 4500
001 978-3-031-52183-6
003 DE-He213
005 20240730170944.0
007 cr nn 008mamaa
008 240112s2024 sz | s |||| 0|eng d
020 _a9783031521836
_9978-3-031-52183-6
024 7 _a10.1007/978-3-031-52183-6
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aFormal Aspects of Component Software
_h[electronic resource] :
_b19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /
_cedited by Javier Cámara, Sung-Shik Jongmans.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXXII, 229 p. 65 illus., 40 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14485
505 0 _aResearch 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.
520 _aThis 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.
650 0 _aMachine theory.
_996455
650 0 _aNatural language processing (Computer science).
_94741
650 0 _aData structures (Computer science).
_98188
650 0 _aInformation theory.
_914256
650 0 _aSoftware engineering.
_94138
650 0 _aComputer systems.
_996457
650 0 _aPhilology.
_994433
650 1 4 _aFormal Languages and Automata Theory.
_996459
650 2 4 _aNatural Language Processing (NLP).
_931587
650 2 4 _aData Structures and Information Theory.
_931923
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer System Implementation.
_938514
650 2 4 _aLanguages.
_994439
700 1 _aCámara, Javier.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996462
700 1 _aJongmans, Sung-Shik.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_996463
710 2 _aSpringerLink (Online service)
_996465
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031521829
776 0 8 _iPrinted edition:
_z9783031521843
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14485
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-52183-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c87312
_d87312