The course is delivered to MIPT DIHT first year graduate students in Spring 2017 as an alternative course.
Professor: Anton Khritankov (contact: prog.autom (at) gmail.com)
Course includes five major topics that automate software development:
Lectures are complemented with three labs:
There are 32 lecture hours and 16 lab hours in the course (a 2-hour lab each two weeks).
Course starts 16.02.2017.
Extended course syllabus can be downloaded here (in Russian).
Exam questions from year 2014 can be found here (in Russian)
Schedule will be adapted to project needs.
|#||Topic||Project topics covered|
|1||Introduction to Model-Driven Software Development||General|
|2||UML 2. Classes. Review||UML|
|3||UML 2. Statecharts. Review||UML|
|4||Executable UML.||Code generator|
|5||Foundational UML (fUML). Action Language for fUML (ALF)||UML|
|6||Meta-modeling. Model-to-Model Transformation. Query-View-Transformation||Code generator|
|7||Developing Model-to-Text transformations||Code generator|
|8||Developing Domain-Specific Languages||DSL|
|9||Introduction to DSM and Domain-Driven Design||DSL|
|10||Software product lines||Reuse|
|11||Applications of MDD. Software Factories. Embedded software. Case studies||Theory|
|12||Software testing. Model-based Testing overview. Test generation||Test generator|
|13||Testing from state-based and rule-based models.||Test generator|
|14||Automatic Software Defect Prediction / Detection||ML|
Individual assignments are given throughout the course. A list of available assignments to choose from is TBD (e.g. read a paper). See also Model-Driven Software Development Library (in Russian)
There is a final exam for the course. Exam schedule will be announced later.
Unless “fast win” the final grade (FG) includes:
If you complete a Fast Win project:
(sum is 125%)
Students with Fast Win > 7 before exam may skip the exam.
Fast win is an assignment, completion of which allows for getting the final grade.
Topics: UML, Code generator
Implement an MDA tool chain for UML 2 using XMI, XML and Groovy as target platform. Follow the ideas of Executable UML.
Note: A proof-of-concept implementation (PoC) is sufficient
Topics: DSL, Code generator
Implement a DDD framework that generates Web pages and DB schema from ECore data model.
State-transition test generator
Topics: UML, Test generator
Develop a test generator tool from state machines that uses SCXML and support all-states coverage criteria. Assume that conditions and triggers are written in Java.
Functional test generator
Topics: DSL, Test generator
Develop a DSL for specifying use-cases and develop a functional test generator from models in this DSL
TODO: more projects will be added
Fast wins are graded on a 1..10 scale.
A solution is graded 3 if the following holds
A solution is graded 6 if the following holds
A solution is graded 9 if the following
Intermediate gradings are given if only some of the requirements stated above are fulfilled
Use of any third-party libraries, applications or code in addition to the specified in the assignment is subject to approval from your TA or Professor.
Personal contribution to the solution of the assignment shall be significant and demonstrate your skill and knowledge of the course material.
Articles, Papers and Internet sources