Transactions on Modularity and Composition I

• Corporate Author: SpringerLink (Online service)
• Other Authors: Chiba, Shigeru (Editor), Südholt, Mario (Editor), Eugster, Patrick (Editor), Ziarek, Lukasz (Editor), Leavens, Gary T. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Lecture Notes in Computer Science, 9800
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer simulation.; Management information systems.; Computer Science.; Software Engineering.; Operating Systems.; Management of Computing and Information Systems.; Programming Languages, Compilers, Interpreters.; Simulation and Modeling.

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.  The focus of the journal also includes modelling techniques, new p...

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.