The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
author
Iqbal, Junaid
Truscan, Dragos
Porres, Ivan
Tsiopoulos, Leonidas
Vain, Jüri
statement of authorship
Junaid Iqbal, Dragos Truscan and Ivan Porres, Leonidas Tsiopoulos, Juri Vain
location of publication
Turku
publisher
Turku Centre for Computer Science
year of publication
2016
pages
32 p. : ill
series
TUCS technical report ; 1169
url
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
subject term
tarkvaraarendus
tarkvara projekteerimine
süsteemide projekteerimine
keyword
aspect-oriented modelling
UPPAAL timed automata
aspect weaving
compositional verification
compositional testing
ISBN
978-952-12-3473-6
ISSN
1239-1891
notes
Bibliogr.: 13 ref
TTÜ department
arvutiteaduse instituut
language
inglise