Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Aspects of Component Software [[electronic resource] ] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / / edited by Kyungmin Bae, Peter Csaba Ölveczky
| Formal Aspects of Component Software [[electronic resource] ] : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / / edited by Kyungmin Bae, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 297 p. 83 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Mathematical logic Computer logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Logics and Meanings of Programs |
| ISBN | 3-030-02146-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. |
| Record Nr. | UNISA-996466326403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / / edited by Kyungmin Bae, Peter Csaba Ölveczky
| Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / / edited by Kyungmin Bae, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 297 p. 83 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Mathematical logic Computer logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Logics and Meanings of Programs |
| ISBN | 3-030-02146-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. |
| Record Nr. | UNINA-9910349400203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Aspects of Component Software [[electronic resource] ] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / / edited by Christiano Braga, Peter Csaba Ölveczky
| Formal Aspects of Component Software [[electronic resource] ] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / / edited by Christiano Braga, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 331 p. 118 illus. in color.) |
| Disciplina | 004.0151 |
| 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-28934-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quality of service to withstand faults -- Component-based software development through research on mathematical models for components -- Composition and adaptation -- Rigorous approaches to verification, deployment, testing, and certification. |
| Record Nr. | UNISA-996466003603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / / edited by Christiano Braga, Peter Csaba Ölveczky
| Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / / edited by Christiano Braga, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 331 p. 118 illus. in color.) |
| Disciplina | 004.0151 |
| 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-28934-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quality of service to withstand faults -- Component-based software development through research on mathematical models for components -- Composition and adaptation -- Rigorous approaches to verification, deployment, testing, and certification. |
| Record Nr. | UNINA-9910484576003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Aspects of Component Software [[electronic resource] ] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / / edited by Farhad Arbab, Peter Csaba Ölveczky
| Formal Aspects of Component Software [[electronic resource] ] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / / edited by Farhad Arbab, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 369 p. 131 illus.) |
| Disciplina | 004.01/51 |
| 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 |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-35743-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Biographical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language. |
| Record Nr. | UNISA-996466035803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
| Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 179 p. 293 illus., 23 illus. in color.) |
| Disciplina | 620.86 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Computer simulation Mathematical logic Algorithms Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| ISBN | 3-030-12988-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited paper -- Analysis and Verification of Safety-Critical Systems -- Analysis of Timed Systems -- Semantics and Analysis Methods -- Model Transformation. |
| Record Nr. | UNINA-9910337568803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
| Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 161 p. 40 illus.) |
| Disciplina | 005.13 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Computer simulation Computers Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Computation by Abstract Devices |
| ISBN | 3-319-53946-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification. |
| Record Nr. | UNINA-9910254839303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
| Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (X, 271 p. 86 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Computers Computer simulation Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices Simulation and Modeling |
| ISBN | 3-319-29510-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910255001103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
| Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 257 p. 86 illus.) |
| Disciplina | 004 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Software engineering Programming languages (Electronic computers) Computers Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| ISBN | 3-319-17581-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Case studies and experience reports on the use of formal methods for analyzing -- Safety-critical systems -- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry -- Code generation from validated models -- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry -- Code generation from validated models. |
| Record Nr. | UNINA-9910299234103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky
| Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / / edited by Cyrille Artho, Peter Csaba Ölveczky |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 297 p. 91 illus.) |
| Disciplina | 005.1015113 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Software engineering Computers Logics and Meanings of Programs Software Engineering Computation by Abstract Devices |
| ISBN | 3-319-05416-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299052103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
