Documents de l'atelier SafeModel

• «SafeModel» - Jean-Marc Perronnes, Georges Mariano, Daniel Deveaux
• Présentation de Marc Pantel

• Akram Idani, Yves Ledru et Pierre-Yves Schobbens. «Approche formelle pour une ingénierie des modèles sûre» (transparents)
• Julien Mallet et Siegfried Rouvrais. «Transformations dirigées par des propriétés non fonctionnelles en conception logicielle» (transparents)
• Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet et Philipe Aniorté. «Vérification d’assemblage de composants UML 2.0 à l’aide d’Acme» (transparents)

Y aller