Generating Python Code from Object-Z Specifications

Azzawi, A.F. Al; Bettaz, Mohamed; Al-Refai, Hasan

doi:10.5121/ijsea.2017.8401

Cited by 1 publication

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This section gives the FORM/BCS semantics of the BMP study plan. The Z formal specification language [20,21] is used because it lays down the foundation for a rigorous analysis of the method assets and the UML modeling concepts specified by OMG [22] because they are able to support domain engineering. We will use principally the UML types Attribute, Operation, Action and universal types like Boolean and Text which will be considered as basic.…”

Section: Student Mobility In Cameroon University Ecosystem Managing M...mentioning

confidence: 99%

Managing Student Mobility in Cameroon’s University Ecosystem: A FORM/BCS Approach

Ngoumou,

Roger,

Ndjodo

2023

jcse. journal. of. computer. science. and. engineering.

View full text Add to dashboard Cite

Nowadays, student mobility cannot be avoided in Cameroon university ecosystem. This phenomenon has many causes. Certain students live with their parents who are civil servants and they have to move with them when they are sending to a different region; another situation is link to universities newly created in cities where the cost of the live is better than in the home university city and students prefer move to these new universities. Since student circuit is not the same in each university, it is difficult to find his level in the new university and which courses he has to follow in order to complete his training. This problem is crucial in Cameroon university ecosystem and we tackle it in this paper. The Feature Oriented Reuse Method with Business Component Semantics (FORM/BCS) is a software domain engineering method that has been proposed to design an adaptable architecture for systems belonging in a same business domain. In this work, we apply the FORM/BCS method to manage student mobility in Cameroon university ecosystem. The result of this work is a management model that allows once a student gets an enrolment in a new university, to transfer credit from the student home university to the host one.

show abstract

Section: Student Mobility In Cameroon University Ecosystem Managing M...mentioning

confidence: 99%