TalTech publikatsioonid
pealdis Iqbal, J., Truscan, D., Porres, I., Tsiopoulos, L., Vain, J.
TTÜ struktuuriüksus arvutiteaduse instituut
maakood fi
keel inglise
autor Iqbal, Junaid
Truscan, Dragos
Porres, Ivan
Tsiopoulos, Leonidas
Vain, Jüri
pealkiri The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
vastutusandmed Junaid Iqbal, Dragos Truscan and Ivan Porres, Leonidas Tsiopoulos, Juri Vain
ilmumiskoht Turku
kirjastus/väljaandja Turku Centre for Computer Science
ilmumisaasta 2016
leheküljed 32 p. : ill
seeria-sari TUCS technical report ; 1169
märksõna tarkvaraarendus
tarkvara projekteerimine
süsteemide projekteerimine
võtmesõna aspect-oriented modelling
UPPAAL timed automata
aspect weaving
compositional verification
compositional testing
ISBN 978-952-12-3473-6
ISSN 1239-1891
märkused Bibliogr.: 13 ref
url http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a