Abderrahman Matoussi

	2011
8		Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. ICECCS 2011: 139-148
7		Abderrahman Matoussi, Régine Laleau: Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . INFORSID 2011: 301-316
6		Abderrahman Matoussi, Régine Laleau: Un outil de construction de spécifications abstraites Event-B dirigée par les buts. Ingénierie des Systèmes d'Information 16(5): 143-166 (2011)
	2010
5		Abderrahman Matoussi, Dorian Petit: Improving Traceability between KAOS Requirements Models and B Specifications. ASM 2010: 401-402
4		Atif Mashkoor, Abderrahman Matoussi: Towards Validation of Requirements Models. ASM 2010: 404
3		Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. SBMF 2010: 177-193
2		Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët: A first attempt to combine SysML requirements diagrams and B. ISSE 6(1-2): 47-54 (2010)
	2008
1		Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338

Coauthor Index

1	Frédéric Gervais	[1] [3] [8]
2	Ahmed Hammad	[2]
3	Régine Laleau (Regine Laleau)	[1] [2] [3] [6] [7] [8]
4	Atif Mashkoor	[4]
5	Dorian Petit	[2] [5]
6	Farida Semmak	[2]
7	Bruno Tatibouët	[2]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page