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
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 doutils de développement
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"
A propos des stages pour Mercury Mission Critical entreprise Wallonne développent des applications "business critical" Implantation: Erps-Kwerps (Belgique) Melbourne (Australie)
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
A propos des stages en software quality Laboratory for Quality Software (LaQuSo) Eindhoven University of Technology (TU/e)
Plus de renseignements... Wim Vanhoof Local 417