חזרה

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, 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 לפני 1 שנה 176k
1.3 לפני 1 שנה 1,008k
1.2 לפני 1 שנה 0k
1.1 לפני 1 שנה 0k
1.0 לפני 1 שנה 0k