OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Requirements Specific Modeling Language : un langage formel d'expression d'exigences

Galinier, Florian and Ebersold, Sophie and Bruel, Jean-Michel Requirements Specific Modeling Language : un langage formel d'expression d'exigences. (2018) In: 7ème Conférence en Ingénierie du Logiciel (CIEL 2018), 14 June 2018 - 15 June 2018 (Grenoble, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
396kB

Abstract

La traçabilité et l'intégration des exigences au court du cycle de vie d'un système informatique est un enjeu majeur de l'ingénierie des exigences. En effet, cela permet de s'assurer que le système réponde bien aux attentes du client. Si les méthodes formelles permettent de prouver de telles propriétés, elles restent peu appliquées dans le cas des systèmes non-critiques, et de nombreux acteurs préfèrent exprimer les exigences en langue naturelle. Nous proposons un langage dédié à l'expression des exigences : RSML. Ce paradigme, situé dans une approche sans rupture, fournit un cadre contraint pour l'expression des exigences, basé sur une formalisation en Eiffel. Cela permet d'exprimer les exigences d'un système dans un langage proche de la langue naturelle, tout en permettant de prouver formellement la validité de ce système au regard de ces exigences.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:11 Apr 2019 14:34

Repository Staff Only: item control page