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:
id I19-R120-10915-21728
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Process models
Modelo de Procesos
método RAISE
SOFTWARE ENGINEERING
spellingShingle Ciencias Informáticas
Process models
Modelo de Procesos
método RAISE
SOFTWARE ENGINEERING
Montejano, Germán Antonio
Riesco, Daniel Eduardo
Integración del modelo de procesos con el método RAISE
topic_facet Ciencias Informáticas
Process models
Modelo de Procesos
método RAISE
SOFTWARE ENGINEERING
description 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 diferentes unidades organizativas dentro de una corporación es difícil determinar la primera especificación formal, y más difícil aún permitir una comunicación fluida con los stakeholders de cada unidad organizativa. El modelado de procesos permite encontrar tareas que deben ser realizadas en cada una de las áreas de la organización. Para entender el dominio es crucial especificar cada una de esas tareas. Por lo tanto, utilizamos el modelado de procesos para encontrar cada una de las tareas dentro de cada unidad organizativa, y el método formal RAISE para definir de forma precisa esas tareas. A partir de la especificación formal de las tareas, se completa el proceso de desarrollo de software aplicando los pasos del método RAISE.
format Objeto de conferencia
Objeto de conferencia
author Montejano, Germán Antonio
Riesco, Daniel Eduardo
author_facet Montejano, Germán Antonio
Riesco, Daniel Eduardo
author_sort Montejano, Germán Antonio
title Integración del modelo de procesos con el método RAISE
title_short Integración del modelo de procesos con el método RAISE
title_full Integración del modelo de procesos con el método RAISE
title_fullStr Integración del modelo de procesos con el método RAISE
title_full_unstemmed Integración del modelo de procesos con el método RAISE
title_sort integración del modelo de procesos con el método raise
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21728
work_keys_str_mv AT montejanogermanantonio integraciondelmodelodeprocesosconelmetodoraise
AT riescodanieleduardo integraciondelmodelodeprocesosconelmetodoraise
bdutipo_str Repositorios
_version_ 1764820464846241793