Concepedia

Abderrahman Matoussi

AM

Statistics

Publications

3

Citations

126

H-Index

3

Active since

2008

Affiliations

Département d'Informatique(Current)

Laboratoire d'Algorithmique, Complexité et Logique

Abderrahman Matoussi is an author at Département d'Informatique specializing in engineering, formal methods, and formal verification.

Top concepts

Publications per year

2008–2011

3

Publications

3

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi et al. · Innovations in Systems and Software Engineering · 2009 · 65 citations

, , +13

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

Abderrahman Matoussi, Frédéric Gervais, Régine Laleau · 2011 · 36 citations

, , +22

A Survey of Non-Functional Requirements in Software Development Process

Abderrahman Matoussi, Régine Laleau · 2008 · 25 citations · Full text

1–3 of 3