Bertrand Meyer

ETH, Zurich

Code, contrats, concurrence et correction

L’évolution patiente d’Eiffel culmine aujourd’hui avec des résultats directement applicables dans des domaines complémentaires : vérification automatique (preuves et tests), de méthodologie de développement dès l’analyse des besoins, de techniques pour la programmation parallèle, et d’outils d’enseignement (MOOCs en particulier). L’exposé fait le point sur ces développements à l’aide de nombreux exemples et démos, et discute les perspectives de progrès en génie logiciel.

---

Code, contracts, concurrency and correctness

Eiffel’s patient evolution has reached a critical point with the appearance of directly usable outcomes in a number of complementary areas: automatic verification (proofs as well as tests), a methodology for full-lifecycle process management, concurrent programming techniques, and tools for educations, including MOOCs. The talk will summarize these developments through a number of practical examples and demos, and discuss perspectives for progress in software engineering.