Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study.
@inproceedings{CoutoC:2018, author = {R. Couto and J.C. Campos}, title = {Improving traces visualisation through layout managers}, booktitle = {ICGI 2018 - 1st International Conference on Graphics and Interaction}, pages = {41-48}, publisher = {IEEE}, year = {2018}, abstract = {Alloy supports reasoning about software designs in early development stages. It is composed of a modelling language and a tool that is able to find valid instances of the model. Alloy is able to produce graphical representations of analysis results, which is essential for their interpretation. In previous work we have improved the representations with the usage of layout managers. Here, we further extend that work by presenting the improvements on the approach, and by introducing a new case study to analyse the contribution of layout managers, and to support validation trough a user study.}, doi = {10.1109/ITCGI.2018.8602936}, hdl = {1822/66793} }
Generated by mkBiblio 2.6.26