A tool-supported approach for introducing aspects in UPPAAL timed automata
author
Truscan, Dragos
Vain, Jüri
Koskinen, Martin
Iqbal, Junaid
statement of authorship
Dragos Truscan, Jüri Vain, Martin Koskinen, and Junaid Iqbal
source
Software technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers
location of publication
Cham
publisher
Springer
year of publication
2015
pages
p. 349-364
series
Communications in computer and information science ; 555
url
https://doi.org/10.1007/978-3-319-25579-8_20
subject term
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
quartile
Q3
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
Mathematics. General mathematics
Matemaatika. Üldmatemaatika
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
keyword
aspect-oriented modeling
UPPAAL timed automata
model transformation
ISSN
1865-0929
ISBN
978-3-319-25578-1
notes
Bibliogr.: 24 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
arvutiteaduse instituut
language
inglise