offres d'emploi formations actualités contact accès annuaire intranet

Henri BASSON

Professeur, Equipe Model

Adresse électronique : basson [at] lisic.univ-littoral.fr

http://www-lisic.univ-littoral.fr/~basson/

Publications


2018


Manufacturing Software Units: ISO 16300-3 main Guidelines for Interoperability Verification and Validation

H. Basson , M. Matsuda , M. Bouneffa , A. Ahmad , D. Chung , E. Arai
Interoperability of Enterprise Systems and Applications, I-ESA 2018 Conference, Smart Services and Business Impact of Entersprise Interoperability, Berlin, March 21st- 23rd, 2018


2017


Analyzing and modeling the structural and qualitative interdependencies of software evolution

Adeel Ahmad, Henri Basson, Mourad Bouneffa
7th International Workshop on Computer Science and Engineering, workshop of, WCSE 2017, International Conference on Software Engineering (ICOSE) 25-27 June 2017, Beijing, CHINA ISBN 978-981-11-3671-9


2016


Gestion Intégrée du Changement des Modèles de Processus Métier

Mourad Bouneffa, Adeel Ahmad, Henri Basson
INFORSID May 31 - June 3, 2016 Grenoble, France

Qualitative Evaluation of Manufacturing Software Units Interoperability using ISO 25000 Quality Model

Henri Basson, Mourad Bouneffa, Michiko Matsuda, Adeel Ahmad, Dukki Chung, Eiji Arai
I-ESA 2016, 8th International Conference INTEROPERABILITY FOR ENTERPRISE SYSTEMS AND APPLICATIONS, March 31st-April 1st 2016, Guimarães (Portugal)


2014


Approche de multimodélisation pour une meilleure gestion de l’évolution des logiciels

Adeel AHMAD, Henri BASSON, Laurent DERUELLE et Mourad BOUNEFFA
Chapitre dans "Évolution et maintenance des systèmes logiciels ; Traité IC2, série Informatique et Systèmes d'Information", éditeur SERIAI Abdelhak-Djamel, Date de parution : 04-2014, LAVOISIER S.A.S.


2013


Analyzing the ripple effects of change in business process models

O.M Kherbouche, A.Ahmad , M. Bouneffa, H.Basson
16th IEEE International Multitopic Conference (INMIC'13), 19-20 Déc 2013, Lahore, Pakistan.

Ontology-based impact propagation assessment in evolving business processes

O.M Kherbouche, A.Ahmad , M. Bouneffa, H.Basson
11th IEEE International Conference on Frontiers of Information Technology (FIT'13), 16-18 Déc 2013, Islamabad, Punjab, Pakistan.

Formal approach for compliance rules checking in Business Process Models

O.M Kherbouche, A.Ahmad, H.Basson
2013 IEEE International Conference on Emerging Technologies (ICET'13), 09-10 Déc 2013, Islamabad, Punjab, Pakistan.

Analyse a priori de l'impact des changements des processus métiers

O.M Kherbouche, M. Bouneffa, A.Ahmad, H.Basson
In 31th INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID) - Paris, 29-31 Mai 2013

Using model checking to control the structural errors in BPMN models

O.M Kherbouche, A.Ahmad, H.Basson
7th IEEE International Conference on Research Challenges in Information Science (RCIS), Paris, May 29-31, 2013