Cracking OIL: A Formal Perspective on an Industrial DSL for Modelling Control Software
Olav Bunte Promotors: dr. Tim A.C. Willemse (TU/e) Co-promotors: dr. Louis C.M. van Gool (Canon Production Printing) Eindhoven University of Technology Date: 5 September 2024 Thesis: PDF Summary In the past decades, the amount of software in the world has grown immensely. Not only has the number of software systems …