חזרה

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, 02:00 21/02/15
ממוצע (0 הצבעות)
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.
תגים: uml 2.x chequeo de modelos cálculo ρ-arq métodos formales álgebra de procesos arquitectura de software basada en componentes
1 של ה- 13
הערות
אין תגובות עדיין. היה הראשון

גירסא 1.6

עודכן לאחרונה על ידי Admin Arquisoft
17:18 20/03/19
סטטוס: מאושר
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.
הורד (327k) Get
היסטורית גירסא
גירסא תאריך גודל  
1.6 לפני 10 חודשים 327k
1.5 לפני 10 חודשים 327k
1.4 לפני 10 חודשים 327k
1.3 לפני 10 חודשים 327k
1.2 לפני 10 חודשים 327k
1.1 לפני 4 שנים 327k
1.0 לפני 4 שנים 0k