Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/66794
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Couto, Rui | por |
dc.contributor.author | Campos, José C. | por |
dc.contributor.author | Macedo, Nuno | por |
dc.contributor.author | Cunha, Alcino | por |
dc.date.accessioned | 2020-09-04T21:03:02Z | - |
dc.date.available | 2020-09-04T21:03:02Z | - |
dc.date.issued | 2018 | - |
dc.identifier.issn | 2075-2180 | - |
dc.identifier.uri | https://hdl.handle.net/1822/66794 | - |
dc.description.abstract | Alloy 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. | por |
dc.description.sponsorship | This work is financed by the ERDF - European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundacao para a Ciencia e a Tecnologia, within project POCI-01-0145-FEDER-016826. | por |
dc.language.iso | eng | por |
dc.publisher | Open Publishing Association | por |
dc.rights | openAccess | por |
dc.title | Improving the visualization of alloy instances | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://arxiv.org/abs/1811.10817v1 | por |
oaire.citationStartPage | 37 | por |
oaire.citationEndPage | 52 | por |
oaire.citationIssue | 284 | por |
oaire.citationVolume | 284 | por |
dc.date.updated | 2020-09-04T15:33:34Z | - |
dc.identifier.doi | 10.4204/EPTCS.284.4 | por |
dc.subject.wos | Science & Technology | - |
sdum.export.identifier | 6170 | - |
sdum.journal | Electronic Proceedings in Theoretical Computer Science | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
1811.10817v1.pdf | 413,85 kB | Adobe PDF | Ver/Abrir |