Embed Size (px)
Citation preview
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 d’outils 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)
