Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/123106
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Clarisó, Robert | - |
dc.contributor.author | Gogolla, Martin | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.contributor.other | University of Bremen | - |
dc.date.accessioned | 2020-09-29T16:34:49Z | - |
dc.date.available | 2020-09-29T16:34:49Z | - |
dc.date.issued | 2019-09-16 | - |
dc.identifier.citation | Clarisó, R. & Gogolla, M. (2019). A feasibility study on using classifying terms in alloy. A case study. CEUR Workshop Proceedings, 2513(), 45-58. | - |
dc.identifier.issn | 1613-0073MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/123106 | - |
dc.description.abstract | To perform the analysis of a structural model of a software system (like a class diagram), it is often necessary to compute sample valid instantiations (like object diagrams), for example, for testing purposes. Classifying terms (CTs) provide a technique for improving diversity in the instantiation generation process. CTs have been proposed and studied in the context of UML class diagrams annotated with OCL invariants. Nevertheless, they can also be employed in other declarative specification languages. This paper explores the feasibility of using CTs in the context of Alloy. The discussion considers both the Alloy notation and the integration with the Alloy Analyzer. | en |
dc.language.iso | eng | - |
dc.publisher | CEUR Workshop Proceedings | - |
dc.relation.ispartof | CEUR Workshop Proceedings, 2019, 2513() | - |
dc.relation.ispartofseries | International Workshop in OCL and Textual Modeling (OCL), Munic, Alemanya, 16, setembre de 2019 | - |
dc.relation.uri | http://ceur-ws.org/Vol-2513/paper4.pdf | - |
dc.rights | CC BY | - |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/es/ | - |
dc.subject | software modeling | en |
dc.subject | verification and validation | en |
dc.subject | testing | en |
dc.subject | classifying term | en |
dc.subject | OCL | en |
dc.subject | Alloy | en |
dc.subject | software de modelado | es |
dc.subject | programari de modelatge | ca |
dc.subject | verificació i validació | ca |
dc.subject | verificación y validación | es |
dc.subject | OCL | es |
dc.subject | OCL | ca |
dc.subject | proves | ca |
dc.subject | pruebas | es |
dc.subject | terme classificador | ca |
dc.subject | término clasificador | es |
dc.subject | Alloy | es |
dc.subject | Alloy | ca |
dc.subject.lcsh | UML (Computer science) | en |
dc.title | A feasibility study on using classifying terms in alloy. A case study | - |
dc.type | info:eu-repo/semantics/conferenceObject | - |
dc.subject.lemac | UML (Informàtica) | ca |
dc.subject.lcshes | UML (Informática) | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.gir.id | AR/0000007490 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/H2020/737494 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/TIN2016-75944-R | - |
Aparece en las colecciones: | Articles cientÍfics Conferències |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Clariso_CEUR_Feasibility.pdf | 916,99 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons