04137nam 2200565Ia 450 991048405680332120200520144314.01-280-39051-497866135684343-642-17322-510.1007/978-3-642-17322-6(CKB)2670000000056687(SSID)ssj0000446502(PQKBManifestationID)11249940(PQKBTitleCode)TC0000446502(PQKBWorkID)10496103(PQKB)11659198(DE-He213)978-3-642-17322-6(MiAaPQ)EBC3066109(PPN)149890486(EXLCZ)99267000000005668720101013d2010 uy 0engurnn#008mamaatxtccrGraph transformations and model-driven engineering essays dedicated to Manfred Nagl on the occasion of his 65th birthday /Gregor Engels ... [et al.] (eds.)1st ed. 2010.Berlin ;New York Springer20101 online resource (XIV, 768 p. 328 illus.)Lecture notes in computer science ;5765Bibliographic Level Mode of Issuance: Monograph3-642-17321-7 Includes bibliographical references and index.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.Lecture notes in computer science ;5765.Model-driven software architectureSoftware architectureModel-driven software architecture.Software architecture.005.1028Engels G1757046MiAaPQMiAaPQMiAaPQBOOK9910484056803321Graph transformations and model-driven engineering4194684UNINA