Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/10473
Full metadata record
DC FieldValueLanguage
dc.contributor.authorJosé Creissac Camposen
dc.contributor.authorRui Miguel Coutoen
dc.contributor.authorAlcino Cunhaen
dc.contributor.authorNuno Moreira Macedoen
dc.contributor.other5625en
dc.contributor.other5599en
dc.contributor.other5612en
dc.contributor.other6000en
dc.date.accessioned2019-12-12T10:46:00Z-
dc.date.available2019-12-12T10:46:00Z-
dc.date.issued2018en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/10473-
dc.identifier.urihttp://dx.doi.org/10.4204/eptcs.284.4en
dc.description.abstractAlloy is a lightweight formal specification language, supported by an IDE, which has proven well-suited for reasoning about software design in early development stages. The IDE provides a visualizer that produces graphical representations of analysis results, which is essential for the proper validation of the model. Alloy is a rich language but inherently static, so behavior needs to be explicitly encoded and reasoned about. Even though this is a common scenario, the visualizer presents limitations when dealing with such models. The main contribution of this paper is a principled approach to generate instance visualizations, which improves the current Alloy Visualizer, focusing on the representation of behavior. c R. Couto, J. C. Campos, N. Macedo & A. Cunha This work is licensed under the Creative Commons Attribution License.en
dc.languageengen
dc.titleImproving the Visualization of Alloy Instancesen
dc.typePublicationen
dc.typeconferenceObjecten
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00Q-2QD.pdf413.85 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.