You have Guest access.
Log In
Manuel Oriol and Bertrand Meyer
Front matter
1-17
Part 1 / Invited Presentations
1-16
On Realizing a Framework for Self-tuning Mappings
17
Programming Models for Concurrency and Real-Time
18-95
Part 2 / Reflection and Aspects
18-36
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition
37-56
A Diagrammatic Formalisation of MOF-Based Modelling Languages
57-76
Designing Design Constraints in the UML Using Join Point Designation Diagrams
77-95
Stream-Based Dynamic Compilation for Object-Oriented Languages
96-174
Part 3 / Models
96-115
Algebraic Semantics of OCL-Constrained Metamodel Specifications
116-135
Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages
136-156
Early Crosscutting Metrics as Predictors of Software Instability
157-174
Extensibility in Model-Based Business Process Engines
175-214
Part 4 / Theory
175-194
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
195-214
A Sound and Complete Program Logic for Eiffel
215-251
Part 5 / Components
215-230
A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers
231-251
A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks
252-307
Part 6 / Monitoring
252-271
Reusing and Composing Tests with Traits
272-288
Flow-Centric, Back-in-Time Debugging
289-307
A Classification Framework for Pointcut Languages in Runtime Monitoring
308-347
Part 7 / Systems Generation
308-327
Fast Simulation Techniques for Design Space Exploration
328-347
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy
348-367
Part 8 / Short Papers
348-356
Using Grammarware Languages to Define Operational Semantics of Modelled Languages
357-367
Automatic Generation of Integrated Formal Models Corresponding to UML System Models
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info