Keyword:transformation

Papers
Professional Competences of the Economic, Administrative and Accounting Sciences in the Framework of Industry 4.0 Leidy Paola Cruz Botache, Nidia Mileydy Herrera Osorio and Erick Sierra Castillo EasyChair Preprint no. 3944
Adaptive Intelligence - catalysing an evolutionary economic transformation Claudius van Wyk EasyChair Preprint no. 2295
SWRL2SPIN: Converting SWRL to SPIN Nick Bassiliades EasyChair Preprint no. 520
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation