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.
Formal Methods for Software Architectures [[electronic resource] ] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / / edited by Marco Bernardo, Paola Inverardi
| Formal Methods for Software Architectures [[electronic resource] ] : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / / edited by Marco Bernardo, Paola Inverardi |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VII, 289 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-39800-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events -- From System Goals to Software Architecture -- Software Architecture Modeling & Analysis: A Rigorous Approach -- The Application of Dependence Analysis to Software Architecture Descriptions -- Validating Distributed Object and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing Software Architectures -- Architecture Based Evolution of Software Systems -- Software Architecture for Mobile Computing -- Performance Evaluation at the Software Architecture Level -- Software Architecture and Dependability. |
| Record Nr. | UNISA-996466119503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / / edited by Marco Bernardo, Paola Inverardi
| Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures / / edited by Marco Bernardo, Paola Inverardi |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VII, 289 p.) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-39800-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events -- From System Goals to Software Architecture -- Software Architecture Modeling & Analysis: A Rigorous Approach -- The Application of Dependence Analysis to Software Architecture Descriptions -- Validating Distributed Object and Component Designs -- Software Architecture for Correct Components Assembly -- Formal Methods in Testing Software Architectures -- Architecture Based Evolution of Software Systems -- Software Architecture for Mobile Computing -- Performance Evaluation at the Software Architecture Level -- Software Architecture and Dependability. |
| Record Nr. | UNINA-9910145910503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / / edited by José Fiadeiro, Paola Inverardi
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / / edited by José Fiadeiro, Paola Inverardi |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 434 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN | 3-540-78743-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). |
| Record Nr. | UNISA-996466066503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / / edited by José Fiadeiro, Paola Inverardi
| Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / / edited by José Fiadeiro, Paola Inverardi |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 434 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN | 3-540-78743-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements and Architectures -- Deriving Non-zeno Behavior Models from Goal Models Using ILP -- What’s in a Feature: A Requirements Engineering Perspective -- Formal Approach to Integrating Feature and Architecture Models -- Models, Model Transformations I -- Correctness-Preserving Configuration of Business Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model Simulators to Analysis Models -- Conceptual Models, UML -- Orthographic Modeling Environment -- HOL-OCL: A Formal Proof Environment for uml/ocl -- Towards Faithful Model Extraction Based on Contexts -- Leveraging Patterns on Domain Models to Improve UML Profile Definition -- Service Engineering/Adaptable Services -- When Things Go Wrong: Interrupting Conversations -- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services -- Engineering Service Oriented Applications: From StPowla Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects -- Modelling and Verification of Timed Interaction and Migration -- A Model Checking Approach for Verifying COWS Specifications -- Verification and Testing II -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames -- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms -- Automated Analysis of Permission-Based Security Using UMLsec -- Objects and Components -- Software Quality Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference for State Machines Using Domains with Equality Tests -- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems -- Models, Model Transformations II -- Verification of Architectural Refactorings by Rule Extraction -- Formal Model-Driven Program Refactoring -- An Algebraic Semantics for MOF -- A Formal Framework for Developing Adaptable Service-Based Applications -- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications -- Clint: A Composition Language Interpreter (Tool Paper). |
| Record Nr. | UNINA-9910484413103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11) : Helsinki, Finland, September 1-5, 2003
| Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11) : Helsinki, Finland, September 1-5, 2003 |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM Press, 2003 |
| Descrizione fisica | 1 online resource (394 p.;) |
| Disciplina | 005.1 |
| Collana | ACM Conferences |
| Soggetto topico |
Software engineering
Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ESEC/FSE-11 |
| Record Nr. | UNINA-9910375844103321 |
| [Place of publication not identified], : ACM Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Architecture [[electronic resource] ] : 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / / edited by Tomas Bures, Laurence Duchien, Paola Inverardi
| Software Architecture [[electronic resource] ] : 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / / edited by Tomas Bures, Laurence Duchien, Paola Inverardi |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 281 p. 92 illus., 36 illus. in color.) |
| Disciplina | 005.12 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Logic design Computers Computer system failures Software Engineering Logic Design Computing Milieux System Performance and Evaluation |
| ISBN | 3-030-29983-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Services and Micro-services -- Guiding Architectural Decision Making on Service Mesh Based Microservice Architectures -- Supporting Architectural Decision Making on Data Management in Microservice Architectures -- From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts -- Software Architecture in Development Process -- An Exploratory Study of Naturalistic Decision Making in Complex Software Architecture Environments -- Evaluating the Effectiveness of Multi-level Greedy Modularity Clustering for Software Architecture Recovery -- What Quality Attributes Can we Find in Product Backlogs? A Machine Learning Perspective -- Architecturing Elastic Edge Storage Services for Data-Driven Decision Making -- Adaptation and Design Space Exploration -- Continuous Adaptation Management in Collective Intelligence Systems -- ADOOPLA – Product-Line- and Product-Level PLA Optimization -- Assessing Adaptability of Software Architectures for Cyber Physical Production Systems -- Quality Attributes -- Optimising Architectures for Performance, Cost, and Security -- QoS-based Formation of Software Architectures in the Internet of Things -- A Survey on Big Data Analytics Solutions Deployment -- Assessing the Quality Impact of Features in Component-based Software Architectures -- Components and Design Alternatives in E-Assessment Systems -- Industry track -- A Four-Layer Architecture Pattern for Constructing and Managing Digital Twins -- Tool Support for the Migration to Microservice Architecture: An Industrial Case Study -- ACE: Easy Deployment of Field Optimization Experiments. |
| Record Nr. | UNISA-996466310803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Architecture : 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / / edited by Tomas Bures, Laurence Duchien, Paola Inverardi
| Software Architecture : 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / / edited by Tomas Bures, Laurence Duchien, Paola Inverardi |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXII, 281 p. 92 illus., 36 illus. in color.) |
| Disciplina | 005.12 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Logic design Computers Computer system failures Software Engineering Logic Design Computing Milieux System Performance and Evaluation |
| ISBN | 3-030-29983-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Services and Micro-services -- Guiding Architectural Decision Making on Service Mesh Based Microservice Architectures -- Supporting Architectural Decision Making on Data Management in Microservice Architectures -- From a Monolith to a Microservices Architecture: An Approach Based on Transactional Contexts -- Software Architecture in Development Process -- An Exploratory Study of Naturalistic Decision Making in Complex Software Architecture Environments -- Evaluating the Effectiveness of Multi-level Greedy Modularity Clustering for Software Architecture Recovery -- What Quality Attributes Can we Find in Product Backlogs? A Machine Learning Perspective -- Architecturing Elastic Edge Storage Services for Data-Driven Decision Making -- Adaptation and Design Space Exploration -- Continuous Adaptation Management in Collective Intelligence Systems -- ADOOPLA – Product-Line- and Product-Level PLA Optimization -- Assessing Adaptability of Software Architectures for Cyber Physical Production Systems -- Quality Attributes -- Optimising Architectures for Performance, Cost, and Security -- QoS-based Formation of Software Architectures in the Internet of Things -- A Survey on Big Data Analytics Solutions Deployment -- Assessing the Quality Impact of Features in Component-based Software Architectures -- Components and Design Alternatives in E-Assessment Systems -- Industry track -- A Four-Layer Architecture Pattern for Constructing and Managing Digital Twins -- Tool Support for the Migration to Microservice Architecture: An Industrial Case Study -- ACE: Easy Deployment of Field Optimization Experiments. |
| Record Nr. | UNINA-9910349300103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering Education in the Modern Age [[electronic resource] ] : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / / edited by Paola Inverardi, Mehdi Jazayeri
| Software Engineering Education in the Modern Age [[electronic resource] ] : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / / edited by Paola Inverardi, Mehdi Jazayeri |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 208 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Education—Data processing Computers and civilization Software Engineering/Programming and Operating Systems Computers and Education Computers and Society |
| ISBN | 3-540-68204-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Software Engineering Education -- Reflections on Software Engineering Education -- Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering -- State of the Art and Practice: Creativity and Rigor -- Deciding What to Design: Closing a Gap in Software Engineering Education -- A Pedagogical View on Software Modeling and Graph-Structured Diagrams -- Do Students Recognize Ambiguity in Software Specifications? A Multi-national, Multi-institutional Report -- The Groupthink Specification Exercise -- Challenges for Industries and Academia -- The Making of a Software Engineer -- The Challenges of Software Engineering Education -- Future Directions -- A Strategy for Content Reusability with Product Lines Derived from Experience in Online Education -- Informatics: A Novel, Contextualized Approach to Software Engineering Education -- Software Engineering Education in the Era of Outsourcing, Distributed Development, and Open Source Software: Challenges and Opportunities -- On the Education of Future Software Engineers. |
| Record Nr. | UNISA-996466111303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering Education in the Modern Age : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / / edited by Paola Inverardi, Mehdi Jazayeri
| Software Engineering Education in the Modern Age : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures / / edited by Paola Inverardi, Mehdi Jazayeri |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 208 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Education—Data processing Computers and civilization Software Engineering/Programming and Operating Systems Computers and Education Computers and Society |
| ISBN | 3-540-68204-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Software Engineering Education -- Reflections on Software Engineering Education -- Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering -- State of the Art and Practice: Creativity and Rigor -- Deciding What to Design: Closing a Gap in Software Engineering Education -- A Pedagogical View on Software Modeling and Graph-Structured Diagrams -- Do Students Recognize Ambiguity in Software Specifications? A Multi-national, Multi-institutional Report -- The Groupthink Specification Exercise -- Challenges for Industries and Academia -- The Making of a Software Engineer -- The Challenges of Software Engineering Education -- Future Directions -- A Strategy for Content Reusability with Product Lines Derived from Experience in Online Education -- Informatics: A Novel, Contextualized Approach to Software Engineering Education -- Software Engineering Education in the Era of Outsourcing, Distributed Development, and Open Source Software: Challenges and Opportunities -- On the Education of Future Software Engineers. |
| Record Nr. | UNINA-9910483969703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering for Self-Adaptive Systems [[electronic resource] /] / edited by Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee
| Software Engineering for Self-Adaptive Systems [[electronic resource] /] / edited by Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 261 p.) |
| Disciplina | 629.836 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer simulation Artificial intelligence Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Simulation and Modeling Artificial Intelligence |
| ISBN | 3-642-02161-1 |
| Classificazione |
DAT 310f
DAT 815f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1: Research Roadmap -- Software Engineering for Self-Adaptive Systems: A Research Roadmap -- Modeling Dimensions of Self-Adaptive Software Systems -- Engineering Self-Adaptive Systems through Feedback Loops -- 2: Architecture-Based Self-Adaptation -- Improving Architecture-Based Self-Adaptation through Resource Prediction -- Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies -- A Case Study in Goal-Driven Architectural Adaptation -- 3: Context-Aware and Model-Driven Self-Adaptation -- Model-Centric, Context-Aware Software Adaptation -- Modeling of Context-Aware Self-Adaptive Applications in Ubiquitous and Service-Oriented Environments -- MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments -- Using Architecture Models to Support the Generation and Operation of Component-Based Adaptive Systems -- Model-Driven Assessment of QoS-Aware Self-Adaptation -- 4: Self-Healing -- Automatic Generation of Runtime Failure Detectors from Property Templates -- Using Filtered Cartesian Flattening and Microrebooting to Build Enterprise Applications with Self-adaptive Healing. |
| Record Nr. | UNISA-996465599603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
