Verification and validation of domain specific languages using Alloy

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 pro...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Garis, Ana Gabriela, Sanchez, Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2015
Materias:
Ciencias Informáticas
Verification
Validation
domain specific language (DSL)
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/50355
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares