000 03545nam a22006135i 4500
001 978-3-031-71261-6
003 DE-He213
005 20251030112945.0
007 cr nn 008mamaa
008 240908s2024 sz | s |||| 0|eng d
020 _a9783031712616
_9978-3-031-71261-6
024 7 _a10.1007/978-3-031-71261-6
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
245 1 0 _aFormal Aspects of Component Software
_h[electronic resource] :
_b20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings /
_cedited by Diego Marmsoler, Meng Sun.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXVII, 147 p. 71 illus., 41 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 ;
_v15189
505 0 _aVerification and testing: Enabling behaviour tree verification via a translation to BIP -- Verified fault handling for modern board management controllers -- Testing compositionality. Formal models: Correct pattern-based development through refinements and weakest preconditions calculus -- Coq formalization of orientation representation: matrix, Euler angles, axis-angle and quaternion -- Reactive graphs in action. Security and blockchain: Extracting formal smart-contract specifications from natural language with LLMs -- How do asynchronous communication models impact the composability of information flow security?
520 _aThis book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.
650 0 _aMachine theory.
_967305
650 0 _aNatural language processing (Computer science).
_965131
650 0 _aData structures (Computer science).
_966708
650 0 _aInformation theory.
_957783
650 0 _aSoftware engineering.
_933953
650 0 _aComputer systems.
650 1 4 _aFormal Languages and Automata Theory.
_967306
650 2 4 _aNatural Language Processing (NLP).
_966164
650 2 4 _aData Structures and Information Theory.
_966709
650 2 4 _aSoftware Engineering.
_933953
650 2 4 _aComputer System Implementation.
700 1 _aMarmsoler, Diego.
_eeditor.
_0(orcid)0000-0003-2859-7673
_1https://orcid.org/0000-0003-2859-7673
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983935
700 1 _aSun, Meng.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_983936
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031712609
776 0 8 _iPrinted edition:
_z9783031712623
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v15189
856 4 0 _uhttps://doi.org/10.1007/978-3-031-71261-6
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
999 _c63204
_d63204