Font Size: a A A

The Research And Realization Of The Online Teaching System For The Convenient Model Driven Software Development Method

Posted on:2019-02-12Degree:MasterType:Thesis
Country:ChinaCandidate:Z W LiuFull Text:PDF
GTID:2417330545971450Subject:Computer Science and Technology
Abstract/Summary:PDF Full Text Request
In software engineering,a serious challenge has always been improving efficiency in software development and the quality of software.MDD(Model Driven Development),a revolutionary breakthrough of software development technology,is the best answer for problems like low efficiency in development process,poor equality of software and high cost for maintenance.There are two main patterns of MDD——one is based on UML,the other is based on formalization method.Though the MDD based on UML has been widely used,it has been criticized by academia for its unassured quality caused by semantic and grammar imprecision.Convenient MDD,put forward by my tutor Xue Jingyun,is based on MDD formalization method.Backed by strict mathematical theory and launched with innovative concepts and technologies,it is theory-supported in verification of model itself,modeling language,model representation and model transformation.It has been implemented in development of Safety-Critical software in military and aviation field for advantages in maintenance and reliability.Nonetheless,only a few people are capable of mastering this method,mainly because it's too complicated for students to grasp and certain aid teaching system are still not in place,making it hard for Convenient MDD to spread,which calls for the development of online teaching system in accordance with certain learning characteristic of MDD.This essay focuses on in-depth study of Convenient MDD and put forward a model of online teaching system fitting its certain learning characteristic.The system have functions including teaching and learning through media,online modeling and online compiling and running,which helps students grasp Convenient MDD step by step,through the combination of theory and practice.Main innovative approachs of this essay include:1.In this teaching system,new generics concepts have been implemented in abstracting words,pictures,audio and videos to universal objects in curriculum making.As such,the making of curriculum has been greatly simplified and quickened because adding different types of course content has become equivalent to adding objects.2.In this teaching system,techniques for combining Cross-media services has been implemented to enrich manifestations of curriculum and energize the lectures.What's more,online modeling,model transformation and program running are also provided in this system for users to practice while learning theoretical courses online,which improves their learning efficiency.None of these functions can be found in online teaching systems like MOOC.
Keywords/Search Tags:MDD, software reliability, formal method, online teaching system
PDF Full Text Request
Related items