ARES : un extracteur d'exigences pour la modélisation de systèmes - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

ARES : un extracteur d'exigences pour la modélisation de systèmes

Résumé

L'application de méthodes formelles pour assister la conception de systèmes s'appuie sur une modélisation des comportements attendus. La construction de ces représentations nécessite d'extraire les règles comportementales (exi-gences) généralement définies dans un document de spécifications. Le logiciel ARES (Abstract Requirement Extraction for Systems) répond à ce besoin en partant d'énoncés en langage naturel. Cet outil exploite une représentation sé-mantique intermédiaire (AMR), et permet de construire un ensemble de défi-nitions abstraites directement exploitables pour modéliser le comportement de systèmes.
Fichier principal
Vignette du fichier
TM 2020 - Ares.pdf (131.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02971727 , version 1 (19-10-2020)

Identifiants

  • HAL Id : hal-02971727 , version 1

Citer

Aurélien Lamercerie. ARES : un extracteur d'exigences pour la modélisation de systèmes. EGC 2020 - Extraction et Gestion des Connaissances (Atelier - Fouille de Textes - Text Mine), Jan 2020, Bruxelles, Belgique. pp.1-4. ⟨hal-02971727⟩
114 Consultations
121 Téléchargements

Partager

Gmail Facebook X LinkedIn More