Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 4498
Conférences

le (1h23m19s)

How to build quality software: the Eiffel experience

With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for methods and tools that provide built-in quality (“correctness by construction”) and scale up to very large systems. For several decades my colleagues and I have been building such a method, based in particular on the concept of Design by Contract, the associated tools and the supporting language, Eiffel. The scope is wide, encompassing all aspects of the software development process, from requirements and design to implementation and verification. I will ...
Voir la vidéo
Séminaires

le (50m17s)

CAPITALISME ET (POST)ESCLAVAGE : POUR UNE CRITIQUE CARIBÉENNE DE L'ÉCONOMIE POLITIQUE - Race, genre et reproduction sociale dans le capitalisme post-esclavagiste - Présenté par Françoise VERGÈS

... abolitions jusqu’à l’ère néolibérale dans laquelle nous vivons. Il s’agit en définitive d’encourager le développement d’une critique de l’économie politique qui reste le parent pauvre des études contemporaines sur la Caraïbe dans le monde francophone....
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte