Time semantics of executable activity diagrams for relativized conformance testing
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
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
subject term
keyword
executable UML
activity diagram
time semantics
conformance
rtioco conformance relation
ISBN
978-1-4503-8135-2
notes
Bibliog.: 16 ref
TTÜ department
language
inglise
Uurimisrühm
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.