Atrás

Especificación formal de arquitecturas de software basadas en componentes chequeo de corrección con cálculo−ρarq

Especificación formal de arquitecturas de software basadas en componentes chequeo de corrección con cálculo−ρarq (Versión 1.0)

Subido por Admin Arquisoft, 21/02/15 1:53
Promedio (0 Votos)
En esta publicación se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Estos modelos son especificados por medio del cálculo − ρarq. Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transición Rotulado ( STR, en adelante) ampliado con el concepto de transición condicionada para variables lógicas cuya resolución podría obtenerse desde un repositorio global de restricciones. La segunda, la teoríıa de equivalencia de observación propuesta por Robin Milner y sus colaboradores en la Universidad de Cambridge
Etiquetas: cálculo ρarq componentes de software modelo de referencia sistema de transición rotulado arquitectura de referencia chequeo de corrección equivalencia de observación método formal
1 de 16
Comentarios
No hay ningún comentario aún. Sea usted el primero.

Versión 1.0

Modificado por última vez por Admin Arquisoft
21/02/15 1:53
Estado: Aprobado
En esta publicación se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Estos modelos son especificados por medio del cálculo − ρarq. Se hace uso de dos herramientas formales; la primera, el concepto de Sistema de Transición Rotulado ( STR, en adelante) ampliado con el concepto de transición condicionada para variables lógicas cuya resolución podría obtenerse desde un repositorio global de restricciones. La segunda, la teoríıa de equivalencia de observación propuesta por Robin Milner y sus colaboradores en la Universidad de Cambridge
Descargar (376k) Obtener la URL o la URL WebDAV.
Histórico de versiones
Versión Fecha Tamaño  
1.0 hace 2 Años 376k