Takaisin

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

Ladannut Admin Arquisoft, 20.3.2019 17:28
Keskiarvo (0 Ääniä)
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".
Tagit: ρ-arq calculus component-based software architecture architectural execution flow linear temporal logic model checking
1 jostakin 2
Kommentit

Versio 1.4

Viimeksi päivittänyt Admin Arquisoft
20.3.2019 18:21
Tila: Hyväksytty
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".
Lataa (176k) Ota
Versiohistoria
Versio Päiväys Koko  
1.4 10 Kuukaudet sitten 176k
1.3 10 Kuukaudet sitten 1 008k
1.2 10 Kuukaudet sitten 0k
1.1 10 Kuukaudet sitten 0k
1.0 10 Kuukaudet sitten 0k