Now showing items 1-1 of 1
Tool support for transforming Unified Modelling Language sequence diagram to coloured Petri nets
(2016-10-19) - Journal article,
Modern software systems are expected to be dependable and the development of such systems requires strong modelling and analysis methods. Model-Driven Development is becoming a mainstream practice in software development ...