full record print

Time semantics of executable activity diagrams for relativized conformance testing

author
statement of authorship
Junaid Iqbal (Åbo Akademi University, Finland), Dragos Truscan (Åbo Akademi University, Finland), Jüri Vain
source
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
location of publication
New York
publisher
ACM
year of publication
pages
p. 251-256
conference name, date
IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), October 19, 2020
url
ISBN
978-1-4503-8135-2
notes
Bibliog.: 16 ref
TTÜ department
language
inglise
subject term
keyword
executable UML
activity diagram
time semantics
conformance
rtioco conformance relation
Reserch Group
High-assurance software laboratory
Iqbal, J., Truscan, D., Vain, J. Time semantics of executable activity diagrams for relativized conformance testing // MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York : ACM, 2020. p. 251-256. https://doi.org/10.1145/3417990.3421399