Verification and validation of declarative model-to-model transformations through invariants

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Journal of Systems and Software

Abbreviated Title: Journal of Systems and Software

Publisher: Elsevier BV

ISSN (Print): 01641212

Publication date Created: February 2010

Publication date (Print): February 2010

Volume: 83

Issue: 2

Pages: 283-302

Article

DOI: 10.1016/j.jss.2009.08.012

SO-VID: 6cc64b3e-1708-4633-98a0-feea2acfd98e

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.