Towards a Formal Model of UB1-HIT Joint Master Curriculum
2010-12-31 00:00:00CHENDavidVALLESPIRBrunoTUZhi-yingBOURRIESJean-Paul
計算機教育 2010年9期
Abstract: Existing university training curricular are usually presented using text and tables. Semantics and inter-relationships between courses are often implicit or even not defined. This paper tentatively presents a formal model of the joint UB 1-HIT international master curriculum. The courses of the two years are modelled using UML and the relationships between the two years are explicitly shown. Complementarities between years 1 and 2 are also identified and possible improvements are discussed.
Key words: joint master; international collaboration; formal mod
