Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings /

This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Paige, Richard F. (Editor ), Meyer, Bertrand (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Lecture Notes in Business Information Processing, 11
Temas:
Software engineering.
Computer programming.
Computer science.
Application software.
Electronic data processing > Management.
Software Engineering.
Programming Techniques.
Models of Computation.
Computer and Information Systems Applications.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The End of the Computing Era: Hephaestus Meets the Olympians
  • Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
  • Efficient Model Checking of Networked Applications
  • Controlling Accessibility in Agile Projects with the Access Modifier Modifier
  • Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors
  • Virtual Machine Support for Stateful Aspects
  • Guarded Program Transformations Using JTL
  • A Multiparadigm Study of Crosscutting Modularity in Design Patterns
  • Representing and Operating with Model Differences
  • Optimizing Dynamic Class Composition in a Statically Typed Language
  • Ownership, Uniqueness, and Immutability
  • Object Incompleteness and Dynamic Composition in Java-Like Languages
  • The Meta in Meta-object Architectures
  • An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
  • Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software
  • A Comparison of State-Based Modelling Tools for Model Validation
  • MontiCore: Modular Development of Textual Domain Specific Languages
  • Proof-Transforming Compilation of Eiffel Programs
  • Engineering Associations: From Models to Code and Back through Semantics
  • On the Efficiency of Design Patterns Implemented in C# 3.0
  • A Framework for Model Transformation By-Example: Concepts and Tool Support
  • Web Applications Design and Development with WebML and WebRatio 5.0.

Ejemplares similares