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 Systems with Trustworthy Components [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski
| Architecting Systems with Trustworthy Components [[electronic resource] ] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 299 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer programming Operating systems (Computers) Compilers (Computer programs) Software Engineering Computer Communication Networks Programming Techniques Operating Systems Compilers and Interpreters |
| ISBN | 3-540-35833-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Articles -- Audition of Web Services for Testing Conformance to Open Specified Protocols -- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation -- Making Specifications Complete Through Models -- Bus Scheduling for TDL Components -- Refinement and Consistency in Component Models with Multiple Views -- Articles by Participants -- A Taxonomy on Component-Based Software Engineering Methods -- Unifying Hardware and Software Components for Embedded System Development -- On the Composition of Compositional Reasoning -- Trustworthy Instantiation of Frameworks -- Performance Prediction of Component-Based Systems -- Towards an Engineering Approach to Component Adaptation -- Compatible Component Upgrades Through Smart Component Swapping -- Exceptions in Component Interaction Protocols – Necessity -- Coalgebraic Semantics for Component Systems -- A Type Theoretic Framework for Formal Metamodelling. |
| Record Nr. | UNISA-996465859203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 : 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 | ||
| ||
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
| 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
| 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 | ||
| ||
Proceedings of the Joint ACM SIGSOFT Conference -- QoSA and ACM SIGSOFT Symposium -- ISARCS on Quality of Software Architectures -- QoSA and Architecting Critical Systems -- ISARCS
| Proceedings of the Joint ACM SIGSOFT Conference -- QoSA and ACM SIGSOFT Symposium -- ISARCS on Quality of Software Architectures -- QoSA and Architecting Critical Systems -- ISARCS |
| Autore | Crnkovic Ivica |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (194 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-0724-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the Joint Association for Computing Machinery Special Interest Group on Software Engineering Conference -- Quality of Software Architectures and Association for Computing Machinery Special Interest Group on Software Engineering Symposium -- International Symposium on Architecting Critical Systems on Quality of Software Architectures -- Quality of Software Architectures and Architecting Critical Systems -- International Symposium on Architecting Critical Systems |
| Record Nr. | UNINA-9910376525303321 |
|
Crnkovic Ivica
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quality of Software Architectures and Software Quality [[electronic resource] ] : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / / edited by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder
| Quality of Software Architectures and Software Quality [[electronic resource] ] : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings / / edited by Ralf H. Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 294 p.) |
| Disciplina | 005.3 |
| 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 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Reexamining the Role of Interactions in Software Architecture -- Are Successful Test Cases Useless or Not? -- QoSA Long Papers -- DoSAM – Domain-Specific Software Architecture Comparison Model -- An Architecture-Centric Approach for Producing Quality Systems -- A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties -- Predicting Mean Service Execution Times of Software Components Based on Markov Models -- An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures -- Formal Definition of Metrics Upon the CORBA Component Model -- The Architect’s Dilemma – Will Reference Architectures Help? -- Architectural Reuse in Software Systems In-house Integration and Merge – Experiences from Industry -- Supporting Security Sensitive Architecture Design -- Exploring Quality Attributes Using Architectural Prototyping -- On the Estimation of Software Reliability of Component-Based Dependable Distributed Systems -- Empirical Evaluation of Model-Based Performance Prediction Methods in Software Development -- SOQUA Long Papers -- Automatic Test Generation for N-Way Combinatorial Testing -- Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software -- Automated Model-Based Testing of ? Simulation Models with TorX -- Jartege: A Tool for Random Generation of Unit Tests for Java Classes -- FlexTest: An Aspect-Oriented Framework for Unit Testing -- Quality Assurance in Performance: Evaluating Mono Benchmark Results. |
| Record Nr. | UNISA-996465846003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||