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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Engels, Gregor (Επιμελητής έκδοσης), Lewerentz, Claus (Επιμελητής έκδοσης), Schäfer, Wilhelm (Επιμελητής έκδοσης), Schürr, Andy (Επιμελητής έκδοσης), Westfechtel, Bernhard (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Σειρά: Lecture Notes in Computer Science, 5765
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Programming Techniques.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

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