The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
autor
Iqbal, Junaid
Truscan, Dragos
Porres, Ivan
Tsiopoulos, Leonidas
Vain, Jüri
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
leitav
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
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
TTÜ struktuuriüksus
arvutiteaduse instituut
keel
inglise