Amalgamation of domain specific languages with behaviour (Q347380): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ATL
@@ Property / describes a project that uses: ATL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIEGO
@@ Property / describes a project that uses: DIEGO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2015.09.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1932701140
@@ Property / OpenAlex ID: W1932701140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3685223
@@ Property / cites work: Q3685223 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Attributed graph transformation with node type inheritance
+Normal rank
@@ Property / cites work @@
+Towards the flexible reuse of model transformations: a formal approach based on graph transformation
+Normal rank
@@ Property / cites work @@
+Automating the transformation-based analysis of visual languages
+Normal rank
@@ Property / cites work @@
+Behaviour Protection in Modular Rule-Based System Specifications
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Q2728869
@@ Property / cites work: Q2728869 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-amalgamation of rules with application conditions in -adhesive categories
+Normal rank
@@ Property / cites work @@
+Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
+Normal rank
@@ Property / cites work @@
+Q4218129
@@ Property / cites work: Q4218129 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal software specification with refinements and modules of typed graph transformation systems
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Structural and behavioural compatibility of graphical service specifications
+Normal rank
@@ Property / cites work @@
+Q5284549
@@ Property / cites work: Q5284549 / rank @@
+Normal rank
@@ Property / cites work @@
+ATL: A model transformation tool
@@ Property / cites work: ATL: A model transformation tool / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Algebraic simulations
@@ Property / cites work: Algebraic simulations / rank @@
+Normal rank
@@ Property / cites work @@
+On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank