Model-driven software engineering - Theory meets practice

Tuesday 10 June 2014

Trophy Suite, Tally Ho! Sports & Conference Centre, Pershore Road, Edgbaston, Birmingham, B5 7RN


For our June event, Professor Zhiming Liu will discuss model-driven software engineering, with a practical aspect.

About the speaker:

Prof. Zhiming Liu is Head of the Centre for Software Engineering in Faculty of Technology, Engineering and Environment at Birmingham City University.


Software engineering was born with the “software crisis”, caused by the increasing power of computers and growing complexity of software development. Formal methods have been developed to tackle the grand challenge of correctness and dependability of complex software. Today, software programs are everywhere, but they are deployed on different platforms and embedded in different kinds of devices.

These platforms and devices are distributed and connected with different networks. Consider smarter meters networked with industry control systems and mobile phone networks for home automation, and eHealth or mHealth. These applications of the so called“Internet of Things”, “smart cities” and “cyber-physical systems” (CPS) cannot be designed top-down from scratch or synthesised bottom-up from existing pieces.

They have to evolve incrementally from existing systems, even non-computerised systems, and be constantly maintained with updated technologies. In this talk, we discuss the fundamentals of model-driven software engineering and how its theory promises to deal with the complexity of these systems and in support of their evolution. In particular, we argue that an architecture-centric modelling method could be the hope to scale up formal method by linking theories to system engineering practice.


PDF Icon Model-driven software engineering - Theory meets practice