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.
The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering : Companion Papers
| The 6th Joint Meeting on European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering : Companion Papers |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2007 |
| Descrizione fisica | 1 online resource (189 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | ESEC/FSE 2007 |
| Record Nr. | UNINA-9910376399203321 |
| [Place of publication not identified], : ACM, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Building reliable component-based software systems / / Ivica Crnkovic, Magnus Larsson, editors
| Building reliable component-based software systems / / Ivica Crnkovic, Magnus Larsson, editors |
| Pubbl/distr/stampa | Boston : , : Artech House, , ©2002 |
| Descrizione fisica | 1 online resource (451 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
CrnkovicIvica
LarssonMagnus <1969-> (Magnus Peter Henrik) |
| Collana | Artech House computing library |
| Soggetto topico |
Component software - Reliability
Software engineering |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-58053-558-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Engineering -- Challenges of CBSE -- Components in Reliable Systems -- The Definition and Specification of Components -- Basic Concepts in CBSE -- Components -- Different Component Definitions -- Objects and Components -- Interfaces -- Contracts -- |
| Record Nr. | UNINA-9910456051203321 |
| Boston : , : Artech House, , ©2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Building reliable component-based software systems / / Ivica Crnkovic, Magnus Larsson, editors
| Building reliable component-based software systems / / Ivica Crnkovic, Magnus Larsson, editors |
| Pubbl/distr/stampa | Boston : , : Artech House, , ©2002 |
| Descrizione fisica | 1 online resource (451 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
CrnkovicIvica
LarssonMagnus <1969-> (Magnus Peter Henrik) |
| Collana | Artech House computing library |
| Soggetto topico |
Component software - Reliability
Software engineering |
| ISBN | 1-58053-558-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Engineering -- Challenges of CBSE -- Components in Reliable Systems -- The Definition and Specification of Components -- Basic Concepts in CBSE -- Components -- Different Component Definitions -- Objects and Components -- Interfaces -- Contracts -- |
| Record Nr. | UNINA-9910780158303321 |
| Boston : , : Artech House, , ©2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Building reliable component-based software systems / / Ivica Crnkovic, Magnus Larsson, editors
| Building reliable component-based software systems / / Ivica Crnkovic, Magnus Larsson, editors |
| Pubbl/distr/stampa | Boston : , : Artech House, , ©2002 |
| Descrizione fisica | 1 online resource (451 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
CrnkovicIvica
LarssonMagnus <1969-> (Magnus Peter Henrik) |
| Collana | Artech House computing library |
| Soggetto topico |
Component software - Reliability
Software engineering |
| ISBN | 1-58053-558-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Engineering -- Challenges of CBSE -- Components in Reliable Systems -- The Definition and Specification of Components -- Basic Concepts in CBSE -- Components -- Different Component Definitions -- Objects and Components -- Interfaces -- Contracts -- |
| Record Nr. | UNINA-9910810549703321 |
| Boston : , : Artech House, , ©2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CompArch'11 : proceedings of the 2011 Federated Events on Component-Based Software Engineering & Software Architecture : CBSE'11, WCOP'11, and QoSA+ISARCS'11, June 20-24, 2011, Boulder, Colorado, USA
| CompArch'11 : proceedings of the 2011 Federated Events on Component-Based Software Engineering & Software Architecture : CBSE'11, WCOP'11, and QoSA+ISARCS'11, June 20-24, 2011, Boulder, Colorado, USA |
| Autore | Crnkovic Ivica |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (204 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0723-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
CompArch'11 : proceedings of the 2011 Federated Events on Component-Based Software Engineering and Software Architecture : CBSE'11, WCOP'11, and QoSA+ISARCS'11, June 20-24, 2011, Boulder, Colorado, United States of America
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering Comparch '11 Federated Events on Component-Based Software Engineering and Software Architecture, Boulder, CO, USA-June 20-24, 2011 |
| Record Nr. | UNINA-9910376525403321 |
Crnkovic Ivica
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / / edited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
| Component-Based Software Engineering [[electronic resource] ] : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / / edited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-35629-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions -- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine Architecture -- Architectural Building Blocks for Plug-and-Play System Design -- A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software Architectures with an Aspect-Oriented Architecture Description Language -- A Component Model Engineered with Components and Aspects -- CBSE in Small and Medium-Sized Enterprise: Experience Report -- Supervising Distributed Black Boxes -- Generic Component Lookup -- Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype Tool for Software Component Services in Embedded Real-Time Systems -- Service Policy Enhancements for the OSGi Service Platform -- A Process for Resolving Performance Trade-Offs in Component-Based Architectures -- A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems -- Impact of Virtual Memory Managers on Performance of J2EE Applications -- On-Demand Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short Papers -- Defining “Predictable Assembly” -- A Tool to Generate an Adapter for the Integration of Web Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models -- MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications -- Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring -- Towards Encapsulating Data in Component-Based Software Systems -- Virtualization of Service Gateways in Multi-provider Environments. |
| Record Nr. | UNISA-996465750403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / / edited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
| Component-Based Software Engineering : 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings / / edited by Ian Gorton, George T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Computer communication systems Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks |
| ISBN | 3-540-35629-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions -- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System -- Verification of Component-Based Software Application Families -- Multi Criteria Selection of Components Using the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine Architecture -- Architectural Building Blocks for Plug-and-Play System Design -- A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software Architectures with an Aspect-Oriented Architecture Description Language -- A Component Model Engineered with Components and Aspects -- CBSE in Small and Medium-Sized Enterprise: Experience Report -- Supervising Distributed Black Boxes -- Generic Component Lookup -- Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture -- A Formal Component Framework for Distributed Embedded Systems -- A Prototype Tool for Software Component Services in Embedded Real-Time Systems -- Service Policy Enhancements for the OSGi Service Platform -- A Process for Resolving Performance Trade-Offs in Component-Based Architectures -- A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems -- Impact of Virtual Memory Managers on Performance of J2EE Applications -- On-Demand Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short Papers -- Defining “Predictable Assembly” -- A Tool to Generate an Adapter for the Integration of Web Services Interface -- A QoS Driven Development Process Model for Component-Based Software Systems -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access to Services in Hierarchical Component Models -- MaDcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications -- Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring -- Towards Encapsulating Data in Component-Based Software Systems -- Virtualization of Service Gateways in Multi-provider Environments. |
| Record Nr. | UNINA-9910483076403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / / edited by George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
| Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / / edited by George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 360 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prediction, Analysis and Monitoring of System Architecture -- Performance Prediction of J2EE Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise JavaBeans -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing Resource Usage in Component-Based Real-Time Systems -- Evaluating Performance Attributes of Layered Software Architecture -- Component-Level Dataflow Analysis -- Architecture and Design of Component-Based Systems -- Exogenous Connectors for Software Components -- Qinna, a Component-Based QoS Architecture -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component-Based Open Middleware Supporting Aspect-Oriented Software Composition -- An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic -- Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based Systems -- A Contracting System for Hierarchical Components -- Tailored Responsibility Within Component-Based Systems -- Efficient Upgrading in a Purely Functional Component Deployment Model -- Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models -- A Component-Oriented Model for the Design of Safe Multi-threaded Applications -- TeStor: Deriving Test Sequences from Model-Based Specifications -- Components at Work -- A CCA-compliant Nuclear Power Plant Simulator Kernel -- Experience with Component-Based Development of a Telecommunication Service -- Reusable Dialog Component Framework for Rapid Voice Application Development -- Unlocking the Grid -- Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services. |
| Altri titoli varianti | CBSE'05 |
| Record Nr. | UNINA-9910484818203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / / edited by George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
| Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 / / edited by George Heineman, Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 360 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prediction, Analysis and Monitoring of System Architecture -- Performance Prediction of J2EE Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise JavaBeans -- Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations -- Optimizing Resource Usage in Component-Based Real-Time Systems -- Evaluating Performance Attributes of Layered Software Architecture -- Component-Level Dataflow Analysis -- Architecture and Design of Component-Based Systems -- Exogenous Connectors for Software Components -- Qinna, a Component-Based QoS Architecture -- Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles -- Component-Based Open Middleware Supporting Aspect-Oriented Software Composition -- An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic -- Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based Systems -- A Contracting System for Hierarchical Components -- Tailored Responsibility Within Component-Based Systems -- Efficient Upgrading in a Purely Functional Component Deployment Model -- Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models -- A Component-Oriented Model for the Design of Safe Multi-threaded Applications -- TeStor: Deriving Test Sequences from Model-Based Specifications -- Components at Work -- A CCA-compliant Nuclear Power Plant Simulator Kernel -- Experience with Component-Based Development of a Telecommunication Service -- Reusable Dialog Component Framework for Rapid Voice Application Development -- Unlocking the Grid -- Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services. |
| Altri titoli varianti | CBSE'05 |
| Record Nr. | UNISA-996465720503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / / edited by Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau
| Component-Based Software Engineering [[electronic resource] ] : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings / / edited by Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt, Kurt Wallnau |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 312 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN |
1-280-30753-6
9786610307531 3-540-24774-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Putting Change at the Center of the Software Process -- Interface Specification: A Balancing Act -- Generation and Adaptation of Component-Based Systems -- An Open Component Model and Its Support in Java -- Software Architectural Support for Disconnected Operation in Highly Distributed Environments -- Using Smart Connectors to Resolve Partial Matching Problems in COTS Component Acquisition -- Correctness of Component-Based Adaptation -- Strategies for a Component-Based Self-adaptability Model in Peer-to-Peer Architectures -- Tools and Building Framework -- Classifying Software Component Interoperability Errors to Support Component Adaption -- Correct Components Assembly for a Product Data Management Cooperative System -- The Release Matrix for Component-Based Software Systems -- Viewpoints for Specifying Component-Based Systems -- CMEH: Container Managed Exception Handling for Increased Assembly Robustness -- A Framework for Constructing Adaptive Component-Based Applications: Concepts and Experiences -- Testing Framework Components -- Components for Real-Time Embedded Systems -- Industrial Requirements on Component Technologies for Embedded Systems -- Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems -- Design Accompanying Analysis of Component-Based Embedded Software -- Introducing a Component Technology for Safety Critical Embedded Real-Time Systems -- A Hierarchical Framework for Component-Based Real-Time Systems -- Extra-Funtional Properties of Components and Component-Based Systems -- Extra-Functional Contract Support in Components -- CB-SPE Tool: Putting Component-Based Performance Engineering into Practice -- Component Technology and QoS Management -- Computational Quality of Service for Scientific Components -- A Framework for Reliability Assessment of Software Components -- Measurements and Prediction Models for Component Assemblies -- Performance Prediction for Component Compositions -- TESTEJB – A Measurement Framework for EJBs -- Model-Based Transaction Service Configuration for Component-Based Development. |
| Record Nr. | UNISA-996465403103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
