Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
21
views
18
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,540
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Model Driven Engineering Languages and Systems
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
other
Author(s):
Jordi Cabot
,
Robert Clarisó
,
Esther Guerra
,
Juan de Lara
Publication date
(Print):
2008
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Value-based Healthcare
Most cited references
18
Record
: found
Abstract
: not found
Book Chapter
: not found
Specification of graph translators with triple graph grammars
Andy Schürr
(1995)
0
comments
Cited
36
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
UML2Alloy: A Challenging Model Transformation
Kyriakos Anastasakis
,
Behzad Bordbar
,
Geri Georg
…
(2007)
0
comments
Cited
15
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Confluence of Typed Attributed Graph Transformation Systems
Reiko Heckel
,
Jochen Küster
,
Gabriele Taentzer
(2002)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2008
Pages
: 37-52
DOI:
10.1007/978-3-540-87875-9_3
SO-VID:
18f87549-dc9d-4781-a521-26ac79d9fc25
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 37
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
pp. 53
Precise Semantics of EMF Model Transformations by Graph Transformation
pp. 630
Heterogeneous Coupled Evolution of Software Languages
pp. 721
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams
pp. 83
Visualization of Use Cases through Automatically Generated Activity Diagrams
pp. 782
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
Similar content
3,540
The Rio Declaration
Authors:
Howard Mann
['Informed consent' in public health activities: based on the universal declaration on bioethics and human rights, UNESCO].
Authors:
Kwang-Ho Meng
Childhood trauma and adult declarative memory performance in the general population: The mediating effect of alexithymia
Authors:
Jan Terock
,
Sandra Van der Auwera
,
Deborah Janowitz
…
See all similar
Cited by
2
Formal Specification and Testing of Model Transformations
Authors:
Antonio Vallecillo
,
Martin Gogolla
,
Loli Burgueno
…
A UML/OCL framework for the analysis of graph transformation rules
Authors:
Juan de Lara
,
Esther Guerra
,
Robert Clarisó
…
See all cited by