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.
Architecting dependable systems IV / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
| Architecting dependable systems IV / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 438 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer architecture
Fault-tolerant computing Computer systems - Reliability |
| ISBN | 3-540-74035-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectural Description Languages -- Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) -- A System Dependability Modeling Framework Using AADL and GSPNs -- Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language -- The View Glue -- Architectural Components and Patterns -- A Component-Based Approach to Verification and Validation of Formal Software Models -- A Pattern-Based Approach for Modeling and Analyzing Error Recovery -- Architectural Fault Tolerance Using Exception Handling -- Model-Centric Development of Highly Available Software Systems -- An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems -- Architecting Distributed Systems -- A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level -- Architecting Dynamic Reconfiguration in Dependable Systems -- Ecotopia: An Ecological Framework for Change Management in Distributed Systems -- Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems -- Flexible Communication Architecture for Dependable Time-Triggered Systems -- Business Process Monitoring for Dependability -- Architectural Assurances for Dependability -- Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases -- Towards Evidence-Based Architectural Design for Safety-Critical Software Applications -- Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. |
| Altri titoli varianti |
Architecting dependable systems 4
Architecting dependable systems four |
| Record Nr. | UNISA-996466074103316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting dependable systems IV / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
| Architecting dependable systems IV / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XIV, 438 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer architecture
Fault-tolerant computing Computer systems - Reliability |
| ISBN | 3-540-74035-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectural Description Languages -- Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL) -- A System Dependability Modeling Framework Using AADL and GSPNs -- Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language -- The View Glue -- Architectural Components and Patterns -- A Component-Based Approach to Verification and Validation of Formal Software Models -- A Pattern-Based Approach for Modeling and Analyzing Error Recovery -- Architectural Fault Tolerance Using Exception Handling -- Model-Centric Development of Highly Available Software Systems -- An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems -- Architecting Distributed Systems -- A Distributed Monitoring System for Enhancing Security and Dependability at Architectural Level -- Architecting Dynamic Reconfiguration in Dependable Systems -- Ecotopia: An Ecological Framework for Change Management in Distributed Systems -- Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems -- Flexible Communication Architecture for Dependable Time-Triggered Systems -- Business Process Monitoring for Dependability -- Architectural Assurances for Dependability -- Achieving Dependable Systems by Synergistic Development of Architectures and Assurance Cases -- Towards Evidence-Based Architectural Design for Safety-Critical Software Applications -- Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. |
| Altri titoli varianti |
Architecting dependable systems 4
Architecting dependable systems four |
| Record Nr. | UNINA-9910484535903321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||