Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel.

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
1 online resource (XIV, 768 pages) : 328 illustrations
1st ed. 2010.
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 5765
Programming and Software Engineering ; 5765
Contained In:
Springer eBooks

Location Notes Your Loan Policy


Software engineering.
Computer logic.
Programming languages (Electronic computers).
Computer networks.
Computer programming.
Logic, Symbolic and mathematical.
Local subjects:
Software Engineering. (search)
Logics and Meanings of Programs. (search)
Programming Languages, Compilers, Interpreters. (search)
Computer Communication Networks. (search)
Programming Techniques. (search)
Mathematical Logic and Formal Languages. (search)
System Details:
text file PDF
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.
Engels, G., editor., Editor,
Lewerentz, Claus, editor., Editor,
Schäfer, Wilhelm, editor., Editor,
Schürr, Andreas, editor., Editor,
Westfechtel, Bernhard, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/978-3-642-17322-6 doi
Access Restriction:
Restricted for use by site license.