חזרה

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 (גירסא 1.4)

Uploaded by Admin Arquisoft, 17:28 20/03/19
ממוצע (0 הצבעות)
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".
תגים: ρ-arq calculus component-based software architecture architectural execution flow linear temporal logic model checking
1 של ה- 2
הערות

גירסא 1.4

עודכן לאחרונה על ידי Admin Arquisoft
18:21 20/03/19
סטטוס: מאושר
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".
הורד (176k) Get
היסטורית גירסא
גירסא תאריך גודל  
1.4 לפני 11 חודשים 176k
1.3 לפני 11 חודשים 1,008k
1.2 לפני 11 חודשים 0k
1.1 לפני 11 חודשים 0k
1.0 לפני 11 חודשים 0k