Table of Contents

Context-Oriented Software Development with Generalized Layer Activation Mechanism.- Developing and Verifying Response Specifications in Hierarchical Event-Based Systems.- Programming with Emergent Gummy Modules.- Generalized Layer Activation Mechanism for Context-Oriented Programming.- Modular Reasoning in the Presence of Event Subtyping.- Software Unbundling: Challenges and Perspectives.- Dynamic Dispatch for Method Contracts through Abstract Predicates.