Sujets de mémoire

1. Sujets de mémoire • Mercury • Génération automatique de XML • Gestion et debugging d'ontologies • Un éditeur intelligent pour Mercury (sans stage) • Conception d'un framework des tests unitaires (sans stage) • Software quality • Adaptive workflows • Software analysis integration

2. A propos de Mercury • Mercury : un langage déclaratif conçu pour le monde réel • caractéristiques • conçu en 1996 à l'université de Melbourne, Australie • haut niveau de clarté et d'expressivité • permet le développement rapide et pourtant robuste • prévisions pour la programmation "in the large" • classes de types, modules, connexion bdd, web, … • analyses avancées • permet la compilation en code efficace • état de développement actuel • langage + compilateur stable • utilisé pour des applications réelles • ex. Mission Critical • Mais: manque d’outils de développement

3. A propos des sujets en Mercury • Génération automatique de XML • MSP: Mercury Server Pages • Génération des interfaces graphiques • Gestion et debugging d'ontologies • éditeur qui permet d'identifier et de réparer des inconsistances dans les ontologies • "ontology versioning"

4. A propos des stages pour Mercury • Mission Critical • entreprise Wallonne • développent des applications "business critical" • Implantation: • Erps-Kwerps (Belgique) • Melbourne (Australie)

5. A propos des sujets en software quality • Adaptive workflows • systèmes d'information médicaux • modelling of medical protocols • Yasper: workflow modelling and simulation tool • Software analysis integration • projet SQuADT: intégration des outils d'analyse • sur base des modèles • sur base du code source

6. A propos des stages en software quality • Laboratory for Quality Software (LaQuSo) • Eindhoven University of Technology (TU/e)

7. Plus de renseignements... • Wim VanhoofLocal 417wva@info.fundp.ac.behttp://www.info.fundp.ac.be/~wva