
Monthly Archives: December, 2008
-
- 17 December 2008
Simon Zambrovski talks about Model-driven software development, an emerging technology and approach, very popular in the last years… - Wednesday 17 December 2008, 14h30, batiment I, 1st floor Model-driven software development is an emerging technology and approach, which became very popular in the last years. ... More
-
- 11 December 2008
Nataliya Guts gives seminar on Auditability, Evidence, and Out-of-Context Proofs - Thursday 11 December 2008, 14h, batiment I, 1st floor Auditability, Evidence, and Out-of-Context Proofs Nataliya Guts MSR-INRIA Joint Centre An ambitious challenge for today’s software is to show that audit trails can be ... More
-
- 3 December 2008
Benoît Razet donne un séminaire sur “Modélisation et simulation d’automates à l’aide de machines d’Eilenberg” - Mercredi 3 décembre, 11h, Batiment I, 1er étage, Centre Commun INRIA-MSR Modélisation et simulation d’automates à l’aide de machines d’Eilenberg. Benoit Razet INRIA Rocquencourt Un ... More