Vissza

Cálculo para el modelado formal de arquitecturas de software basadas en componentes

Cálculo para el modelado formal de arquitecturas de software basadas en componentes

Uploaded by Admin Arquisoft, 2015.02.21. 2:00
Átlagos (0 Szavazatok)
El cálculo ρ-arq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. La idea subyacente es partir de una configuración estática inicial que sólo es susceptible de pasar a una nueva configuración por medio de la aplicación de reglas de la semántica operacional del formalismo desarrollado. Para dar más alcance semántico a los diagramas de componentes en UML 2.x se propone una extensión estereotipada de la notación gráfica.
Címkék: uml 2.x chequeo de modelos cálculo ρ-arq métodos formales álgebra de procesos arquitectura de software basada en componentes
1 a következőből: 13
Megjegyzések
Még nincsenek hozzászólások. Légy első!

Verzió 1.6

Utoljára Admin Arquisoft frissítette
2019.03.20. 17:18
Státusz: Jóváhagyva
El cálculo ρ-arq es una notación formal para especificar aspectos estructurales y dinámicos de arquitecturas de software basadas en componentes. La idea subyacente es partir de una configuración estática inicial que sólo es susceptible de pasar a una nueva configuración por medio de la aplicación de reglas de la semántica operacional del formalismo desarrollado. Para dar más alcance semántico a los diagramas de componentes en UML 2.x se propone una extensión estereotipada de la notación gráfica.
Letöltés (327k) Szerezz egy URL-t.vagy WebDAV URL-t.
Verzió-előzmények
Verzió Dátum Méret  
1.6 Ennyivel előtte: 10 Hónapok 327k
1.5 Ennyivel előtte: 10 Hónapok 327k
1.4 Ennyivel előtte: 10 Hónapok 327k
1.3 Ennyivel előtte: 10 Hónapok 327k
1.2 Ennyivel előtte: 10 Hónapok 327k
1.1 Ennyivel előtte: 4 Évek 327k
1.0 Ennyivel előtte: 4 Évek 0k