Méthode de vérification des exigences pour l'ingénierie système à partir d'une représentation logique du système modélisé en RDF. - Laboratoire d’Automatique, de Mécanique et d’Informatique Industrielles et Humaines Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Méthode de vérification des exigences pour l'ingénierie système à partir d'une représentation logique du système modélisé en RDF.

Résumé

L'ingénierie des exigences est souvent considérée comme le processus de départ du cycle de vie du produit, qui débuterait par l'expression des besoins des utilisateurs, et qui vise à en tirer un ensemble cohérent de spécifications.

Les exigences portent par nature sur un système à concevoir, pour les définir il est donc nécessaire de disposer d'informations sur le système avant même sa conception. Il est également important de les capitaliser pour la gestion du cycle de vie étendu.

Cet article propose un cadre de modélisation d'une telle base de connaissance construite dans le paradigme RDF (Resource Description Framework) autour des concepts qui définissent les exigences, et le système sur lesquelles elles portent.

Fichier principal
Vignette du fichier
alb_cpi_20150911.pdf (487.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01260674 , version 1 (22-01-2016)

Identifiants

  • HAL Id : hal-01260674 , version 1

Citer

Albéric Cornière, Virginie Fortineau, Thomas Paviot, Samir Lamouri. Méthode de vérification des exigences pour l'ingénierie système à partir d'une représentation logique du système modélisé en RDF.. Xème Conférence Internationale : Conception et Production Intégrées, Dec 2015, Tanger, Maroc. ⟨hal-01260674⟩
164 Consultations
736 Téléchargements

Partager

Gmail Facebook X LinkedIn More