Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Graph-based tools for re-engineering
Journal of Software Maintenance: Research and Practice
Model Reuse with Metamodel-Based Transformations
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Graph-Based Reverse Engineering and Reengineering Tools
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Creating Semantic Representations of Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Graph-Based Reengineering of Telecommunication Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Visualizing model mappings in UML
Proceedings of the 2003 ACM symposium on Software visualization
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
AutoGen: Easing model management through two levels of abstraction
Journal of Visual Languages and Computing
Journal of Integrated Design & Process Science
Model transformation in the large
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
The model transformation language of the VIATRA2 framework
Science of Computer Programming
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Consistency between geometric and dynamic views of a mechanical system
Proceedings of the 2007 Summer Computer Simulation Conference
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation Semantics for a QVT Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformational Pattern System -- Some Assembly Required
Electronic Notes in Theoretical Computer Science (ENTCS)
View Creation of Meta Models by Using Modified Triple Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Metamodel-based tool integration with moflon
Proceedings of the 30th international conference on Software engineering
Journal of Visual Languages and Computing
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
Incremental model synchronization for multiple updates
Proceedings of the third international workshop on Graph and model transformations
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Opportunities and challenges for traceable graph rewriting systems
Proceedings of the third international workshop on Graph and model transformations
Specifying the correctness properties of model transformations
Proceedings of the third international workshop on Graph and model transformations
A Comparison of Standard Compliant Ways to Define Domain Specific Languages
Models in Software Engineering
Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering
Models in Software Engineering
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
Models in Software Engineering
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Pattern-Based Model-to-Model Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Triple Graph Grammars and OCL for Validating System Behavior
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Transforming Scene Graphs Using Triple Graph Grammars --- A Practice Report
Applications of Graph Transformations with Industrial Relevance
Modelling of Longitudinal Information Systems with Graph Grammars
Applications of Graph Transformations with Industrial Relevance
Domain Specific Languages with Graphical and Textual Views
Applications of Graph Transformations with Industrial Relevance
Programmed Graph Rewriting with DEVS
Applications of Graph Transformations with Industrial Relevance
Transforming Timeline Specifications into Automata for Runtime Monitoring
Applications of Graph Transformations with Industrial Relevance
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Applications of Graph Transformations with Industrial Relevance
Modeling Successively Connected Repetitive Subgraphs
Applications of Graph Transformations with Industrial Relevance
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Applications of Graph Transformations with Industrial Relevance
Using OMG's SysML to support simulation
Proceedings of the 40th Conference on Winter Simulation
A Graph-Based Framework For Rapid Construction Of Document Integration Tools
Journal of Integrated Design & Process Science
Compositionality of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation Language Integration Based on Profiles and Higher Order Transformations
Software Language Engineering
Model-Based Software Engineering and Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
On Integrating OCL and Triple Graph Grammars
Models in Software Engineering
Triple Graph Grammars or Triple Graph Transformation Systems?
Models in Software Engineering
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Round-Trip Support for Invasive Software Composition Systems
SC '09 Proceedings of the 8th International Conference on Software Composition
Incremental model synchronization based on a trace model
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
An Incremental Algorithm for High-Performance Runtime Model Consistency
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Traceability-based incremental model synchronization
WSEAS Transactions on Computers
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Ensuring consistency within distributed graph transformation systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Think global, act local: implementing model management with domain-specific integration languages
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Generating systems from multiple levels of abstraction
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
On the specification and verification of model transformations
Semantics and algebraic specification
Correctness, completeness and termination of pattern-based model-to-model transformation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A transformation instance-based approach to traceability
Proceedings of the 6th ECMFA Traceability Workshop
Formalising design and interaction patterns and their relationships
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems
Pattern-based genetic model refinements in MDA
Nordic Journal of Computing
Proceedings of the First International Workshop on Model-Driven Interoperability
transML: a family of languages to model model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Inter-modelling: from theory to practice
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Model evolution and management
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Development of tool extensions with MOFLON
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Combining termination criteria by isolating deletion
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Journal of Visual Languages and Computing
Debugging in domain-specific modelling
SLE'10 Proceedings of the Third international conference on Software language engineering
Parallel independence of amalgamated graph transformations applied to model transformation
Graph transformations and model-driven engineering
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
Controlling reuse in pattern-based model-to-model transformations
Graph transformations and model-driven engineering
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
Graph-based structural analysis for telecommunication systems
Graph transformations and model-driven engineering
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineering
Multi-view modeling to support embedded systems engineering in SysML
Graph transformations and model-driven engineering
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
Formalizing model consistency based on the abstract syntax
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
A framework for evolution of modelling languages
Science of Computer Programming
Dagstuhl seminar on bidirectional transformations (BX)
ACM SIGMOD Record
Integrating OCL and textual modelling languages
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Model-driven development of model transformations
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Preventing information loss in incremental model synchronization by reusing elements
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
Towards a general composition semantics for rule-based model transformation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Correctness of model synchronization based on triple graph grammars
Proceedings of the 14th international conference on Model driven engineering languages and systems
Correctly defined concrete syntax for visual modeling languages
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
SiTra: simple transformations in Java
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Incremental model synchronization with triple graph grammars
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Component tools: integrating petri nets with other formal methods
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Reusing model transformations while preserving properties
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Non-materialized model view specification with triple graph grammars
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Making metamodels aware of concrete syntax
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A graphical specification of model transformations with triple graph grammars
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Explicit transformation modeling
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Process model based incremental project planning
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Designing architectures from problem descriptions by interactive model transformation
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Concurrent model synchronization with conflict resolution based on triple graph grammars
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Partial evaluation of model transformations
Proceedings of the 34th International Conference on Software Engineering
Specifying refinement relations in vertical model transformations
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Bidirectional model transformation with precedence triple graph grammars
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Three complementary approaches to bidirectional programming
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Graph grammar induction as a parser-controlled heuristic search process
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Construction of integrity preserving triple graph grammars
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Constraint-based specification of model transformations
Journal of Systems and Software
Proceedings of the First Workshop on the Analysis of Model Transformations
Software and Systems Modeling (SoSyM)
View-centric engineering with synchronized heterogeneous models
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
A declarative and bidirectional model transformation approach based on graph co-spans
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Implementing refactorings for FOP: lessons learned and challenges ahead
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Journal of Visual Languages and Computing
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |