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 |
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 |
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 |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Boston, : Artech House, c2002 |
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, c2002 | ||
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 |
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 |
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 : 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 |
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 | ||
|
Component-Based Software Engineering : 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. | UNINA-9910768173103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 16th International Workshop on Component-Oriented Programming |
Autore | Crnkovic Ivica |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
Descrizione fisica | 1 online resource (48 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
ISBN | 1-4503-0726-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | WCOP '11 |
Record Nr. | UNINA-9910376524803321 |
Crnkovic Ivica | ||
[Place of publication not identified], : ACM, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|