Abderrahman Matoussi

According to our database, Abderrahman Matoussi authored at least 10 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B.

Abderrahman Matoussi, Régine Laleau

Ingénierie des Systèmes d Inf., 2012

2011

Construction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals).

Abderrahman Matoussi

PhD thesis, 2011

Un outil de construction de spécifications abstraites Event-B dirigée par les buts.

Abderrahman Matoussi, Régine Laleau

Ingénierie des Systèmes d Inf., 2011

Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B .

Abderrahman Matoussi, Régine Laleau

Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

A first attempt to combine SysML requirements diagrams and B.

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

Innov. Syst. Softw. Eng., 2010

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned.

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau

Proceedings of the Formal Methods: Foundations and Applications, 2010

Improving Traceability between KAOS Requirements Models and B Specifications.

Abderrahman Matoussi, Dorian Petit

Proceedings of the Abstract State Machines, 2010

Towards Validation of Requirements Models.

Atif Mashkoor, Abderrahman Matoussi

Proceedings of the Abstract State Machines, 2010

2008

A First Attempt to Express KAOS Refinement Patterns with Event B.

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008