Retour

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, 21/02/15 02:00
Moyenne (0 Voter)
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.
Étiquettes: uml 2.x chequeo de modelos cálculo ρ-arq métodos formales álgebra de procesos arquitectura de software basada en componentes
1 de 13
Commentaires
Aucun commentaire. Soyez le premier.

Version 1.6

Dernière mise à jour par Admin Arquisoft
20/03/19 17:18
Statut: Approuvé
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.
Téléchargement (327k) Get
Historique des versions
Version Données Taille  
1.6 Il y a 10 Mois 327k
1.5 Il y a 10 Mois 327k
1.4 Il y a 10 Mois 327k
1.3 Il y a 10 Mois 327k
1.2 Il y a 10 Mois 327k
1.1 Il y a 4 Années 327k
1.0 Il y a 4 Années 0k