Amine Achouri

To demonstrate the validity of my PhD approach, i have developed a functional prototype named MAV-UML-AD. This tool allows the specification and transformation of UML Activity Diagram models to an Event-B specification. Based on the institutional framework we have identified, this tool contains all the essential for the transformation of UML Activity Diagram.

Development and management of Oracle Database. Enterprise oriented Developer offering complete clients needs. working with the client and advising them on the future road map. responsibility for the analysing requirements and suggesting them how that can be achieved. Development of worklow oriented application.

-Member of the Scientific Advisory Board of the department of computer science in the Faculty of sciences of Tunis, Tunisia. giving courses on: *Basic software (1st year of second level computer engineer cycle). *Operating Systems (2nd Level of the second year computer engineer cycle). *Automata Theory (2nd Level of the second year computer engineer cycle). *Graphs and waves (1st year of second level computer engineer cycle). *Operating Systems (1st year level of computer license cycle).