Subir material

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

 

Verification and validation of domain specific languages using Alloy

Tipo de documento: Objeto de conferencia

Resumen

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.

Notas

XII Workshop Ingeniería de Software (WIS)

Información general

Fecha de exposición: octubre 2015
Fecha de publicación: 2015
Idioma del documento: Inglés
Evento: XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015)
Institución de origen: Red de Universidades con Carreras en Informática (RedUNCI)
ISBN: 978-987-3806-05-6

Documentos relacionados

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (911.3Kb) - PDF
 
Creado el: 21 de diciembre de 2015
Disponible en SEDICI desde: 21 de diciembre de 2015
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/50355

    • 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)