Graph Consistency as a Graduated Property-Reference-Cited by-同舟云学术

Graph Consistency as a Graduated Property

Published:2020 Issue: Volume: Page:239-256
ISSN:0302-9743
Container-title:Graph Transformation
language:
Short-container-title:

Author:

Kosiol Jens^ORCID,Strüber Daniel^ORCID,Taentzer Gabriele^ORCID,Zschaler Steffen^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-51372-6_14

Reference29 articles.

1. Lecture Notes in Computer Science;T Arendt,2010

2. Lecture Notes in Computer Science;B Becker,2011

3. Behr, N., Saadat, M.G., Heckel, R.: Commutators for stochastic rewriting systems: theory and implementation in Z3 (2020). https://arxiv.org/abs/2003.11010

4. Bowman, M., Briand, L.C., Labiche, Y.: Solving the class responsibility assignment problem in object-oriented analysis with multi-objective genetic algorithms. IEEE Trans. Software Eng. 36(6), 817–837 (2010)

5. Burdusel, A., Zschaler, S., John, S.: Automatic generation of atomic consistency preserving search operators for search-based model engineering. In: MODELS, pp. 106–116. IEEE (2019)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Logics of Statements in Context-Category Independent Basics;Mathematics;2022-03-28

2. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming;Formal Aspects of Computing;2021-08-24

3. Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering;Software and Systems Modeling;2021-08-16

4. Automated generation of consistent, diverse and structurally realistic graph models;Software and Systems Modeling;2021-05-29

5. Graph Repair and its Application to Meta-Modeling;Electronic Proceedings in Theoretical Computer Science;2020-12-03