國立虎尾科技大學 |

Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Aspects of Component Software/ edited by Ivan Lanese, Eric Madelaine.
其他題名:	11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
其他作者:	Lanese, Ivan.
面頁冊數:	X, 385 p. 132 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-15317-9
ISBN:	9783319153179

Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
Formal Aspects of Component Software11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /[electronic resource] :edited by Ivan Lanese, Eric Madelaine. - 1st ed. 2015. - X, 385 p. 132 illus.online resource. - Programming and Software Engineering ;8997. - Programming and Software Engineering ;8987.

Components as Location Graphs -- A Formal Approach to Autonomic Systems Programming: The SCEL Language -- Compositional Approaches -- Verified Service Compositions by Template-Based Construction -- Compositional Verification of Asynchronously Communicating Systems -- Compositional Analysis Using Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive Systems -- Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime -- Formal Rules for Reliable Component-Based Architecture Evolution -- Application and Experience -- Solving Parity Games in Scala -- Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report -- Tools -- From HELENA Ensemble Specifications to Executable Code -- MAccS: A Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing Programs -- Scheduling, Time and Hybrid Systems Widening the Schedulability of Hierarchical Scheduling Systems -- Adding Formal Meanings to AADL with Hybrid Annex -- Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications -- Other Verification Approaches -- Intransitive Non-Interference by Unfolding -- Reduction and Abstraction Techniques for BIP -- Compositionality for Quantitative Specifications -- Safety and Liveness of Composition -- Algorithmic Verification of Procedural Programs in the Presence of Code Variability -- Place-Liveness of ComSA Applications -- Weakness: Verifying Correctness on TSO Architectures.

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.

ISBN: 9783319153179

Standard No.: 10.1007/978-3-319-15317-9doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
LDR:03647nam a22004095i 4500 001 969326
003 DE-He213
005 20201107181702.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319153179 $9 978-3-319-15317-9
024 7 $a 10.1007/978-3-319-15317-9 $2 doi
035 $a 978-3-319-15317-9
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Formal Aspects of Component Software $h [electronic resource] : $b 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / $c edited by Ivan Lanese, Eric Madelaine.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a X, 385 p. 132 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 8997
505 0 $a Components as Location Graphs -- A Formal Approach to Autonomic Systems Programming: The SCEL Language -- Compositional Approaches -- Verified Service Compositions by Template-Based Construction -- Compositional Verification of Asynchronously Communicating Systems -- Compositional Analysis Using Component-Oriented Interpolation -- Adaptation and Evolution -- Impact Models for Architecture-Based Self-adaptive Systems -- Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime -- Formal Rules for Reliable Component-Based Architecture Evolution -- Application and Experience -- Solving Parity Games in Scala -- Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report -- Tools -- From HELENA Ensemble Specifications to Executable Code -- MAccS: A Tool for Reachability by Design -- MPASS: An Efficient Tool for the Analysis of Message-Passing Programs -- Scheduling, Time and Hybrid Systems Widening the Schedulability of Hierarchical Scheduling Systems -- Adding Formal Meanings to AADL with Hybrid Annex -- Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications -- Other Verification Approaches -- Intransitive Non-Interference by Unfolding -- Reduction and Abstraction Techniques for BIP -- Compositionality for Quantitative Specifications -- Safety and Liveness of Composition -- Algorithmic Verification of Procedural Programs in the Presence of Code Variability -- Place-Liveness of ComSA Applications -- Weakness: Verifying Correctness on TSO Architectures.
520 $a This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 0 $a Management information systems. $3 561123
650 0 $a Computer science. $3 573171
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Management of Computing and Information Systems. $3 593928
700 1 $a Lanese, Ivan. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1065685
700 1 $a Madelaine, Eric. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 793810
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319153186
776 0 8 $i Printed edition: $z 9783319153162
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-15317-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)