Improving lazy abstraction for SCR specifications through constraint relaxation

"Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirements, they tend to refer to real-world magnitudes often characterized throu...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Degiovanni, Renzo, Ponzio, Pablo, Aguirre, Nazareno, Frías, Marcelo
Formato: Artículos de Publicaciones Periódicas acceptedVersion
Lenguaje:Inglés
Publicado: 2020
Materias:
ESPECIFICACIONES
INGENIERIA DE SOFTWARE
VERIFICACION DE SOFTWARE
Acceso en línea:http://ri.itba.edu.ar/handle/123456789/2228
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)

Ejemplares similares

Ejemplares similares