软件工程一直面临的巨大挑战是如何提高软件开发的效率和软件的质量。模型驱动软件开发(Model Driven Development,MDD),是改变软件生产效率低、质量差、维护难等问题的最有效方法,是软件开发技术的革命性变革。当前实现MDD的途径主要分为两种:基于UML的MDD和基于形式化方法的MDD。尽管基于UML的MDD已经得到广泛使用,但却存在语法和语义不够严格等问题,难以保证软件的质量,因此备受学术界的批评。便捷模型驱动软件开发方法,是本文指导教师薛锦云教授提出的一种基于形式化的MDD开发方法,该方法具有严格的数学理论基础,同时提出了诸多创新性概念与技术,使得建模语言、模型表示、模型变换和模型的正确性验证,均建立在严谨的理论基础上。应用该方法开发的软件具有可靠性高和可维护性好等优点,并已经应用在航空军用等领域的安全性攸关(Safety-Critical)软件中。尽管如此,理解掌握该软件开发方法的人仍较少,其主要原因是该方法理论知识较复杂,缺少相应的辅助教学系统,学生自学难度大,限制了该方法的推广。因此,急需研制针对该方法学习特点的在线教学系统。本文对便捷模型驱动软件开发方法进行了深入的研究,针对该方法的学习特点,设计实现了相应的在线教学系统。该系统的功能包括跨媒体课程教学、在线建模、在线程序编译运行等,这些功能能够帮助学生在学习的过程中理论与实践相结合,循序渐进地理解掌握便捷模型驱动软件开发方法。本文的主要创新包括以下几个方面:1、本教学系统在课程制作上充分应用了新型泛型思想,将文字、图片、音频、视频等各种形式的课程内容高度抽象成为统一的对象,使得将各种课程内容的添加转换成统一的对象的添加,极大地简化了课程的制作过程,有利于快速制作课程。2、本教学系统不仅使用了跨媒体服务组合技术,使得课程内容的表现形式更加丰富,有利于将课程内容讲解得生动活泼,更是提供了在线建立模型、模型转换、程序运行等功能,使得用户在线学习理论课程的同时还可以直接进行动手实践,十分有利于提高用户的学习效率。这些功能在MOOC等在线教学系统中都不支持。