Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2015-12-21T16:32:19Z
dc.date.available 2015-12-21T16:32:19Z
dc.date.issued 2015
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/50355
dc.description.abstract A domain specific language (DSL) focuses on a particular problem domain, facilitating the specification of its instances. Since they are frequently defined using imprecise languages, such as UML, they present ambiguities and their verification and validation (V&V) becomes complex. This paper proposes an approach to the precise definition of DSLs using Alloy - a formal language with tool-support that enables its V&V. The approach is illustrated with a DSL for Software Architecture. en
dc.language en es
dc.subject Verification es
dc.subject domain specific language (DSL) en
dc.subject Validation es
dc.title Verification and validation of domain specific languages using Alloy en
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-987-3806-05-6 es
sedici.creator.person Garis, Ana Gabriela es
sedici.creator.person Sanchez, Alejandro es
sedici.description.note XII Workshop Ingeniería de Software (WIS) es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2015-10
sedici.relation.event XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015) es
sedici.relation.isRelatedWith http://sedici.unlp.edu.ar/handle/10915/50028 es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (911.3Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)