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.
Computer Safety, Reliability, and Security [[electronic resource] ] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
| Computer Safety, Reliability, and Security [[electronic resource] ] : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 316 p. 320 illus., 92 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Optical data processing Microprogramming Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Control Structures and Microprogramming |
| ISBN | 3-030-26601-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil’s in the detail: Through-life safety and security co-assurance using SSAF. |
| Record Nr. | UNISA-996466439903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
| Computer Safety, Reliability, and Security [[electronic resource] ] : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 412 p. 163 illus., 90 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Computer security Data encryption (Computer science) Software engineering Optical data processing Computer Systems Organization and Communication Networks Artificial Intelligence Systems and Data Security Cryptology Software Engineering Image Processing and Computer Vision |
| ISBN | 3-030-26250-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. |
| Record Nr. | UNISA-996466436603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
| Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXI, 316 p. 320 illus., 92 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Software engineering Optical data processing Microprogramming Computer Systems Organization and Communication Networks Artificial Intelligence Software Engineering/Programming and Operating Systems Image Processing and Computer Vision Control Structures and Microprogramming |
| ISBN | 3-030-26601-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Verification -- Towards Zero Alarms in Sound Static Analysis of Finite State Machines -- Graceful Degradation Design Process for Autonomous Driving System -- Formal Verification of Memory Preservation of x86-64 Binaries -- Autonomous Driving -- Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits -- Fitness Functions for Testing Automated and Autonomous Driving Systems -- A SysML Profile for Fault Trees — linking safety models to system design -- Safety and Reliability Modeling -- Spectrum-Based Fault Localization in Deployed Embedded Systems with Driver Interaction Models -- Forecast Horizon for Automated Safety Actions in Automated Driving Systems -- Digital Forensics in Industrial Control Systems -- Security Engineering and Risk Assessment -- Efficient Model-level Reliability Analysis of Simulink Models -- Increasing Trust in Data-Driven Model Validation - A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics -- A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems -- Safety Argumentation -- BACRank: Ranking Building Automation and Control System Components by Business Continuity Impact -- Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems -- Dynamic risk assessment enabling automated interventions for medical cyber-physical systems -- Verification and Validation of Autonomous Systems -- Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety -- Automated Evidence Analysis of Safety Arguments using Digital Dependability Identities -- Interactive Systems and Design Validation -- SafeDeML: On Integrating the Safety Design into the System Model -- Towards Trusted Security Context Exchange Protocol for SDN based Low Latency Networks -- Devil’s in the detail: Through-life safety and security co-assurance using SSAF. |
| Record Nr. | UNINA-9910349300803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch
| Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / / edited by Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch, Friedemann Bitsch |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 412 p. 163 illus., 90 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer organization
Artificial intelligence Computer security Data encryption (Computer science) Software engineering Optical data processing Computer Systems Organization and Communication Networks Artificial Intelligence Systems and Data Security Cryptology Software Engineering Image Processing and Computer Vision |
| ISBN | 3-030-26250-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019) -- Combining GSN and STPA for safety arguments -- A modelling approach for system life cycles assurance -- Contract-based Modular Safety Cases for Incremental Certification of Product Lines -- 14th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2019) -- Comparative Evaluation of Security Fuzzing Approaches -- Assuring compliance with protection profiles with Threatget -- A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems -- Combined Approach for Safety and Security -- Towards Integrated Quantitative Security and Safety Risk Assessment -- Potential Use of Safety Analysis for Risk Assessments in Smart City Sensor Network Applications -- Increasing Safety of Neural Networks in Medical Devices -- Smart Wristband for Voting -- 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR 2019) -- Automotive Cybersecurity standards - relation and overview -- A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems -- Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance -- The SISTER approach for Verification and Validation: a lightweight process for reusable results -- Introduction to the Safecomp 2018 Workshop on Safety, securiTy, and pRivacy In automotiVe systEms (STRIVE 2018) -- Demo: CANDY CREAM -- CarINA - Car sharing with IdeNtity based Access control re-enforced by TPM -- Combining Safety and Security in Autonomous Cars Using Blockchain Technologies -- Enhancing CAN security by means of lightweight stream-ciphers and protocols -- Analysis of Security Overhead in Broadcast V2V Communications -- You overtrust your printer -- 2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) -- Three Reasons Why: Framing the Challenges of Assuring AI -- Improving ML Safety with Partial Specifications -- An Abstraction-Refinement Approach to Formal Verification of Tree Ensembles -- RL-Based Method for Benchmarking the Adversarial Resilience and Robustness of Deep Reinforcement Learning Policies -- A Safety Standard Approach for Fully Autonomous Vehicles (Position Paper) -- Open Questions in Testing of Learned Computer Vision Functions for Automated Driving -- Adaptive Deployment of Safety Monitors for Autonomous Systems -- Uncertainty Wrappers for Data-driven Models - Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates -- Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions -- Bayesian Uncertainty Quantification with Synthetic Data -- A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence -- Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests -- The Moral Machine: Is It Moral. |
| Record Nr. | UNINA-9910349300903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Methods, Models and Tools for Fault Tolerance [[electronic resource] /] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
| Methods, Models and Tools for Fault Tolerance [[electronic resource] /] / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 343 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Software engineering Programming languages (Electronic computers) Computer programming Operating systems (Computers) Computer Communication Networks Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Operating Systems |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-642-00867-4 |
| Classificazione |
DAT 286f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. |
| Record Nr. | UNISA-996465896703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Methods, Models and Tools for Fault Tolerance / / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
| Methods, Models and Tools for Fault Tolerance / / edited by Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 343 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer communication systems
Software engineering Programming languages (Electronic computers) Computer programming Operating systems (Computers) Computer Communication Networks Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Operating Systems |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN | 3-642-00867-4 |
| Classificazione |
DAT 286f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. |
| Record Nr. | UNINA-9910483173103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rigorous Development of Complex Fault-Tolerant Systems [[electronic resource] /] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
| Rigorous Development of Complex Fault-Tolerant Systems [[electronic resource] /] / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 406 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer communication systems Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Theory of Computation Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-48267-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Train Systems -- Train Systems -- Formalising Reconciliation in Partitionable Networks with Distributed Services -- The Fault-Tolerant Insulin Pump Therapy -- Reasoning About Exception Flow at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System: An Illustrative Example -- Achieving Fault Tolerance by a Formally Validated Interaction Policy -- F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring -- On Specification and Verification of Location-Based Fault Tolerant Mobile Systems -- Formal Development of Mechanisms for Tolerating Transient Faults -- Separating Concerns in Requirements Analysis: An Example -- Rigorous Fault Tolerance Using Aspects and Formal Methods -- Rigorous Development of Fault-Tolerant Agent Systems -- Formal Service-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation -- Formal Analysis of the Operational Concept for the Small Aircraft Transportation System -- Towards a Method for Rigorous Development of Generic Requirements Patterns -- Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B -- Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages Still Matter. |
| Record Nr. | UNISA-996466040503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rigorous Development of Complex Fault-Tolerant Systems / / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
| Rigorous Development of Complex Fault-Tolerant Systems / / edited by Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 406 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Computer communication systems Computer programming Software engineering Programming languages (Electronic computers) Operating systems (Computers) Theory of Computation Computer Communication Networks Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Operating Systems |
| ISBN | 3-540-48267-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Train Systems -- Train Systems -- Formalising Reconciliation in Partitionable Networks with Distributed Services -- The Fault-Tolerant Insulin Pump Therapy -- Reasoning About Exception Flow at the Architectural Level -- Are Practitioners Writing Contracts? -- Determining the Specification of a Control System: An Illustrative Example -- Achieving Fault Tolerance by a Formally Validated Interaction Policy -- F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring -- On Specification and Verification of Location-Based Fault Tolerant Mobile Systems -- Formal Development of Mechanisms for Tolerating Transient Faults -- Separating Concerns in Requirements Analysis: An Example -- Rigorous Fault Tolerance Using Aspects and Formal Methods -- Rigorous Development of Fault-Tolerant Agent Systems -- Formal Service-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation -- Formal Analysis of the Operational Concept for the Small Aircraft Transportation System -- Towards a Method for Rigorous Development of Generic Requirements Patterns -- Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B -- Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages Still Matter. |
| Record Nr. | UNINA-9910484667503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Resilient Systems [[electronic resource] ] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / / edited by Ivica Crnkovic, Elena Troubitsyna
| Software Engineering for Resilient Systems [[electronic resource] ] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / / edited by Ivica Crnkovic, Elena Troubitsyna |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 149 p. 41 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Mathematical logic Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems |
| ISBN | 3-319-45892-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Development of resilient systems -- Incremental development processes for resilient systems -- Requirements engineering and re-engineering for resilience -- Frameworks, patterns and software architectures for resilience.-Engineering of self-healing autonomic systems -- Design of trustworthy and intrusion-safe systems -- Resilience at run-time (mechanisms, reasoning and adaptation) -- Resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems) -- Verification, validation and evaluation of resilience -- Modeling and model based analysis of resilience properties -- Formal and semi-formal techniques for verification and validation -- Experimental evaluations of resilient systems -- Quantitative approaches to ensuring resilience -- Resilience prediction -- Cast studies and applications.-Empirical studies in the domain of resilient systems -- Methodologies adopted in industrial contexts -- Cloud computing and resilient service provisioning.-Resilience for data-driven systems (e.g., big data-based adaption and resilience) -- Resilient cyber-physical systems and infrastructures -- Global aspects of resilience engineering: education, training and cooperation. |
| Record Nr. | UNISA-996465305203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / / edited by Ivica Crnkovic, Elena Troubitsyna
| Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / / edited by Ivica Crnkovic, Elena Troubitsyna |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 149 p. 41 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Mathematical logic Management information systems Computer science Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Mathematical Logic and Formal Languages Management of Computing and Information Systems |
| ISBN | 3-319-45892-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Development of resilient systems -- Incremental development processes for resilient systems -- Requirements engineering and re-engineering for resilience -- Frameworks, patterns and software architectures for resilience.-Engineering of self-healing autonomic systems -- Design of trustworthy and intrusion-safe systems -- Resilience at run-time (mechanisms, reasoning and adaptation) -- Resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems) -- Verification, validation and evaluation of resilience -- Modeling and model based analysis of resilience properties -- Formal and semi-formal techniques for verification and validation -- Experimental evaluations of resilient systems -- Quantitative approaches to ensuring resilience -- Resilience prediction -- Cast studies and applications.-Empirical studies in the domain of resilient systems -- Methodologies adopted in industrial contexts -- Cloud computing and resilient service provisioning.-Resilience for data-driven systems (e.g., big data-based adaption and resilience) -- Resilient cyber-physical systems and infrastructures -- Global aspects of resilience engineering: education, training and cooperation. |
| Record Nr. | UNINA-9910484036403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||