Spécification d'un éditeur ergonomique d'aide contextuelle

Cette étude est consacrée à la proposition d¿une solution logicielle pour un éditeur ergonomique augmenté d¿une aide contextuelle pour l'édition des pré/post-conditions MAD. Après avoir recensé les différentes limites relatives aux deux éditeurs de conditions MAD proposés par les deux ateliers ALACIE et K-MADe, nous avons établi la nécessité de spécifier un nouvel éditeur capable d¿assister l¿utilisateur, d¿une manière dynamique et contextuelle, lors de l¿édition de ces conditions. Profitant des études bibliographiques portant sur l¿ergonomie logicielle, l¿aide contextuelle et les éditeurs structurés, nous avons spécifié un éditeur structuré orienté syntaxe capable de proposer une assistance contextuelle lors de l¿édition des conditions MAD. Notre spécification est basée sur les travaux effectués autour des aides contextuelles écrites et des interfaces procédurales.