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 International Publishing
ilmumisaasta
2015
leheküljed
p. 349-364
seeria-sari
Communications in computer and information science ; 555
leitav
http://dx.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