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 Critical Systems [[electronic resource] ] : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / / edited by Holger Giese
| Architecting Critical Systems [[electronic resource] ] : First International Symposium, Prague, Czech Republic, June 23-25, 2010 / / edited by Holger Giese |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (205 p. 82 illus.) |
| Disciplina | 004.2 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer communication systems
Special purpose computers Data encryption (Computer science) Application software Computers and civilization Algorithms Computer Communication Networks Special Purpose and Application-Based Systems Cryptology Information Systems Applications (incl. Internet) Computers and Society Algorithm Analysis and Problem Complexity |
| ISBN |
1-280-38708-4
9786613565006 3-642-13556-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design -- An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance -- Architectural Design Decisions for Achieving Reliable Software Systems -- Integrating Fault-Tolerant Techniques into the Design of Critical Systems -- Component Behavior Synthesis for Critical Systems, -- Verification and Validation -- A Road to a Formally Verified General-Purpose Operating System -- Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements -- Testing Fault Robustness of Model Predictive Control Algorithms -- Domain-Specific Results -- Towards Net-Centric Cyber Survivability for Ballistic Missile Defense -- A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines -- Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays -- Standards -- ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. |
| Record Nr. | UNISA-996465668203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil
| Component-Based Software Engineering [[electronic resource] ] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by Lars Grunske, Ralf H. Reussner, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 253 p. 78 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38673-8
9786613564658 3-642-13238-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple Failure Modes -- Comparison of Component Frameworks for Real-Time Embedded Systems -- A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks -- Bridging the Semantic Gap between Abstract Models of Embedded Systems -- Component-Based Adaptive Systems -- Reliable Dynamic Reconfigurations in a Reflective Component Model -- Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model -- Enabling on Demand Deployment of Middleware Services in Componentized Middleware -- A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution -- Component Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case Study -- Automated Creation and Assessment of Component Adapters with Test Cases -- An Empirical Study of the Component Dependency Resolution Search Space -- Composition and (De)-composition of Component-Based Systems -- Component Composition Using Feature Models -- Restructuring Object-Oriented Applications into Component-Oriented Applications by Using Consistency with Execution Traces -- (Behavioural) Design Patterns as Composition Operators. |
| Record Nr. | UNISA-996465845603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Research into Practice - Reality and Gaps [[electronic resource] ] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by George Heineman, Jan Kofron, Frantisek Plasil
| Research into Practice - Reality and Gaps [[electronic resource] ] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings / / edited by George Heineman, Jan Kofron, Frantisek Plasil |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 183 p. 66 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer logic Application software Software Engineering/Programming and Operating Systems Computer Communication Networks Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs Information Systems Applications (incl. Internet) |
| ISBN |
1-280-38742-4
9786613565341 3-642-13821-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of the Keynotes -- Intrinsic Definition in Software Architecture Evolution -- A Component-Based Approach to Adaptive User-Centric Pervasive Applications -- Model-Driven Analysis -- Validating Model-Driven Performance Predictions on Random Software Systems -- Statistical Inference of Software Performance Models for Parametric Performance Completions -- Parameterized Reliability Prediction for Component-Based Software Architectures -- Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems -- Quality of Service Adaptation -- QoS Driven Dynamic Binding in-the-many -- A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems -- Using QoS-Contracts to Drive Architecture-Centric Self-adaptation -- Case Studies and Experience Reports -- Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users -- Barriers to Modularity - An Empirical Study to Assess the Potential for Modularisation of Java Programs -- Evaluating Maintainability with Code Metrics for Model-to-Model Transformations -- Good Architecture = Good (ADL + Practices). |
| Record Nr. | UNISA-996465587603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
