Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Modular specification and verification techniques for object-oriented software components
Foundations of component-based systems
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 Accurate Live Memory Analysis for Garbage-Collected Languages
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
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
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Software Component with ADA
Static prediction of heap space usage for first-order functional programs
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
An Accurate Worst Case Timing Analysis for RISC Processors
IEEE Transactions on Software Engineering
Guest Editors' Introduction: Workshop on Software and Performance
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
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Compositional performance prediction exemplified using generic object finalization analysis
Proceedings of the 47th Annual Southeast Regional Conference
Hi-index | 0.00 |
A system for engineering and verifying component-based software must include mechanisms for specifying abstractly not only the complete functionality of components but their exact performance as well. This paper introduces profiles as a first-class construct for complete, independent specification of performance in higher-level languages. Using profiles, a developer can select from an assortment of implementations for a particular functionality the one that best suits his needs with respect to speed and memory usage. Equally importantly, he can define the expected performance of larger scale components using compositions of the profiles of their constituent (possibly as yet unimplemented) components. To support scalability, the profile construct facilitates abstraction in performance specifications as well as performance composition and analysis.