返回

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 (版本 1.2)

缩略图 由Arquisoft Admin，19-2-22 下午7:48上传
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 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
标签: 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 的 16
评论
还没有评论。 发表第一个留言。

版本 1.2

由Arquisoft Admin最近更新
19-3-19 下午12:37
状态: 已批准
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 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
下载 (376k) 获取
阅读更多。
自动提取的元数据
版本历史
版本 日期 大小  
1.7 5 年之前 376k
1.6 5 年之前 376k
1.5 5 年之前 376k
1.4 5 年之前 376k
1.3 5 年之前 376k
1.2 5 年之前 376k
1.1 5 年之前 376k
1.0 5 年之前 376k