返回

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

Admin Arquisoft,15-2-21 上午2:00上传
平均 (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
113
评论
还没有评论。 发表第一个留言。

版本 1.6

由Admin Arquisoft最近更新
19-3-20 下午5:18
状态: 已批准
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) 获取
版本历史
版本 日期 大小  
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