Transactions on Modularity and Composition I
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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Σειρά: | Lecture Notes in Computer Science,
9800 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.