Formal Aspects of Component Software [[electronic resource] ] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / / edited by Ivan Lanese, Eric Madelaine |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 385 p. 132 illus.) : online resource |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Programming languages (Electronic computers) Computer programming Management information systems Computer science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems |
ISBN | 3-319-15317-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996198830803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / / edited by Ivan Lanese, Eric Madelaine |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 385 p. 132 illus.) : online resource |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Programming languages (Electronic computers) Computer programming Management information systems Computer science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems |
ISBN | 3-319-15317-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910484995403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey / / edited by Marcello M. Bonsangue, Eric Madelaine |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 299 p.) |
Disciplina | 005.131 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Operating systems (Computers) Programming languages (Electronic computers) Computer logic Computer programming Software Engineering/Programming and Operating Systems Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Programming Techniques |
Soggetto genere / forma |
Kongress.
Sophia-Antipolis (2008) |
ISBN | 3-642-04167-1 |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The COMPAS Project -- Reusable Architectural Decision Model for Model and Metadata Repositories -- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems -- The CREDO Project -- A Real-Time Extension of Creol for Modelling Biomedical Sensors -- Conformance Testing of Distributed Concurrent Systems with Executable Designs -- Formal Verification for Components and Connectors -- The DEPLOY Project -- Formal Modular Modelling of Context-Awareness -- Towards Demonstrably Correct Compilation of Java Byte Code -- Incremental System Modelling in Event-B -- The GRIDCOMP Project -- An Asynchronous Distributed Component Model and Its Semantics -- Specification and Verification for Grid Component-Based Applications: From Models to Tools -- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming -- The MOBIUS Project -- Session-Based Compilation Framework for Multicore Programming -- Abstract Interpretation of Symbolic Execution with Explicit State Updates -- BML and Related Tools. |
Record Nr. | UNISA-996465642603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, revised lectures / / Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, c2009 |
Descrizione fisica | 1 online resource (X, 299 p.) |
Disciplina | 005.131 |
Altri autori (Persone) |
BoerFrank S. de
BonsangueMarcello M MadelaineEric |
Collana | Lecture notes in computer science |
Soggetto topico |
Formal methods (Computer science)
Object-oriented programming (Computer science) |
ISBN | 3-642-04167-1 |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The COMPAS Project -- Reusable Architectural Decision Model for Model and Metadata Repositories -- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems -- The CREDO Project -- A Real-Time Extension of Creol for Modelling Biomedical Sensors -- Conformance Testing of Distributed Concurrent Systems with Executable Designs -- Formal Verification for Components and Connectors -- The DEPLOY Project -- Formal Modular Modelling of Context-Awareness -- Towards Demonstrably Correct Compilation of Java Byte Code -- Incremental System Modelling in Event-B -- The GRIDCOMP Project -- An Asynchronous Distributed Component Model and Its Semantics -- Specification and Verification for Grid Component-Based Applications: From Models to Tools -- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming -- The MOBIUS Project -- Session-Based Compilation Framework for Multicore Programming -- Abstract Interpretation of Symbolic Execution with Explicit State Updates -- BML and Related Tools. |
Altri titoli varianti | FMCO 2008 |
Record Nr. | UNINA-9910483543803321 |
Berlin ; ; Heidelberg, : Springer-Verlag, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|