Graph transformation, specifications, and nets : in memory of Hartmut Ehrig /: in memory of Hartmut Ehrig. (2018)

• Record Type: Book
• Further Information: Note: Edited by Reiko Heckel, Gabriele Taentzer.
• Editors: Heckel, Reiko; Taentzer, Gabriele
• Contents: On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches.- Integration of graph constraints into graph grammars.- Multi-view Consistency in UML.- A Simple Notion of Parallel Graph Transformation and its Perspectives.- A Tutorial on Graph Transformation.- Initial Conflicts and Dependencies: Critical Pairs Revisited.- Towards a Navigational Logic for Graphical Structures.- Model Transformations as Free Constructions.- The Verigraph Tool for Graph Transformation -- Decomposition Structures for Soft Constraint Evaluation Problems: an Algebraic Approach.- Overview of Recon gurable Petri Nets.- The Category "Undirected Graph".- Modular Termination of Graph Transformation.- Graph Attribution through Sub-Graphs.- On normal forms for structured speci cations with generating constraints -- Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.- Graph Operations and Free Graph Algebras.
• Publisher Details: Cham : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiv, 331 pages), illustrations (black and white)
• Subjects: 006.6; Computer science; Graph theory -- Data processing; Transformations (Mathematics) -- Data processing; Data types (Computer science); Categories (Mathematics) -- Data processing; Software engineering; Programming languages (Electronic computers); Computer science; Computer programming; Computer graphics; Algorithms; Computers -- Programming Languages -- General; Computers -- Programming -- General; Computers -- Software Development & Engineering -- General; Computers -- Programming -- Algorithms; Programming & scripting languages: general; Computer programming / software development; Software Engineering; Algorithms & data structures; Computer graphics; Software engineering; Computer software; Computers -- Computer Graphics; Graphics programming; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319753966; 3319753967
• Related ISBNs: 9783319753959; 3319753959
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.