prindi

A tool-supported approach for introducing aspects in UPPAAL timed automata

autor
Truscan, Dragos
Vain, Jüri
Koskinen, Martin
Iqbal, Junaid
vastutusandmed
Dragos Truscan, Jüri Vain, Martin Koskinen, and Junaid Iqbal
allikas
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2015
leheküljed
p. 349-364
seeria-sari
Communications in computer and information science ; 555
leitav
https://doi.org/10.1007/978-3-319-25579-8_20
märksõna
tarkvaraarendus
programmeerimiskeeled
võtmesõna
aspect-oriented modeling
UPPAAL timed automata
model transformation
ISSN
1865-0929
ISBN
978-3-319-25578-1
märkused
Includes bibliogr
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise
Truscan, D., Vain, J., Koskinen, M., Iqbal, J. A tool-supported approach for introducing aspects in UPPAAL timed automata // Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers. Cham : Springer, 2015. p. 349-364. (Communications in computer and information science ; 555). https://doi.org/10.1007/978-3-319-25579-8_20