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
Scopus
https://www.scopus.com/sourceid/17700155007
https://www.scopus.com/record/display.uri?eid=2-s2.0-84951200780&origin=inward&txGid=efe326552268828f02982130368d94dd
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000369296800020
kvartiil
Q3
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
võtmesõna
aspect-oriented modeling
UPPAAL timed automata
model transformation
ISSN
1865-0929
ISBN
978-3-319-25578-1
märkused
Bibliogr.: 24 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise