URL: https://linuxfr.org/users/blackknight/journaux/ada-au-fosdem-2013 Title: Ada au FOSDEM 2013 Authors: Blackknight Date: 2013年02月14日T10:43:29+01:00 License: CC By-SA Tags: fosdem et ada Score: 16 Pour ceux que cela intéresse, [Ada-Belgium](http://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/13/130203-fosdem.html) fournit les papiers de chacune des présentations qui ont eu lieu lors du dernier [FOSDEM](https://fosdem.org/2013/). Il y en a pour tous les niveaux [sur la page _Ada Developer Room at FOSDEM 2013_](http://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/13/130203-fosdem.html) avec : - Une présentation du langage par Jean-Pierre Rosen d'[Adalog](http://www.adalog.fr/) - Quelques outils utilisés en parallèle à Ada pour la haute fiabilité dans le cadre du projet [Eurocontrol](http://www.eurocontrol.int/) par Philippe Waroquiers - Le développement d'applications Android en Ada par José Ruiz d'[AdaCore](http://www.adacore.com/) - Le multitâche par l'exemple par Ludovic Brenta, mainteneur des paquets Ada pour Debian - Les nouvelles fonctionnalités d'Ada 2012 par Jean-Pierre Rosen - La vérification de la cohérence des grandeurs physiques par José Ruiz - La gestion d'un [PABX](http://fr.wikipedia.org/wiki/PABX "Définition Wikipédia") via une interface Web avec [AWS](http://libre.adacore.com/tools/aws/) par Kim Rostgaard Christensen d'[AdaHeads](http://www.adaheads.com/) - Les méthodes formelles au travers du projet [Hi-Lite](http://www.open-do.org/projects/hi-lite/) par Valentine Reboul d'[AdaCore](http://www.adacore.com/) Du contenu bien sympa en somme.