Depuis 20 ans, je conçois, maintiens et optimise des systèmes décisionnels et data.
La stabilité des systèmes, leur facilité d'utilisation, leur maintenabilité, leur évolutivité, leurs performances face aux fortes volumétries sont autant de challenges qui me font aimer mon métier au quotidien.
J'ai endossé de multiples rôles (expert technique, responsable d'équipe, architecte, développeur, auditeur de processus) durant ces riches années d'expérience, le plus souvent dans un contexte international. Mon profil est polyvalent, et j'ai appris à apporter des solutions viables et concrètes aux besoins des utilisateurs.
Le projet InKa vise à vérifier, par génération automatique de tests, l'adéquation d'un programme écrit en C++ par rapport à ses spécifications JML (ou OCL). Les tests portent à la fois sur la couverture structurelle du programme (détection de code mort), sur la recherche de cas d'erreur, et sur des violations de contrats JML.
Développement de nouveaux opérateurs C++ : références et héritage.
