Retour

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 (Version 1.0)

Miniature Uploaded by Arquisoft Admin, 22/02/19 19:48
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
Étiquettes: 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
Commentaires
Aucun commentaire. Soyez le premier.

Version 1.0

Dernière mise à jour par Arquisoft Admin
22/02/19 19:48
Statut: Approuvé
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
Téléchargement (376k) Get
En savoir plus.
Métadonnées automatiquement extraites
Historique des versions
Version Données Taille  
1.7 Il y a 5 Années 376k
1.6 Il y a 5 Années 376k
1.5 Il y a 5 Années 376k
1.4 Il y a 5 Années 376k
1.3 Il y a 5 Années 376k
1.2 Il y a 5 Années 376k
1.1 Il y a 5 Années 376k
1.0 Il y a 5 Années 376k