Una técnica para una especificación inicial en RSL

Mostrar todas las versiones(2)

Los métodos formales se están usando actualmente para la construcción de sistemas reales, ya que contribuyen a aumentar la calidad y confiabilidad del software. Sin embargo, generalmente sólo son accesibles a especialistas. Esto resulta inconveniente sobre todo durante las primeras etapas del proces...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mauco, Virginia
Otros Autores: Riesco, Daniel Eduardo
Formato: Tesis Tesis de maestria
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
Software
Aplicación informática
Informática
Requerimientos/Especificaciones
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/4093
https://doi.org/10.35537/10915/4093
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares