Conception d'un outil d'aide à l'analyse par la méthode des Problem frames de Jackson

  • Michel Gonze
  • Federico Martinez

    Student thesis: Master typesMaster en sciences informatiques

    Résumé

    La méthode des problem frames de Jackson est utilisée dans l'analyse et la structuration des problèmes de développement logiciel. Les problem frames constituent un moyen pour appréhender la complexité inhérente aux problèmes informatiques. L'objet de notre travail consiste à définir les éléments nécessaires à l'implémentation d'un outil d'aide à l'analyse par la méthode des problem frames de Jackson. Nous définissons un langage formel basé sur la notation graphique de Jackson. Nous décrivons ensuite les fonctionnalités de l'éditeur en mettant l'accent sur les fonctionnalités plus spécifiques aux problem frames. Nous fournissons un cadre théorique pour l'intégration de notations externes qui s'appuie sur un modèle de sémantique fonctionnelle qui permet de vérifier la cohérence entre un problème et ses sous-problèmes. Nous terminons en prenant pour exemple d'intégration de notation les statecharts de Harel.
    la date de réponse2005
    langue originaleFrançais
    SuperviseurPierre Yves Schobbens (Promoteur) & Patrick Heymans (Promoteur)

    Contient cette citation

    '