AToM3: A Tool for Multi-formalism and Meta-modelling
Top Cited Papers
- 15 March 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 174-188
- https://doi.org/10.1007/3-540-45923-5_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Issues in the practical use of graph rewritingLecture Notes in Computer Science, 1996
- Interconnecting formalismsPublished by Association for Computing Machinery (ACM) ,1995
- Efficient Graph Rewriting and Its ImplementationPublished by Springer Science and Business Media LLC ,1995
- Conjunction as compositionACM Transactions on Software Engineering and Methodology, 1993
- A pluralistic knowledge-based approach to software specificationLecture Notes in Computer Science, 1989
- On visual formalismsCommunications of the ACM, 1988