Integración del modelo de procesos con el método RAISE

Los métodos formales nos garantizan el desarrollo de software de calidad. Utilizan una base matemática para describir las propiedades del sistema, permitiendo desarrollar y verificar matemáticamente los sistemas de manera sistemática. Sin embargo en el desarrollo de grandes sistemas donde involucran...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Montejano, Germán Antonio, Riesco, Daniel Eduardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21728
Aporte de:

Ejemplares similares