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.
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
| Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 351 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-540-87891-2 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component-Based Systems -- Towards Component-Based Design and Verification of a ?-Controller -- Run-Time Infrastructures -- ESCAPE: A Component-Based Policy Framework for Sense and React Applications -- Experiences from Developing a Component Technology Agnostic Adaptation Framework -- A Practical Approach for Finding Stale References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method for Identifying Business Components -- Life-Cycle Aware Modelling of Software Components -- A Component Selection Framework for COTS Libraries -- Opportunistic Reuse: Lessons from Scrapheap Software Development -- Component Models -- A Component Model for Control-Intensive Distributed Embedded Systems -- The CoSi Component Model: Reviving the Black-Box Nature of Components -- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. |
| Record Nr. | UNINA-9910483238503321 |
| Berlin : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors)
| Component-based software engineering : 11th international symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, proceedings / / Michel R.V. Chaudron, Clemens Szyperski, Ralf Reussner (editors) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XI, 351 p.) |
| Disciplina | 005.1 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-540-87891-2 |
| Classificazione | 54.52 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Engineering -- Automating Performance Analysis from Taverna Workflows -- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction -- Deploying Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems -- Formal Methods and Model Checking -- Synthesis of Connectors from Scenario-Based Interaction Specifications -- State Space Reduction Techniques for Component Interfaces -- Model Checking of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component-Based Systems -- Towards Component-Based Design and Verification of a ?-Controller -- Run-Time Infrastructures -- ESCAPE: A Component-Based Policy Framework for Sense and React Applications -- Experiences from Developing a Component Technology Agnostic Adaptation Framework -- A Practical Approach for Finding Stale References in a Dynamic Service Platform -- Methods of Design and Development -- Towards a Systematic Method for Identifying Business Components -- Life-Cycle Aware Modelling of Software Components -- A Component Selection Framework for COTS Libraries -- Opportunistic Reuse: Lessons from Scrapheap Software Development -- Component Models -- A Component Model for Control-Intensive Distributed Embedded Systems -- The CoSi Component Model: Reviving the Black-Box Nature of Components -- Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. |
| Record Nr. | UNISA-996466111603316 |
| Berlin : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Modular Programming Languages [[electronic resource] ] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / / edited by David Lightfoot, Clemens Szyperski
| Modular Programming Languages [[electronic resource] ] : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / / edited by David Lightfoot, Clemens Szyperski |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 418 p.) |
| Disciplina | 005.1/12 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Computer programming Software engineering Operating systems (Computers) Theory of Computation Compilers and Interpreters Programming Techniques Software Engineering Operating Systems Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-40928-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic Parameters in C++ -- Reconciling Virtual Classes with Genericity -- Oberon Script: A Lightweight Compiler and Runtime System for the Web -- Efficient Layer Activation for Switching Context-Dependent Behavior -- Object-Oriented Language Processing -- A Framework for Modular Linking in OO Languages -- Flexible Type-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization in Object-Oriented Languages -- A New Component-Oriented Programming Language with the First-Class Connector -- A Component Plug-In Architecture for the .NET Platform -- Improve Component-Based Programs with Connectors -- Automatic Object Colocation Based on Read Barriers -- Nearly Optimal Register Allocation with PBQP -- Fast Profile-Based Partial Redundancy Elimination -- The Dining Philosophers Problem Revisited -- A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus -- A Case Study in Concurrent Programming with Active Objects. |
| Record Nr. | UNISA-996466109903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings / / David E. Lightfoot, Clemens A. Szyperski (eds.)
| Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings / / David E. Lightfoot, Clemens A. Szyperski (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2006 |
| Descrizione fisica | 1 online resource (X, 418 p.) |
| Disciplina | 005.1/12 |
| Altri autori (Persone) |
LightfootDavid E. <1951->
SzyperskiClemens |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Modular programming
Programming languages (Electronic computers) |
| ISBN | 3-540-40928-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic Parameters in C++ -- Reconciling Virtual Classes with Genericity -- Oberon Script: A Lightweight Compiler and Runtime System for the Web -- Efficient Layer Activation for Switching Context-Dependent Behavior -- Object-Oriented Language Processing -- A Framework for Modular Linking in OO Languages -- Flexible Type-Safe Linking of Components for Java-Like Languages -- Towards a Formal Semantics for AspectJ Weaving -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A Component Language for Structured Parallel Programming -- Internal and External Token-Based Synchronization in Object-Oriented Languages -- A New Component-Oriented Programming Language with the First-Class Connector -- A Component Plug-In Architecture for the .NET Platform -- Improve Component-Based Programs with Connectors -- Automatic Object Colocation Based on Read Barriers -- Nearly Optimal Register Allocation with PBQP -- Fast Profile-Based Partial Redundancy Elimination -- The Dining Philosophers Problem Revisited -- A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus -- A Case Study in Concurrent Programming with Active Objects. |
| Altri titoli varianti | JMLC 2006 |
| Record Nr. | UNINA-9910484674403321 |
| Berlin ; ; New York, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Architecture: Proceedings, 4th Working IEEE/IFIP Conference, Oslo, Norway, 2004
| Software Architecture: Proceedings, 4th Working IEEE/IFIP Conference, Oslo, Norway, 2004 |
| Autore | Magee Jeff |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2004 |
| Disciplina | 004.2/2 |
| Altri autori (Persone) |
MageeJeff <1952->
SzyperskiClemens BoschJan |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996199770303316 |
Magee Jeff
|
||
| [Place of publication not identified], : IEEE Computer Society Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Architecture: Proceedings, 4th Working IEEE/IFIP Conference, Oslo, Norway, 2004
| Software Architecture: Proceedings, 4th Working IEEE/IFIP Conference, Oslo, Norway, 2004 |
| Autore | Magee Jeff |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2004 |
| Disciplina | 004.2/2 |
| Altri autori (Persone) |
MageeJeff <1952->
SzyperskiClemens BoschJan |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872518403321 |
|
Magee Jeff
|
||
| [Place of publication not identified], : IEEE Computer Society Press, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||