Modelización y verificación automática de un proceso software
En este artículo se presenta la modelización y verificación de los aspectos dinámicos y temporales de un proceso software convencional. La modelización de los aspectos dinámicos se representa mediante un metamodelo de diagramas de actividades de UML y la modelización de los aspectos temporales con u...
Guardado en:
| Autores principales: | Sosa, Mabel, Ledesma, María I., Acuña, Silvia T. |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2005
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23079 |
| Aporte de: |
Ejemplares similares
-
OpenUP/MMU-ISO : Soporte para un proceso de desarrollo de software conforme al modelo ISO de Madurez en Usabilidad
por: Rodríguez, Andrés Santiago
Publicado: (2011) -
Mejora de procesos en el desarrollo de sistemas de software y en procesos de gestión : Experiencias en PyMEs
por: Pesado, Patricia Mabel, et al.
Publicado: (2013) -
Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
por: Cengia, Javier Andrés
Publicado: (2003) -
Desarrollo de aplicaciones a partir de componentes reusables
por: Faiella, Germán Darío, et al.
Publicado: (1994) -
Tres pilares para la implantación de sistemas
por: Mon, Alicia, et al.
Publicado: (2012)