戻る

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/02/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
1 / 13
コメント
コメントはありません コメントをする

バージョン 1.6

最終更新者 Admin Arquisoft
19/03/20 17: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) URLWebDAV URLを取得する
バージョン履歴
バージョン 日時 サイズ  
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