Introduction to algorithms
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
Component-based software using RESOLVE
ACM SIGSOFT Software Engineering Notes
Graceful object-based performance evolution
Software—Practice & Experience
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
STL tutorial and reference guide, second edition: C++ programming with the standard template library
STL tutorial and reference guide, second edition: C++ programming with the standard template library
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Software Component with ADA
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Reasoning about Software-Component Behavior
ICSR-6 Proceedings of the 6th International Conerence on Software Reuse: Advances in Software Reusability
International symposium of memory management (ISMM 2008)
ACM SIGPLAN Notices
Towards automatic compositional performance analysis of component-based systems
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Software performance engineering of component-based systems
WOSP '04 Proceedings of the 4th international workshop on Software and performance
High-level modeling and simulation of single-chip programmable heterogeneous multiprocessors
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Issues in performance certification for high-level automotive control software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Towards an automatic complexity analysis for generic programs
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Component integration for web based applications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Analysing memory resource bounds for low-level programs
Proceedings of the 7th international symposium on Memory management
Palladio --- Prediction of Performance Properties
The Common Component Modeling Example
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Estimating Non-functional Properties of Component-based Software Based on Resource Consumption
Electronic Notes in Theoretical Computer Science (ENTCS)
Performance evaluation of component-based software systems: A survey
Performance Evaluation
Information and Software Technology
Parameter dependent performance specifications of software components
QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures
Goal-Oriented performance analysis of reusable software components
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Performance prediction of component-based systems
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Modeling parameter and context dependencies in online architecture-level performance models
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Hi-index | 0.00 |
Component-based software engineering is concerned with predictability in both functional and performance behavior, though most formal techniques have typically focused their attention on the former. Reasoning about the (functional or performance) behavior of a component-based system must be compositional in order to be scalable. Compositional performance reasoning demands that components include performance specifications, in addition to descriptions of functional behavior. Unfortunately, as explained in this paper, classical techniques and notations for performance analysis are either unsuitable or unnatural to capture performance behaviors of generic software components. They fail to work in the presence of parameterization and layering. The paper introduces elements of a compositional approach to performance analysis using a detailed example. It explains that performance specification problems are so basic that there are unresolved research issues to be tackled even for the simplest reusable components. These issues must be tackled by any practical proposal for sound performance reasoning. Only then will software developers be able to engineer new systems by choosing and assembling components that best fit their performance (time and space) requirements.