Course : Business Process Design
Date : Mai 2018
Audience : Master students
University : Lublin University of Technology, Poland
Keywords : Business process, Workflow, BPMN, IOBP.
Course : Cloud Resource Allocation in Business Process
Date : November 2018
Audience : Master students
University : University of Jaen, Spain
Keywords : Cloud computing, Resources, BPMN, Temporal properties.
Courses taught in the University of Sfax
Course : Component-based software engineering (CBSE)
Audience : M2 - Master on information systems and new technologies
Keywords : Component, Software architecture, Architectural style, ADL, AADL.
Course : Tools for model-driven architecture
Audience : M2 - Master on Information Systems and New Technologies
Keywords : Meta-model, Model transformation, ATL, Code generation, Acceleo
Course : Programming languages paradigms
Audience : M1 - Master on information systems and new technologies
Keywords : Aspect-oriented programming, AspectJ, Python
Course : Formal Methods
Audience : M1 - Master on information systems and new technologies
Keywords : Model Checking, Theorem proving, Petri Nets, Z notation
Course : Service-oriented architecture
Audience : L3 - Business computing licence (Bachelor's degree)
Keywords : XML technologies, Web services, WSDL, SOAP, REST
Course : Object-oriented programming
Audience : L2 - Business computing licence (Bachelor's degree)
Keywords : Basic concepts of the OOP and Java language
Course : Techniques and languages of Internet
Audience : Engineering course
Keywords : HTML, CSS, JavaScript
Course : Formal specification with Petri net
Audience : Engineering course
Keywords : Model checking, Theorem proving, Petri Net