Objects, Components, Models and Patterns

The End of the Computing Era: Hephaestus Meets the Olympians.- Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.- Efficient Model Checking of Networked Applications.- Controlling Accessibility in Agile Projects with the Access Modifier Modifier.- Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors.- Virtual Machine Support for Stateful Aspects.- Guarded Program Transformations Using JTL.- A Multiparadigm Study of Crosscutting Modularity in Design Patterns.- Representing and Operating with Model Differences.- Optimizing Dynamic Class Composition in a Statically Typed Language.- Ownership, Uniqueness, and Immutability.- Object Incompleteness and Dynamic Composition in Java-Like Languages.- The Meta in Meta-object Architectures.- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.- Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software.- A Comparison of State-Based Modelling Tools for Model Validation.- MontiCore: Modular Development of Textual Domain Specific Languages.- Proof-Transforming Compilation of Eiffel Programs.- Engineering Associations: From Models to Code and Back through Semantics.- On the Efficiency of Design Patterns Implemented in C sharp 3.0.- A Framework for Model Transformation By-Example: Concepts and Tool Support.- Web Applications Design and Development with WebML and WebRatio 5.0.