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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Chiba, Shigeru (Editor ), Südholt, Mario (Editor ), Eugster, Patrick (Editor ), Ziarek, Lukasz (Editor ), Leavens, Gary T. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Transactions on Modularity and Composition, 9800
Temas:
Software engineering.
Operating systems (Computers).
Electronic data processing-Management.
Compilers (Computer programs).
Computer simulation.
Software Engineering.
Operating Systems.
IT Operations.
Compilers and Interpreters.
Computer Modelling.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares