Zurück

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

Hochgeladen von Admin Arquisoft, 20.03.19 17:28
Durchschnitt (0 Stimmen)
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".
Schlagwörter: ρ-arq calculus component-based software architecture architectural execution flow linear temporal logic model checking
1 von 2
Kommentare

Version 1.4

Zuletzt aktualisiert von Admin Arquisoft
20.03.19 18:21
Status: Genehmigt
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".
Herunterladen (176k) URL oder WebDAV URL anzeigen.
Versionshistorie
Version Datum Größe  
1.4 Vor 10 Monate 176k
1.3 Vor 10 Monate 1.008k
1.2 Vor 10 Monate 0k
1.1 Vor 10 Monate 0k
1.0 Vor 10 Monate 0k