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 II [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting Dependable Systems II [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 350 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Software Engineering Operating Systems |
| ISBN |
9783540259392
3-540-25939-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Architectures for Dependability -- Enhancing Dependability Through Flexible Adaptation to Changing Requirements -- A Self-optimizing Run-Time Architecture for Configurable Dependability of Services -- Achieving Critical System Survivability Through Software Architectures -- Reliability Support for the Model Driven Architecture -- Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service -- 2. Fault Tolerance in Software Architectures -- Architecting Distributed Control Applications Based on (Re-)Configurable Middleware -- A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers -- A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model and a Design Approach to Building QoS Adaptive Systems -- 3. Dependability Analysis in Software Architectures -- Quantifiable Software Architecture for Dependable Systems of Systems -- Dependability Modeling of Self-healing Client-Server Applications -- Multi-view Software Component Modeling for Dependability -- 4. Industrial Experiences -- A Dependable Open Platform for Industrial Robotics – A Case Study -- Model Driven Architecture – An Industry Perspective. |
| Record Nr. | UNISA-996465493003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Dependable Systems II / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting Dependable Systems II / / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 350 p.) |
| Disciplina | 004.2/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Operating systems (Computers) Software Engineering Operating Systems |
| ISBN |
9783540259392
3-540-25939-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Architectures for Dependability -- Enhancing Dependability Through Flexible Adaptation to Changing Requirements -- A Self-optimizing Run-Time Architecture for Configurable Dependability of Services -- Achieving Critical System Survivability Through Software Architectures -- Reliability Support for the Model Driven Architecture -- Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service -- 2. Fault Tolerance in Software Architectures -- Architecting Distributed Control Applications Based on (Re-)Configurable Middleware -- A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers -- A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems -- On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers -- A Model and a Design Approach to Building QoS Adaptive Systems -- 3. Dependability Analysis in Software Architectures -- Quantifiable Software Architecture for Dependable Systems of Systems -- Dependability Modeling of Self-healing Client-Server Applications -- Multi-view Software Component Modeling for Dependability -- 4. Industrial Experiences -- A Dependable Open Platform for Industrial Robotics – A Case Study -- Model Driven Architecture – An Industry Perspective. |
| Record Nr. | UNINA-9910144156203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architecting Dependable Systems III [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky
| Architecting Dependable Systems III [[electronic resource] /] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 343 p.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Operating systems (Computers) Theory of Computation Software Engineering Operating Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Architectures for Dependable Services -- Semantics-Aware Services for the Mobile Computing Environment -- The Role of Agreements in IT Management Software -- Toward Undoing in Composite Web Services -- Architecting Web Services Applications for Improving Availability -- Dependable Composite Web Services with Components Upgraded Online -- 2. Monitoring and Reconfiguration in Software Architectures -- Adaptable Analysis of Dependable System Architectures Through Monitoring -- Runtime Verification of Statechart Implementations -- A Framework for Ensuring and Improving Dependability in Highly Distributed Systems -- Enabling Safe Dynamic Component-Based Software Adaptation -- 3. Dependability Support for Software Architectures -- Architecting and Implementing Versatile Dependability -- A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers -- 4. Architectural Evaluation -- Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes -- Architecture-Based Reliability Prediction for Service-Oriented Computing -- Fault Injection Approach Based on Architectural Dependencies -- 5. Architectural Abstractions for Dependability -- Problem Structure and Dependable Architecture -- The Lost Art of Abstraction. |
| Record Nr. | UNISA-996465618403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek
| Architecting Dependable Systems VI [[electronic resource] /] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 335 p.) |
| Disciplina | 004.22 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Special purpose computers Computer system failures Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Computer Systems Organization and Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Operating Systems |
| ISBN | 3-642-10248-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable, Consistent and Highly Available Multi-Tier Service-Oriented Infrastructures -- Towards Self-adaptation for Dependable Service-Oriented Systems -- Architecting Dependable Access Control Systems for Multi-domain Computing Environments -- Soft Constraints for Dependable Service Oriented Architectures -- Robustness Validation in Service-Oriented Architectures -- 2. Fault Tolerance and System Evaluation -- A Self-repair Architecture for Cluster Systems -- Handling Software Faults with Redundancy -- A Uniform Approach to Security and Fault-Tolerance Specification and Analysis -- A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation -- 3. Architecting Security -- Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems -- Architecting Security with Paradigm -- Trust-Based and Context-Aware Authentication in a Software Architecture for Context and Proximity-Aware Services -- Compositional Verification of Architectural Refactorings. |
| Record Nr. | UNISA-996465641703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Architecting Dependable Systems VII [[electronic resource] /] / edited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek
| Architecting Dependable Systems VII [[electronic resource] /] / edited by Antonio Casimiro, Rogério de Lemos, Cristina Gacek |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 324 p. 101 illus.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Computers Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Models and Principles |
| ISBN |
1-280-39044-1
9786613568366 3-642-17245-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Mobile and Ubiquitous Systems -- Self-healing for Pervasive Computing Systems -- Self Organization and Self Maintenance of Mobile Ad Hoc Networks through Dynamic Topology Control -- Data Backup for Mobile Nodes: A Cooperative Middleware and an Experimentation Platform -- 2. Architecting Systems -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing Reliability: The Interaction of Requirements, Tactics and Architecture Patterns -- A Framework for Flexible and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation of Aerospace Systems -- 3. Fault Management -- Architecting Dependable Systems with Proactive Fault Management -- ASDF: An Automated, Online Framework for Diagnosing Performance Problems -- 4. Experience and Vision -- Is Collaborative QoS the Solution to the SOA Dependability Dilemma? -- Software Assumptions Failure Tolerance: Role, Strategies, and Visions -- Architecting Dependable Systems Using Reflective Computing: Lessons Learnt and Some Challenges -- Architecting and Validating Dependable Systems: Experiences and Visions. |
| Record Nr. | UNISA-996465696703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Reuse: Methods, Techniques, and Tools [[electronic resource] ] : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings / / edited by Cristina Gacek
| Software Reuse: Methods, Techniques, and Tools [[electronic resource] ] : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings / / edited by Cristina Gacek |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 356 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Computer programming Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Programming Techniques |
| ISBN | 3-540-46020-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integrating and Reusing GUI-Driven Applications -- Source Tree Composition -- Layered Development with (Unix) Dynamic Libraries -- Early-Reply Components: Concurrent Execution with Sequential Reasoning -- Concepts and Guidelines of Feature Modeling for Product Line Software Engineering -- Domain Modeling for World Wide Web Based Software Product Lines with UML -- Enhancing Component Reusability through Product Line Technology -- Modeling Variability with the Variation Point Model -- Reusing Open-Source Software and Practices: The Impact of Open-Source on Commercial Vendors -- Integrating Reference Architecture Definition and Reuse Investment Planning -- Control Localization in Domain Specific Translation -- Model Reuse with Metamodel-Based Transformations -- Generation of Text Search Applications for Databases. An Exercise on Domain Engineering -- Domain Networks in the Software Development Process -- Supporting Reusable Use Cases -- Project Management Knowledge Reuse through Scenario Models -- Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse -- Improving Hazard Classification through the Reuse of Descriptive Arguments -- Service Oriented Programming: A New Paradigm of Software Reuse -- An Empirical User Study of an Active Reuse Repository System -- Towards the Formalization of a Reusability Framework for Refactoring -- Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies -- Software Fortresses -- The Case against a Grand Unification Theory -- ICSR7 Young Researchers Workshop -- International Workshop on Reuse Economics -- Workshop on Generative Programming 2002 (GP2002) -- ICSR7 Workshop on Component-Based Software Development Processes -- Industrial Experience with Product Line Approaches -- Workshop on Software Reuse and Agile Approaches -- Software Architecture Quality Analysis Methods -- Tutorial on Practical Product Line Scoping and Modeling -- Transformation Systems: Generative Reuse for Software Generation, Maintenance and Reengineering -- Component-Based Product-Line Engineering with the UML -- Building Reusable Test Assets for a Product Line -- Architecture-Centric Software Engineering -- Practical Strategies and Techniques for Adopting Software Product Lines -- Generative Programming: Methods, Techniques, and Applications Tutorial Abstract. |
| Record Nr. | UNISA-996465415103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Reuse: Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings / / edited by Cristina Gacek
| Software Reuse: Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002. Proceedings / / edited by Cristina Gacek |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 356 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Computer programming Software Engineering/Programming and Operating Systems Software Engineering Management of Computing and Information Systems Programming Techniques |
| ISBN | 3-540-46020-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Integrating and Reusing GUI-Driven Applications -- Source Tree Composition -- Layered Development with (Unix) Dynamic Libraries -- Early-Reply Components: Concurrent Execution with Sequential Reasoning -- Concepts and Guidelines of Feature Modeling for Product Line Software Engineering -- Domain Modeling for World Wide Web Based Software Product Lines with UML -- Enhancing Component Reusability through Product Line Technology -- Modeling Variability with the Variation Point Model -- Reusing Open-Source Software and Practices: The Impact of Open-Source on Commercial Vendors -- Integrating Reference Architecture Definition and Reuse Investment Planning -- Control Localization in Domain Specific Translation -- Model Reuse with Metamodel-Based Transformations -- Generation of Text Search Applications for Databases. An Exercise on Domain Engineering -- Domain Networks in the Software Development Process -- Supporting Reusable Use Cases -- Project Management Knowledge Reuse through Scenario Models -- Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse -- Improving Hazard Classification through the Reuse of Descriptive Arguments -- Service Oriented Programming: A New Paradigm of Software Reuse -- An Empirical User Study of an Active Reuse Repository System -- Towards the Formalization of a Reusability Framework for Refactoring -- Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies -- Software Fortresses -- The Case against a Grand Unification Theory -- ICSR7 Young Researchers Workshop -- International Workshop on Reuse Economics -- Workshop on Generative Programming 2002 (GP2002) -- ICSR7 Workshop on Component-Based Software Development Processes -- Industrial Experience with Product Line Approaches -- Workshop on Software Reuse and Agile Approaches -- Software Architecture Quality Analysis Methods -- Tutorial on Practical Product Line Scoping and Modeling -- Transformation Systems: Generative Reuse for Software Generation, Maintenance and Reengineering -- Component-Based Product-Line Engineering with the UML -- Building Reusable Test Assets for a Product Line -- Architecture-Centric Software Engineering -- Practical Strategies and Techniques for Adopting Software Product Lines -- Generative Programming: Methods, Techniques, and Applications Tutorial Abstract. |
| Record Nr. | UNINA-9910143909603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||