Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference22 articles.
1. Abrial J-R (1996) The B Book – Assigning programs to meanings. Cambridge University Press
2. Euler L (1761) Lettres à une princesse d’Allemagne sur divers sujets de physique et de philosophie. 2:102–108 l’Academie Impériale des Sciences: St. Petersburg
3. Fish A, Flower J, Howse J (2003) A reading algorithm for constraint diagrams. In: Proc. Symp. on Human Centric Computing, Languages & Environments. IEEE, pp 161–168
4. Flower J, Howse J (2002) Generating Euler diagrams. In: Proc. Diagrams 2002, LNCS, vol 2317, pp 61–75
5. Gil J, Kent S (1998) Three dimensional software modeling. In: Proc. ICSE 98, IEEE, pp 105–114
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integration of Visual Contracts and Model Transformation for Enhanced MDE Development;Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems;2018-10-14
2. Equivalences in Euler-based diagram systems through normal forms;LMS Journal of Computation and Mathematics;2014
3. Extending Spider Diagrams for policy definition;Journal of Visual Languages & Computing;2013-06
4. Generalized constraint diagrams and the classical decision problem;Journal of Logic and Computation;2012-04-04
5. User-comprehension of Euler diagrams;Journal of Visual Languages & Computing;2011-10