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.
Architectures for Adaptive Software Systems [[electronic resource] ] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister
| Architectures for Adaptive Software Systems [[electronic resource] ] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Algorithms Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-02351-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Driven Quality Analysis -- A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems -- Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems -- Automated Architecture Consistency Checking for Model Driven Software Development -- Architectural Performance Prediction -- Improved Feedback for Architectural Performance Prediction Using Software Cartography Visualizations -- Predicting Performance Properties for Open Systems with KAMI -- Compositional Prediction of Timed Behaviour for Process Control Architecture -- Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines -- Architectural Knowledge -- Achieving Agility through Architecture Visibility -- Successful Architectural Knowledge Sharing: Beware of Emotions -- Toward a Catalogue of Architectural Bad Smells -- Case Studies and Experience Reports -- On the Consolidation of Data-Centers with Performance Constraints -- Evolving Industrial Software Architectures into a Software Product Line: A Case Study -- Adaptive Application Composition in Quantum Chemistry. |
| Record Nr. | UNINA-9910485008703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Architectures for Adaptive Software Systems [[electronic resource] ] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister
| Architectures for Adaptive Software Systems [[electronic resource] ] : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Raffaela Mirandola, Ian Gorton, Christine Hofmeister |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 213 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer logic Algorithms Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity |
| ISBN | 3-642-02351-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model-Driven Quality Analysis -- A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems -- Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems -- Automated Architecture Consistency Checking for Model Driven Software Development -- Architectural Performance Prediction -- Improved Feedback for Architectural Performance Prediction Using Software Cartography Visualizations -- Predicting Performance Properties for Open Systems with KAMI -- Compositional Prediction of Timed Behaviour for Process Control Architecture -- Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines -- Architectural Knowledge -- Achieving Agility through Architecture Visibility -- Successful Architectural Knowledge Sharing: Beware of Emotions -- Toward a Catalogue of Architectural Bad Smells -- Case Studies and Experience Reports -- On the Consolidation of Data-Centers with Performance Constraints -- Evolving Industrial Software Architectures into a Software Product Line: A Case Study -- Adaptive Application Composition in Quantum Chemistry. |
| Record Nr. | UNISA-996465537103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister
| Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 275 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer software—Reusability Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Performance and Reliability Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-02414-9 |
| Classificazione |
DAT 315f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
| Record Nr. | UNISA-996465527303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister
| Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 275 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer software—Reusability Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Performance and Reliability Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-02414-9 |
| Classificazione |
DAT 315f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
| Record Nr. | UNINA-9910483486303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quality of Software Architectures [[electronic resource] ] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner
| Quality of Software Architectures [[electronic resource] ] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 218 p.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer system failures Computer logic Computer communication systems Computers and civilization Software Engineering/Programming and Operating Systems System Performance and Evaluation Software Engineering Logics and Meanings of Programs Computer Communication Networks Computers and Society |
| ISBN | 3-540-48820-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of the Keynotes -- Expanding the Scope of Software Product Families: Problems and Alternative Approaches -- Composing with Style – Components Meet Architecture -- Abstracts of the Tutorials -- Documentation Principles and Practices That You Can Live with -- Model-Based Software Development with Eclipse -- Software Architecture Analysis and Evaluation -- Architecture Evaluation: Selecting Alternatives -- MEMS: A Method for Evaluating Middleware Architectures -- Evaluating Alternative COTS Assemblies from Imperfect Component Information -- Managing and Applying Architectural Knowledge -- Building Up and Reasoning About Architectural Knowledge -- Managing Architectural Design Decisions for Safety-Critical Software Systems -- Architectural Evaluation: Performance Prediction -- Runtime Prediction of Queued Behaviour -- Model Transformation in Software Performance Engineering -- Processes for Supporting Architecture Quality -- Traveling Architects – A New Way of Herding Cats -- A Practical Architecture-Centric Analysis Process -- Models for Architecture Evaluation -- Embedded Systems Architecture: Evaluation and Analysis -- Parameter Dependent Performance Specifications of Software Components -- Architectural Evaluation -- Applying the ATAM to an Architecture for Decentralized Control of a Transportation System -- Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. |
| Record Nr. | UNISA-996466058103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quality of Software Architectures [[electronic resource] ] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner
| Quality of Software Architectures [[electronic resource] ] : Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers / / edited by Christine Hofmeister, Ivica Crnkovic, Ralf H. Reussner |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 218 p.) |
| Disciplina | 004.2/2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer system failures Computer logic Computer communication systems Computers and civilization Software Engineering/Programming and Operating Systems System Performance and Evaluation Software Engineering Logics and Meanings of Programs Computer Communication Networks Computers and Society |
| ISBN | 3-540-48820-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstracts of the Keynotes -- Expanding the Scope of Software Product Families: Problems and Alternative Approaches -- Composing with Style – Components Meet Architecture -- Abstracts of the Tutorials -- Documentation Principles and Practices That You Can Live with -- Model-Based Software Development with Eclipse -- Software Architecture Analysis and Evaluation -- Architecture Evaluation: Selecting Alternatives -- MEMS: A Method for Evaluating Middleware Architectures -- Evaluating Alternative COTS Assemblies from Imperfect Component Information -- Managing and Applying Architectural Knowledge -- Building Up and Reasoning About Architectural Knowledge -- Managing Architectural Design Decisions for Safety-Critical Software Systems -- Architectural Evaluation: Performance Prediction -- Runtime Prediction of Queued Behaviour -- Model Transformation in Software Performance Engineering -- Processes for Supporting Architecture Quality -- Traveling Architects – A New Way of Herding Cats -- A Practical Architecture-Centric Analysis Process -- Models for Architecture Evaluation -- Embedded Systems Architecture: Evaluation and Analysis -- Parameter Dependent Performance Specifications of Software Components -- Architectural Evaluation -- Applying the ATAM to an Architecture for Decentralized Control of a Transportation System -- Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. |
| Record Nr. | UNINA-9910483380903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||