Author:
Kleiner Mathias,Del Fabro Marcos Didonet,Albert Patrick
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Cook, S.A.: The complexity of theorem-proving procedures. In: STOC, pp. 151–158. ACM, New York (1971)
2. Lecture Notes in Computer Science;A. Felfernig,2002
3. Lecture Notes in Computer Science;A. Petter,2009
4. Alloy usecase (2010), http://www.lsis.org/kleinerm/MS/Alloy_mm.html
5. Jackson, D.: Automating first-order relational logic. In: FSE, pp. 130–139 (2000)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. History-based Model Repair Recommendations;ACM Transactions on Software Engineering and Methodology;2021-04-30
2. Coupling solvers with model transformations to generate explorable model sets;Software and Systems Modeling;2021-02-28
3. Multi-Model Evolution through Model Repair.;The Journal of Object Technology;2021
4. Intensional View Definition with Constrained Incremental Transformation Rules;2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2019-09
5. Toward a declarative language to generate explorable sets of models;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08