A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan; Jüri Vain; Martin Koskinen; Junaid Iqbal

doi:10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Dragos Truscan
, Jüri Vain
, Martin Koskinen
, Junaid Iqbal

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Redaktörer	A Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek, M Sinderen
Förlag	Springer
Sidor	349–364
ISBN (elektroniskt)	978-3-319-25579-8
ISBN (tryckt)	978-3-319-25578-1
DOI	https://doi.org/10.1007/978-3-319-25579-8
Status	Publicerad - 2015
MoE-publikationstyp	A3 Del av bok eller annan forskningsbok

Åtkomst av dokument

10.1007/978-3-319-25579-8

N4S: Need for Speed
Porres Paltor, I. (Ansvarig forskare), Nybom, K. (CoI), Truscan, D. (CoI), Ashraf, A. (CoI), Troubitsyna, E. (CoI), Byholm, B. (CoI), Rauf, I. M. (CoI) & Ahmad, T. (CoI)
01/01/14 → 31/12/16
Projekt: Företag/Business Finland
PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies
Truscan, D. (Ansvarig forskare), Ahmad, T. (CoI), Iqbal, J. (Ansvarig forskare), Porres Paltor, I. (CoPI) & Siavashi, F. (CoI)
01/01/12 → 31/12/15
Projekt: Företag/Business Finland

Citera det här

Truscan, D., Vain, J., Koskinen, M., & Iqbal, J. (2015). A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. I A. Holzinger, J. Cardoso, J. Cordeiro, T. Libourel, L. Maciaszek, & M. Sinderen (Red.), Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers (s. 349–364). Springer. https://doi.org/10.1007/978-3-319-25579-8

Truscan, Dragos ; Vain, Jüri ; Koskinen, Martin et al. / A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. redaktör / A Holzinger ; J Cardoso ; J Cordeiro ; T Libourel ; L Maciaszek ; M Sinderen. Springer, 2015. s. 349–364

@inbook{667f93f0e5b94b49bf65190510cd5b49,

title = "A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata",

author = "Dragos Truscan and J{\"u}ri Vain and Martin Koskinen and Junaid Iqbal",

year = "2015",

doi = "10.1007/978-3-319-25579-8",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-25578-1",

pages = "349–364",

editor = "A Holzinger and J Cardoso and J Cordeiro and T Libourel and L Maciaszek and M Sinderen",

booktitle = "Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers",

publisher = "Springer",

}

Truscan, D, Vain, J, Koskinen, M & Iqbal, J 2015, A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. i A Holzinger, J Cardoso, J Cordeiro, T Libourel, L Maciaszek & M Sinderen (red), Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Springer, s. 349–364. https://doi.org/10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. / Truscan, Dragos; Vain, Jüri; Koskinen, Martin et al.
Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. red. / A Holzinger; J Cardoso; J Cordeiro; T Libourel; L Maciaszek; M Sinderen. Springer, 2015. s. 349–364.

Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review

TY - CHAP

T1 - A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

AU - Truscan, Dragos

AU - Vain, Jüri

AU - Koskinen, Martin

AU - Iqbal, Junaid

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-25579-8

DO - 10.1007/978-3-319-25579-8

M3 - Kapitel

SN - 978-3-319-25578-1

SP - 349

EP - 364

BT - Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

A2 - Holzinger, A

A2 - Cardoso, J

A2 - Cordeiro, J

A2 - Libourel, T

A2 - Maciaszek, L

A2 - Sinderen, M

PB - Springer

ER -

Truscan D, Vain J, Koskinen M, Iqbal J. A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata. I Holzinger A, Cardoso J, Cordeiro J, Libourel T, Maciaszek L, Sinderen M, redaktörer, Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers. Springer. 2015. s. 349–364 doi: 10.1007/978-3-319-25579-8

A Tool-Supported Approach for Introducing Aspects in UPPAAL Timed Automata

Åtkomst av dokument

Projekt

N4S: Need for Speed

PAM: Practical Applications of Model-based technologies to continuous integration & testing methodologies

Citera det här