Author:
Bottoni Paolo,Fish Andrew,Parisi Presicce Francesco
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference54 articles.
1. Barwise, J., Etchemendy, J.: Hyperproof. CSLI (1994)
2. Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 3–25. Oxford University Press, New York (1996)
3. Bottoni, P., Fish, A.: Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information. In: Proceeding Diagrams 2010, LNCS, vol. 6170, pp. 39–53 (2010)
4. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: Proceedings of the UML 2000, LNCS, vol. 1939, pp. 294–308 (2000)
5. Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A visualization of OCL using collaborations. In: Gogolla, M., Kobryn, C. (eds.) Proceedings of the UML 2001, LNCS, vol. 2185, pp. 257–271 (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献