LEADER 05954nam 22008295 450 001 9910484056803321 005 20200706011735.0 010 $a1-280-39051-4 010 $a9786613568434 010 $a3-642-17322-5 024 7 $a10.1007/978-3-642-17322-6 035 $a(CKB)2670000000056687 035 $a(SSID)ssj0000446502 035 $a(PQKBManifestationID)11249940 035 $a(PQKBTitleCode)TC0000446502 035 $a(PQKBWorkID)10496103 035 $a(PQKB)11659198 035 $a(DE-He213)978-3-642-17322-6 035 $a(MiAaPQ)EBC3066109 035 $a(PPN)149890486 035 $a(EXLCZ)992670000000056687 100 $a20101108d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGraph Transformations and Model-Driven Engineering $eEssays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday /$fedited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XIV, 768 p. 328 illus.) 225 1 $aProgramming and Software Engineering ;$v5765 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-17321-7 320 $aIncludes bibliographical references and index. 327 $aGraph 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. 410 0$aProgramming and Software Engineering ;$v5765 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer communication systems 606 $aComputer programming 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 608 $aAufsatzsammlung$2swd 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1028 702 $aEngels$b Gregor$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLewerentz$b Claus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchäfer$b Wilhelm$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchürr$b Andy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWestfechtel$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910484056803321 996 $aGraph Transformations and Model-Driven Engineering$92829869 997 $aUNINA