Vissza

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)

Uploaded by Admin Arquisoft, 2015.02.21. 1:53
Átlagos (0 Szavazatok)
Se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Los 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.
Címkék: 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 chequeo de modelos cálculo ρ-arq
1 a következőből: 16
Megjegyzések
Még nincsenek hozzászólások. Légy első!

Verzió 1.5

Utoljára Admin Arquisoft frissítette
2019.03.20. 19:35
Státusz: Jóváhagyva
Se propone un método formal para el chequeo de corrección de arquitecturas de referencia basadas en componentes de software. Los 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.
Letöltés (376k) Szerezz egy URL-t.vagy WebDAV URL-t.
Verzió-előzmények
Verzió Dátum Méret  
1.5 Ennyivel előtte: 10 Hónapok 376k
1.4 Ennyivel előtte: 10 Hónapok 376k
1.3 Ennyivel előtte: 10 Hónapok 376k
1.2 Ennyivel előtte: 10 Hónapok 376k
1.1 Ennyivel előtte: 10 Hónapok 376k
1.0 Ennyivel előtte: 4 Évek 376k