05954nam 22008295 450 991048405680332120200706011735.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)99267000000005668720101108d2010 u| 0engurnn#008mamaatxtccrGraph Transformations and Model-Driven Engineering 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 Westfechtel1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XIV, 768 p. 328 illus.)Programming and Software Engineering ;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.Programming and Software Engineering ;5765Software engineeringComputer logicProgramming languages (Electronic computers)Computer communication systemsComputer programmingMathematical logicSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048AufsatzsammlungswdSoftware engineering.Computer logic.Programming languages (Electronic computers).Computer communication systems.Computer programming.Mathematical logic.Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Computer Communication Networks.Programming Techniques.Mathematical Logic and Formal Languages.005.1028Engels Gregoredthttp://id.loc.gov/vocabulary/relators/edtLewerentz Clausedthttp://id.loc.gov/vocabulary/relators/edtSchäfer Wilhelmedthttp://id.loc.gov/vocabulary/relators/edtSchürr Andyedthttp://id.loc.gov/vocabulary/relators/edtWestfechtel Bernhardedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910484056803321Graph Transformations and Model-Driven Engineering2829869UNINA