public marks

PUBLIC MARKS with tags generation & code

October 2006

March 2006

February 2006

http://geccoo.lri.fr/

by GeorgesMariano
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

PUBLIC TAGS related to tag generation

.net +   blog +   c# +   code +   CodeSmith +   del.icio.us +   NHibernate +   orm +   preuve +   programming +   specification +   tool +   winforms +  

Active users

hoabui
last mark : 23/10/2006 04:27

chrisdrop
last mark : 18/03/2006 13:33

GeorgesMariano
last mark : 08/02/2006 12:57