DynAlloy analyzer: a tool for the specification and analysis of Alloy models with dynamic behaviour

"We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and extends their syntax with a particular idiom, inspired in dynamic logic, for t...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Regis, Germán, Cornejo, César, Gutiérrez Brida, Simón, Politano, Mariano, Raverta, Fernando, Ponzio, Pablo, Aguirre, Nazareno, Galeotti, Juan Pablo, Frías, Marcelo
Formato: Ponencias en Congresos acceptedVersion
Lenguaje:Inglés
Publicado: 2019
Materias:
ALLOY
VALIDACION DE SOFTWARE
RESPUESTA DINAMICA
LENGUAJES DE ESPECIFICACION
VERIFICACION DE SOFTWARE
Acceso en línea:http://ri.itba.edu.ar/handle/123456789/1764
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)

Ejemplares similares

Ejemplares similares