Retour

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus

Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through ρ-arq Calculus

Uploaded by Admin Arquisoft, 20/03/19 17:28
Moyenne (0 Voter)
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. The paper was published in "Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, Proceedings WEA 2018. Part 1. Medellín, Colombia, October 17-19, 2018".
Étiquettes: ρ-arq calculus component-based software architecture architectural execution flow linear temporal logic model checking
1 de 2
Commentaires

Version 1.4

Dernière mise à jour par Admin Arquisoft
20/03/19 18:21
Statut: Approuvé
This paper reports a mechanism to incorporate Linear Temporal Logic (LTL) for a component-based software architectural configuration specified by the ρ-arq calculus. The paper was published in "Applied Computer Sciences in Engineering: 5th Workshop on Engineering Applications, Proceedings WEA 2018. Part 1. Medellín, Colombia, October 17-19, 2018".
Téléchargement (176k) Get
Historique des versions
Version Données Taille  
1.4 Il y a 10 Mois 176k
1.3 Il y a 10 Mois 1 008k
1.2 Il y a 10 Mois 0k
1.1 Il y a 10 Mois 0k
1.0 Il y a 10 Mois 0k