04 March 2006
03 March 2006
27 February 2006
23 February 2006
22 February 2006
PolyORB - Home Page
PolyORB aims at providing a uniform solution to build distributed applications; relying either on industrial-strength middleware standards such as CORBA, the Distributed System Annex of Ada 95, distribution programming paradigms such as Web Services, Mess
21 February 2006
20 February 2006
19 February 2006
10 February 2006
09 February 2006
Enseignements Méthodes formelles - Attiogbe Christian
Méthodes et spécifications formelles Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes
08 February 2006
Didier BERT
Didier BERT
http://geccoo.lri.fr/
Génération de code certifié pour des applications orientées objet Spécification, raffinement, preuve et détection d'erreurs Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection
06 February 2006
04 February 2006
02 February 2006
Website Template
Hard real-time systems have strict behavioural and temporal requirements, which must be met under all runtime situations. Hard real-time applications must typically be programmed at a low level, which is a time consuming and error prone task. In recent ye
01 February 2006
31 January 2006
30 January 2006
Menhir
Menhir est un générateur d'analyseurs syntaxiques LR(1) pour le langage de programmation Objective Caml. En d'autres termes, Menhir traduit des spécifications de grammaires LR(1) en code Objective Caml. Menhir a été conçu et implémenté par Franço
