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 / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting dependable systems / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (316 p.) |
| Disciplina | 004.22 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer systems - Reliability
Fault-tolerant computing Computer architecture |
| ISBN | 3-540-45177-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectures for Dependability -- Intrusion-Tolerant Architectures: Concepts and Design -- Improving Dependability of Component-Based Systems via Multi-versioning Connectors -- Increasing System Dependability through Architecture-Based Self-Repair -- Dependability in the Web Services Architecture -- A Component Based Real-Time Scheduling Architecture -- Fault Tolerance in Software Architectures -- A Fault-Tolerant Software Architecture for Component-Based Systems -- The Role of Event Description in Architecting Dependable Systems -- Architectural Mismatch Tolerance -- Dependability Analysis in Software Architectures -- Quality Analysis of Dependable Systems: A Developer Oriented Approach -- Stochastic Dependability Analysis of System Architecture Based on UML Models -- Specification-Level Integration of Simulation and Dependability Analysis -- Using Architectural Properties to Model and Measure Graceful Degradation -- Industrial Experience -- Dependability Experience in Philips. |
| Record Nr. | UNINA-9910144147103321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecting dependable systems / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting dependable systems / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (316 p.) |
| Disciplina | 004.22 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer systems - Reliability
Fault-tolerant computing Computer architecture |
| ISBN | 3-540-45177-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Architectures for Dependability -- Intrusion-Tolerant Architectures: Concepts and Design -- Improving Dependability of Component-Based Systems via Multi-versioning Connectors -- Increasing System Dependability through Architecture-Based Self-Repair -- Dependability in the Web Services Architecture -- A Component Based Real-Time Scheduling Architecture -- Fault Tolerance in Software Architectures -- A Fault-Tolerant Software Architecture for Component-Based Systems -- The Role of Event Description in Architecting Dependable Systems -- Architectural Mismatch Tolerance -- Dependability Analysis in Software Architectures -- Quality Analysis of Dependable Systems: A Developer Oriented Approach -- Stochastic Dependability Analysis of System Architecture Based on UML Models -- Specification-Level Integration of Simulation and Dependability Analysis -- Using Architectural Properties to Model and Measure Graceful Degradation -- Industrial Experience -- Dependability Experience in Philips. |
| Record Nr. | UNISA-996466133303316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting dependable systems III / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
| Architecting dependable systems III / / Rogerio de Lemos, Cristina Gacek, Alexander Romanovsky (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2005 |
| Descrizione fisica | 1 online resource (XIV, 343 p.) |
| Disciplina | 004.2/2 |
| Altri autori (Persone) |
LemosRogerio de <1961->
GacekCristina <1964-> RomanovskyAlexander <1954-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer architecture
Computer systems - Reliability Fault-tolerant computing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. 1. Architectures for dependable services -- pt. 2. Monitoring and reconfiguration in software architectures -- pt. 3. Dependability support for software architectures -- pt. 4. Architectural evaluation -- pt. 5. Architectural abstractions for dependability. |
| Altri titoli varianti |
Architecting dependable systems 3
Architecting dependable systems three |
| Record Nr. | UNINA-9910483066803321 |
| Berlin, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Scientific engineering of distributed Java applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers / / Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky (eds.)
| Scientific engineering of distributed Java applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers / / Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2005 |
| Descrizione fisica | 1 online resource (X, 134 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
GuelfiNicolas <1965->
ReggioGianna <1957-> RomanovskyAlexander <1954-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Electronic data processing - Distributed processing Java (Computer program language) |
| ISBN |
3-540-31869-0
3-540-25053-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Design of Embedded Software: An Analysis of Design Issues -- Component-Based Design of Embedded Software: An Analysis of Design Issues -- How Design Patterns Affect Application Performance – A Case of a Multi-tier J2EE Application -- An MDA-Based Approach for Inferring Concurrency in Distributed Systems -- Task-Based Access Control for Virtual Organizations -- Self-Deployment of Distributed Applications -- Modeling and Analysis of Exception Handling by Using UML Statecharts -- Coordinated Anonymous Peer-to-Peer Connections with MoCha -- A Survey of Software Development Approaches Addressing Dependability -- FreeSoDA: A Web Services-Based Tool to Support Documentation in Distributed Projects -- A JMM-Faithful Non-interference Calculus for Java -- A Java Package for Transparent Code Mobility -- Keynote Talks -- Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts and Implementation Issues. |
| Altri titoli varianti |
Distributed Java applications
FIDJI 2004 |
| Record Nr. | UNINA-9910484271603321 |
| Berlin, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||