Integración de técnicas de análisis de dominio con especificaciones RSL

Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo de vida del desarrollo de software y también este desarrollo puede...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Felice, Laura
Otros Autores: Riesco, Daniel Eduardo
Formato: Tesis Tesis de maestria
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
análisis de dominio
Domain engineering
especificaciones RSL
SOFTWARE ENGINEERING
Software
métodos formales
modelos de dominio
feature-orientation
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/28972
https://doi.org/10.35537/10915/28972
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares