default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCBSE 2008: Karlsruhe, Germany
- Michel R. V. Chaudron, Clemens A. Szyperski
, Ralf H. Reussner:
Component-Based Software Engineering, 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings. Lecture Notes in Computer Science 5282, Springer 2008, ISBN 978-3-540-87890-2
Performance Engineering
- Rafael Tolosana-Calasanz, Omer F. Rana, José A. Bañares:
Automating Performance Analysis from Taverna Workflows. 1-15 - Anne Martens, Steffen Becker, Heiko Koziolek, Ralf H. Reussner:
An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction. 16-31 - Vibhu Saujanya Sharma, Pankaj Jalote:
Deploying Software Components for Performance. 32-47 - Michael Kuperberg, Klaus Krogmann, Ralf H. Reussner:
Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models. 48-63
Extra-Functional Properties: Security and Energy
- Lianshan Sun, Gang Huang, Hong Mei:
Validating Access Control Configurations in J2EE Applications. 64-79 - Pierre Parrend, Stéphane Frénot:
Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms. 80-96 - Chiyoung Seo, Sam Malek, Nenad Medvidovic:
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems. 97-113
Formal Methods and Model Checking
- Farhad Arbab, Sun Meng:
Synthesis of Connectors from Scenario-Based Interaction Specifications. 114-129 - Markus Lumpe, Lars Grunske, Jean-Guy Schneider:
State Space Reduction Techniques for Component Interfaces. 130-145 - Pavlína Vareková, Ivana Cerná:
Model Checking of Control-User Component-Based Parametrised Systems. 146-162
Verification Techniques
- Andreas Both, Wolf Zimmermann:
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems. 163-179 - Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl:
Structural Testing of Component-Based Systems. 180-195 - Yunja Choi, Christian Bunse:
Towards Component-Based Design and Verification of a µ-Controller. 196-211
Run-Time Infrastructures
- Giovanni Russello, Leonardo Mostarda, Naranker Dulay:
ESCAPE: A Component-Based Policy Framework for Sense and React Applications. 212-229 - Eli Gjørven, Frank Eliassen, Romain Rouvoy:
Experiences from Developing a Component Technology Agnostic Adaptation Framework. 230-245 - Kiev Gama, Didier Donsez:
A Practical Approach for Finding Stale References in a Dynamic Service Platform. 246-261
Methods of Design and Development
- Antonia Albani, Sven Overhage, Dominik Birkmeier:
Towards a Systematic Method for Identifying Business Components. 262-277 - Heiko Koziolek, Steffen Becker, Jens Happe, Ralf H. Reussner:
Life-Cycle Aware Modelling of Software Components. 278-285 - Bart George, Régis Fleurquin, Salah Sadou:
A Component Selection Framework for COTS Libraries. 286-301 - Gerald Kotonya, Simon Lock, John Mariani:
Opportunistic Reuse: Lessons from Scrapheap Software Development. 302-309
Component Models
- Séverine Sentilles, Aneta Vulgarakis, Tomás Bures, Jan Carlson, Ivica Crnkovic:
A Component Model for Control-Intensive Distributed Embedded Systems. 310-317 - Premek Brada:
The CoSi Component Model: Reviving the Black-Box Nature of Components. 318-333 - Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina:
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems. 334-350
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
