Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Engels, Gregor (Editor ), Lewerentz, Claus (Editor ), Schäfer, Wilhelm (Editor ), Schürr, Andy (Editor ), Westfechtel, Bernhard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 5765
Temas:
Software engineering.
Computer science.
Compilers (Computer programs).
Computer networks .
Computer programming.
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
Programming Techniques.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl
  • Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl
  • Graph Transformations: Theory and Applications
  • The Edge of Graph Transformation - Graphs for Behavioural Specification
  • Graph Transformation by Computational Category Theory
  • On GS-Monoidal Theories for Graphs with Nesting
  • Stochastic Modelling and Simulation of Mobile Systems
  • Autonomous Units and Their Semantics - The Concurrent Case
  • Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
  • Extended Triple Graph Grammars with Efficient and Compatible Graph Translators
  • Controlling Reuse in Pattern-Based Model-to-Model Transformations
  • Lessons Learned from Building a Graph Transformation System
  • Workflow-Driven Tool Integration Using Model Transformations
  • Software Architectures and Reengineering
  • The Architecture Description Language MoDeL
  • Towards Managing Software Architectures with Ontologies
  • Using Role-Play Diagrams to Improve Scenario Role-Play
  • Reverse Engineering Using Graph Queries
  • Graph-Based Structural Analysis for Telecommunication Systems
  • Process Support
  • Do We Really Know How to Support Processes? Considerations and Reconstruction
  • A Meta-Method for Defining Software Engineering Methods
  • Techniques for Merging Views of Software Processes
  • Embedded Systems Engineering
  • Model Checking Programmable Router Configurations
  • Architectural Issues of Adaptive Pervasive Systems
  • Using Graph Grammars for Modeling Wiring Harnesses - An Experience Report
  • Model-Driven Development with Mechatronic UML
  • Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
  • Multi-view Modeling to Support Embedded Systems Engineering in SysML
  • Engineering Design Applications
  • Requirements Engineering in Complex Domains
  • Tool Support for Dynamic Development Processes
  • An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries
  • Integration Tools for Consistency Management between Design Documents in Development Processes
  • Towards Semantic Navigation in Mobile Robotics
  • Model Driven Engineering in Operative Industrial Process Control Environments.

Ejemplares similares