Transactions on Modularity and Composition I (eBook, PDF)

Redaktion: Chiba, Shigeru; Leavens, Gary T.; Ziarek, Lukasz; Eugster, Patrick; Südholt, Mario

• Format: PDF

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 269
• Erscheinungstermin: 29. September 2016
• Englisch
• ISBN-13: 9783319469690
• Artikelnr.: 46927131

Autorenporträt

    

Inhaltsangabe

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.