Author:
König Harald,Diskin Zinovy
Publisher
Springer International Publishing
Reference23 articles.
1. Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall, New York (1990)
2. Diskin, Z.: Towards generic formal semantics for consistency of heterogeneous multimodels. Tech. Rep. GSDLAB 2011–02-01, University of Waterloo (2011)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);Z Diskin,2000
4. Lecture Notes in Computer Science;Z Diskin,2012
5. Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. In: Proceedings of the Second Workshop on Applied and Computational Category Theory (ACCAT 2007), pp. 19–41. ENTCS (2007)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards the Integration of Multi-Level and Multi-View Modelling for Interoperability;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
2. ProCon: An automated process-centric quality constraints checking framework;Journal of Systems and Software;2023-08
3. Conflict management techniques for model merging: a systematic mapping review;Software and Systems Modeling;2022-10-16
4. Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05
5. Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts;2021 IEEE/ACM Joint 15th International Conference on Software and System Processes (ICSSP) and 16th ACM/IEEE International Conference on Global Software Engineering (ICGSE);2021-05