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

Mostrar todas las versiones(2)

Los métodos formales ayudan a incrementar la confiabilidad del software. Estos métodos permiten “razonar” acerca de propiedades del software o de sistemas que involucran software. Además, ofrecen la seguridad de que los requisitos son verificados en cada paso del desarrollo, encontrando inconsisten...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Mauco, Virginia, Riesco, Daniel Eduardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
especificación inicial en RSL
técnica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21733
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares