Vés enrere

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

Miniatura Penjat per Arquisoft Admin, 22/02/19 19:48
Se propone un método formal para el chequeo de corrección de arquitecturas de software basadas en componentes. 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 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.
Etiquetes: componentes de software arquitectura de referencia modelo de referencia cálculo−ρarq método formal sistema de transición rotulado chequeo de corrección equivalencia de observación
1 de 16
Comentaris
Encara no hi ha cap comentari. Vull ser el primer.

Versió 1.7

Última modificació feta per Arquisoft Admin
19/03/19 12:53
Estat: Aprovat
Se propone un método formal para el chequeo de corrección de arquitecturas de software basadas en componentes. 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 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.
Descàrrega (376k) Obté la URL o la URL de WebDAV.
S'han extret les metadades automàticament
Historial de la versió
Versió Data Mida  
1.7 fa 5 Anys 376k
1.6 fa 5 Anys 376k
1.5 fa 5 Anys 376k
1.4 fa 5 Anys 376k
1.3 fa 5 Anys 376k
1.2 fa 5 Anys 376k
1.1 fa 5 Anys 376k
1.0 fa 5 Anys 376k