חזרה

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 לפני 1 שנה 327k
1.5 לפני 1 שנה 327k
1.4 לפני 1 שנה 327k
1.3 לפני 1 שנה 327k
1.2 לפני 1 שנה 327k
1.1 לפני 5 שנים 327k
1.0 לפני 5 שנים 0k