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...
Guardado en:
| 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
-
Towards the verification of RAISE specifications through Model Checking
por: Perna, Juan Ignacio, et al.
Publicado: (2006) -
Moodelling of processes and formal methods
por: Riesco, Daniel Eduardo, et al.
Publicado: (2002) -
Tríptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología RAISE
por: Paganini, José Humberto, et al.
Publicado: (2012) -
Triptico de la ingeniería del software : Análisis desarrollo y aplicaciones de metodología raise
por: Paganini, José Humberto, et al.
Publicado: (2009) -
Tríptico de la ingenería del software : Análisis, desarrollo y aplicaciones de metodología raise
por: Paganini, José Humberto, et al.
Publicado: (2010)