JEAN-LUC DORMOY CONTACT

Then I turned to automatic software generation from mathematical specifications. The main project I worked on within this topic was named Descartes. I was the head of it, and we managed to build a fairly sophisticated program generator prototype - almost 2,000,000 lines of generated C lines. This was in 1997, since then this line of development has expanded in what is called Model-Based Software Engineering, and is now finding applications in parallel programming.