{"product_id":"graph-transformation-9783031947056","title":"Graph Transformation","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp class=\"MsoNormal\" style=\"margin-bottom: 0cm; line-height: normal; layout-grid-mode: char; mso-layout-grid-align: none; text-autospace: none;\"\u003e\u003cstrong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMBX10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMBX10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eGraph Transformation Theory: Semantics and Static Analysis: \u003c\/span\u003e\u003c\/strong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMR10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMR10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eTermination of Injective DPO Graph Rewriting Systems using Subgraph Counting.- Rewriting for Traced Monoidal Closed Categories.- Parallel Rule Application with Doubling Avoidance.- Granular Conflict Analysis for Transformation Rules with Application Conditions. \u003c\/span\u003e\u003cstrong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMBX10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMBX10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eSpecifying Graph Properties via Automata and Logic: \u003c\/span\u003e\u003c\/strong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMR10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMR10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eSpecifying and Checking Graph Properties with Alternating Graph Automata.- Graph Formulas and their Translation to Alternating Graph Automata. \u003c\/span\u003e\u003cstrong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMBX10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMBX10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eApplications of Graph Transformation for Program Verification and Testing: \u003c\/span\u003e\u003c\/strong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMR10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMR10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eFuzzing Graph Database Applications with Graph Transformations.- Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems.- Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning. \u003c\/span\u003e\u003cstrong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMBX10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMBX10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eApplications of Graph Transformation for Modeling: \u003c\/span\u003e\u003c\/strong\u003e\u003cspan lang=\"X-NONE\" style=\"font-size: 10.0pt; mso-bidi-font-size: 12.0pt; font-family: CMR10; mso-fareast-font-family: 'Times New Roman'; mso-bidi-font-family: CMR10; color: black; mso-font-kerning: 0pt; mso-ansi-language: X-NONE;\"\u003eGraph-transformational Threat Modeling.- Graph Rewriting for User State-Based Dialogue Adaption in Real-Time: An Application in Personalized Interview Training.\u003c\/span\u003e\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195491213655,"sku":"9783031947056","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/graph-transformation-9783031947056","provider":"Book Curl","version":"1.0","type":"link"}