03750nam a22005895i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001600172072001600188072002300204072001500227245021900242250001800461264006900479300006600548336002600614337002600640338003600666347002400702490005900726505099700785520042801782650002702210650005902237650004702296650003102343650003302374650002202407650002202429650004902451650004602500650005102546650003302597650003602630650002202666700008602688700008902774710003402863773002602897776003602923776003602959830005902995856004603054912001403100912001503114912001403129999001703143978-3-031-52183-6DE-He21320251030110920.0cr nn 008mamaa240112s2024    sz |    s    |||| 0|eng d  a97830315218369978-3-031-52183-67 a10.1007/978-3-031-52183-62doi 4aQA267-268.5 7aUYA2bicssc 7aCOM0140002bisacsh 7aUYA2thema10aFormal Aspects of Component Softwareh[electronic resource] :b19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers /cedited by Javier Cámara, Sung-Shik Jongmans.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXXII, 229 p. 65 illus., 40 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v144850 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.  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. 0aMachine theory.967305 0aNatural language processing (Computer science).965131 0aData structures (Computer science).966708 0aInformation theory.957783 0aSoftware engineering.933953 0aComputer systems. 0aPhilology.96587414aFormal Languages and Automata Theory.96730624aNatural Language Processing (NLP).96616424aData Structures and Information Theory.96670924aSoftware Engineering.93395324aComputer System Implementation.24aLanguages.9658791 aCámara, Javier.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9695061 aJongmans, Sung-Shik.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9695072 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303152182908iPrinted edition:z9783031521843 0aLecture Notes in Computer Science,x1611-3349 ;v1448540uhttps://doi.org/10.1007/978-3-031-52183-6  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c57178d57178