Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Année : 2012

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

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01224632 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224632 , version 1

Citer

Abderrahman Matoussi, Régine Laleau. Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2012, 17 (3), pp.95-118. ⟨hal-01224632⟩

Collections

CNRS LACL UPEC
32 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More