Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/40612Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Macedo, Nuno Filipe Moreira | por |
| dc.contributor.author | Cunha, Alcino | por |
| dc.contributor.author | Guimarães, Tiago Miguel Moreira | por |
| dc.date.accessioned | 2016-03-02T16:27:52Z | - |
| dc.date.available | 2016-03-02T16:27:52Z | - |
| dc.date.issued | 2015-04 | - |
| dc.identifier.citation | Macedo, N., Cunha, A., & Guimarães, T. (2015) Exploring scenario exploration. Vol. 9033. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 301-315). | por |
| dc.identifier.isbn | 978-3-662-46674-2 | - |
| dc.identifier.isbn | 978-3-662-46675-9 | - |
| dc.identifier.issn | 0302-9743 | - |
| dc.identifier.uri | https://hdl.handle.net/1822/40612 | - |
| dc.description.abstract | Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration. | por |
| dc.description.sponsorship | North Portugal Regional Operational Programme (ON.2 – O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), within project NORTE-07-0124-FEDER-000062. | por |
| dc.language.iso | eng | por |
| dc.publisher | Springer Verlag | por |
| dc.rights | openAccess | por |
| dc.title | Exploring scenario exploration | por |
| dc.type | conferencePaper | por |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-662-46675-9_20 | por |
| dc.comments | 2582 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 301 | por |
| oaire.citationEndPage | 315 | por |
| oaire.citationConferencePlace | London, UK | por |
| oaire.citationTitle | 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015) | por |
| oaire.citationVolume | 9033 | por |
| dc.identifier.doi | 10.1007/978-3-662-46675-9_20 | por |
| dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Lecture Notes in Computer Science | por |
| sdum.conferencePublication | 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015) | por |
| Aparece nas coleções: | ||
