Home > 2008 > December

Monthly Archives: December, 2008

A A

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