Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Sém LaBRI. Gestion de la cohérence lors de la construction de logiciel
du groupe Séminaire du LaBRI

Date 2010-03-18  13:30-14:30
TitreSém LaBRI. Gestion de la cohérence lors de la construction de logiciel 
RésuméLa construction de logiciel implique l'intervention de plusieurs développeurs qui collaborent à l'édition d'artefacts logiciels hétérogènes tout au long du processus de développement. Ces artefacts logiciels sont, par exemple, des documents textuels précisant les exigences du système, des modèles d'analyse et de conception, du code, des tests, des guides utilisateur, etc. Tous ces artefacts, quelle que soit leur nature, décrivent des parties d'un même système. Ils se doivent d'être cohérents. L'approche dite de « gestion de la cohérence » considère qu'il n'est pas possible d'assurer la cohérence globale de tous les artefacts logiciels à tout moment. N'importe quel artefact peut être temporairement incohérent. Les incohérences temporaires seront corrigées le moment venu par l'équipe de développement. La principale problématique de cette approche réside dans le suivi des incohérences. Il faut en effet pouvoir détecter l'introduction de nouvelles incohérences ainsi que la suppression d'incohérences existantes lors des modifications successives faites par les développeurs sur les artefacts ; et ce, sans gêner le cours du processus de développement. Dans cet exposé nous présenterons Praxis, notre approche de gestion de la cohérence qui a la particularité d'être basée sur la trace de construction des artefacts logiciels. Praxis détecte la présence ou l'absence d'incohérence dans les artefacts. Les incohérences sont spécifiées par des règles logiques portant sur les opérations de construction. Cette représentation a l'avantage de supporter la mise en ½uvre d'une détection incrémentale offrant des gains de performances très intéressants. De plus, elle permet la définition de règles d'incohérence dites méthodologiques permettant de spécifier des ordres temporels entre les opérations de construction. 
LieuAmphi LaBRI 
OrateurXavier Blanc 
EmailXavier.Blanc@lip6.fr 
UrlUniversité Pierre et Marie Curie 



Aucun document lié à cet événement.

Retour
Retour à l'index