Amalgamation of domain specific languages with behaviour
From MaRDI portal
(Redirected from Publication:347380)
Recommendations
Cites work
- scientific article; zbMATH DE number 1629836 (Why is no real title available?)
- scientific article; zbMATH DE number 3907796 (Why is no real title available?)
- scientific article; zbMATH DE number 44486 (Why is no real title available?)
- scientific article; zbMATH DE number 3633737 (Why is no real title available?)
- scientific article; zbMATH DE number 1222590 (Why is no real title available?)
- scientific article; zbMATH DE number 969071 (Why is no real title available?)
- ATL: A model transformation tool
- Algebraic simulations
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Attributed graph transformation with node type inheritance
- Automating the transformation-based analysis of visual languages
- Behaviour protection in modular rule-based system specifications
- Correctness of high-level transformation systems relative to nested conditions
- Formal Methods in Software and Systems Modeling
- Formal software specification with refinements and modules of typed graph transformation systems
- Foundations of Software Science and Computation Structures
- Graph Transformations
- Graph Transformations
- Handbook of Graph Grammars and Computing by Graph Transformation
- Handbook of Graph Grammars and Computing by Graph Transformation
- Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
- On the behavioral semantics of real-time domain specific visual languages
- Structural and behavioural compatibility of graphical service specifications
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation
Cited in
(6)- Behaviour protection in modular rule-based system specifications
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Composition of graph-transformation-based DSL definitions by amalgamation
- Finding subgraphs with side constraints
- A module system for domain-specific languages
- Composition of multilevel domain-specific modelling languages
This page was built for publication: Amalgamation of domain specific languages with behaviour
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q347380)
