References

  1. Pablo Bendersky, Juan Pablo Galeotti & Diego Garbervetsky (2014): The DynAlloy Visualizer. arXiv preprint arXiv:1401.0973, doi:10.4204/EPTCS.139.6.
  2. N. Burlutskiy, M. Petridis, A. Fish & N. Ali (2014): Enabling the visualization for reasoning about temporal data. In: 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 179–180, doi:10.1109/VLHCC.2014.6883044.
  3. Alcino Cunha & Nuno Macedo (2018): Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum. In: Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ), LNCS 10817. Springer, pp. 307–321, doi:10.1007/978-3-319-91271-4_21.
  4. Ben Frain (2012): Responsive web design with HTML5 and CSS3. Packt Publishing Ltd.
  5. Loïc Gammaitoni & Pierre Kelsen (2014): Domain-specific visualization of alloy instances. In: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer, pp. 324–327, doi:10.1007/978-3-662-43652-3_33.
  6. Jeffrey Heer, Stuart K Card & James A Landay (2005): Prefuse: a toolkit for interactive information visualization. In: Proceedings of the SIGCHI conference on Human factors in computing systems. ACM, pp. 421–430, doi:10.1145/1054972.1055031.
  7. Ivan Herman, Guy Melançon & M Scott Marshall (2000): Graph visualization and navigation in information visualization: A survey. IEEE Transactions on visualization and computer graphics 6(1), pp. 24–43, doi:10.1109/2945.841119.
  8. Daniel Jackson (2012): Software Abstractions: logic, language, and analysis. MIT press.
  9. Terry K Kellerman & Philip S Milne (2004): Graphical user interface layout manager. US Patent 6,750,887.
  10. Stephen G Kobourov (2012): Spring embedders and force directed graph drawing algorithms. arXiv preprint arXiv:1201.3011.
  11. Simon Lok & Steven Feiner (2001): A survey of automated layout techniques for information presentations. Proceedings of SmartGraphics 2001, pp. 61–68, doi:10.1.1.9.8736.
  12. Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha & Denis Kuperberg (2016): Lightweight specification and analysis of dynamic systems with rich configurations. In: Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. ACM, pp. 373–383, doi:10.1145/2950290.2950318.
  13. Riccardo Mazza (2009): Introduction to information visualization. Springer Science & Business Media.
  14. João Mendes Moreira, Alcino Cunha & Nuno Macedo (2015): An ORCID based synchronization framework for a national CRIS ecosystem. F1000Research 4(181), doi:10.12688/f1000research.6499.1.
  15. Oracle (2017): A Visual Guide to Layout Managers. Available at https://docs.oracle.com/javase/tutorial/uiswing/layout/visual.html.
  16. Derek Rayside, Felix Chang, Greg Dennis, Robert Seater & Daniel Jackson (2007): Automatic visualization of relational logic models. Electronic Communications of the EASST 7.
  17. K. Sugiyama, S. Tagawa & M. Toda (1981): Methods for Visual Understanding of Hierarchical System Structures. IEEE Transactions on Systems, Man, and Cybernetics 11(2), pp. 109–125, doi:10.1109/TSMC.1981.4308636.
  18. David Thevenin & Joëlle Coutaz (1999): Plasticity of User Interfaces: Framework and Research Agenda. In: INTERACT.
  19. Kashyap Todi, Daryl Weir & Antti Oulasvirta (2016): Sketchplore: Sketch and explore with a layout optimiser. In: Proceedings of the 2016 ACM Conference on Designing Interactive Systems. ACM, pp. 543–555, doi:10.1145/2851581.2890236.
  20. Atulan Zaman, Iman Kazerani, Medha Patki, Bhargava Guntoori & Derek Rayside (2013): Improved Visualization of Relational Logic Models. University of Waterloo, Tech. Rep.
  21. P. Zave (2015): A Practical Comparison of Alloy and Spin. Form. Asp. Comput. 27(2), pp. 239–253, doi:10.1007/s00165-014-0302-2.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org