Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Eugenio mauri goal directed requirements acquisition kaos knowledge acquisition in automated specification

Goal-Directed Requirements Acquisition KAOS Knowledge Acquisition in autOmated Speci ?cation Group de travail JB-MSIC- composé de ? Eugenio MAURI ? Tijani BARAOUI Enseignante Colette ROLLAND CLes auteurs de l ? article Anne Dardenne Faculté universitaire de Namur en Belgique Stephen Fickas Professeur dans le Département de Science Informatique et de L'information à l'Université de l'Oregon De à Fickas travaillé à Institut de Sciences USC de L'information à suppr de Marina Rey la Californie En Fickas a joint rejoint la faculté à l'Oregon En on lui a attribué une position de Chercheur de Visite Distinguée à l'Université de Cambridge En il a été choisi comme un Savant de Recherche de Fulbright à l'Académie des sciences hongroise Le centre d ? intérêt de ses recherche est le génie logiciel en général et l ? ingénierie des exigences en particulier Axel van Lamsweerde Professeur au Département d'informatique de l'Université catholique de Louvain en Belgique ? Professeur aux universités de Namur et Bruxelles ? attaché à l'université de l'Oregon et le Laboratoire d'Informatique de l'Institut de recherches de Stanford Menlo Park CA ? co- fondateur de deux centres de transfert technologiques logiciels supportés par l'Union Européenne ? Il est l'auteur du livre l'ingénierie de exigences de Buts de Système à Modèles UML à Spéci ?cation Logiciel Wiley CMotivation et problématique En utilisant les langages courants de formalisation des besoins pour les systèmes complexes les ingénieurs d ? exigences font face à deux di ?cultés o la portée limitée du langage ? Favorise les exigence fonctionnelles ? NFR laissés en dehors de tout formalisme ? Une capture d ? un seul aspect et dépendante du paradigme de la méthode o l'acquisition préliminaire des besoins pertinents ? Avant de passer à l ? élicitation des exigences il faut avoir déterminé un minimum du besoin ? Ne supportent pas les buts Eugenio MAURI Tijani BARAOUI ?? Master SIC ?? JB ?? UE Ingenierie des exigences ?? C Rolland CLa méthode KAOS ? La méthodologie KAOS est une approche orientée buts Goal Oriented Requirements Speci ?cation language ? Cette méthodologie fournit un langage de spéci ?cation pour capturer les aspects du pourquoi du qui et du quand en plus des aspects plus traditionnels du quoi ? Les liens entre les exigences sont utilisés pour capturer les ra ?nements les con its les opérationalisations les assignations de responsabilité etc Eugenio MAURI Tijani BARAOUI ?? Master SIC ?? JB ?? UE xxxx ?? C Rolland CLa méthode KAOS ? La méthode consiste dans les grandes lignes à identi ?er et ra ?ner les buts progressivement jusqu ? à obtenir des exigences qui sont assignables à des agents éventuels identi ?er des objets et des actions progressivement à partir des buts assigner les exigences aux agents Eugenio MAURI Tijani BARAOUI ?? Master SIC ?? JB ?? UE xxxx ?? C Rolland CApport de la méthode nouveautées ? Constructions d'un modèle duquel dériver les requirements ? Quatre vues du meme modèle inter-corrélés o modèle des buts o modèle des responsabilités o modèle