当前位置: 首页 > 学术专栏 正文

Model-Driven Software Engineering – Theory meets Practice

 

Head of Centre for Software Engineering
Faculty of Computing, Engineering and Built Environment
Birmingham City University, UK
 
Abstract
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.

时间:第一周周五下午16:00

地点:八阶


重庆文理学院 软件工程学院 版权所有 [管 理][旧版首页]
电话:023-49891802 传真:023-49891553 邮编:402160
技术支持:现代教育技术中心  软件开发工作室