Teaching Visit in International Universities


  • 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