top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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. UNINA-9910349400203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910484576003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 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 [[electronic resource] ] : 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
Opac: Controlla la disponibilità qui
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 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 [[electronic resource] ] : 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
Opac: Controlla la disponibilità qui
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 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 [[electronic resource] ] : 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
Opac: Controlla la disponibilità qui
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 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 [[electronic resource] ] : 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
Opac: Controlla la disponibilità qui
Formal Techniques for Safety-Critical Systems [[electronic resource] ] : 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 [[electronic resource] ] : 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
Opac: Controlla la disponibilità qui