Amine Achouri

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Uml Activity Diagrams

Database Design

Top Venues

COMPSAC Workshops

Int. J. Comput. Sci. Eng.

Publications

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Institution-based UML activity diagram transformation with semantic preservation. Int. J. Comput. Sci. Eng. 18 (3) (2019)
Amine Achouri, Leila Jemni Ben Ayed
A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory. CoRR (2016)
Amine Achouri, Leila Jemni Ben Ayed
UML activity diagram to event-B: A model transformation approach based on the institution theory. IRI (2014)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Institution Theory for Services Oriented Applications. COMPSAC Workshops (2014)
Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed
Towards an Institutional Representation for the B Model Oriented Specification. COMPSAC Workshops (2014)
Amine Achouri, Leila Jemni Ben Ayed
Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory. ICSOFT (2013)