Pour ceux que cela intéresse, Ada-Belgium fournit les papiers de chacune des présentations qui ont eu lieu lors du dernier FOSDEM.
Il y en a pour tous les niveaux sur la page Ada Developer Room at FOSDEM 2013 avec :
Une présentation du langage par Jean-Pierre Rosen d'Adalog
Quelques outils utilisés en parallèle à Ada pour la haute fiabilité dans le cadre du projet Eurocontrol par Philippe Waroquiers
Le développement d'applications Android en Ada par José Ruiz d'AdaCore
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 via une interface Web avec AWS par Kim Rostgaard Christensen d'AdaHeads
Les méthodes formelles au travers du projet Hi-Lite par Valentine Reboul d'AdaCore
Du contenu bien sympa en somme.
# Eurocontrol
Posté par niol (site web personnel) . Évalué à 3.
Correction mineure : Eurocontrol n'est pas un projet mais l'entité Européenne de gestion du trafic aérien. Ce monde est en effet friand du langage Ada.
[^] # Re: Eurocontrol
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 0.
Oui, oui mais Eurocontrol, ça claque plus que ETFMS ou IFPS ;)
# Bof, pas facile a trouver ces papiers..
Posté par reno . Évalué à 2.
Quel bazar ce site..
Elles sont où les présentations dont tu parles?
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par lolop (site web personnel) . Évalué à 2.
Il est très web des origines :-)
Ceci dit, un clic sur le What's new on these pages? qui est encadré par les jolis "updated" sur fond jaune, et la deuxième entrée indique:
(avec les liens qui vont bien)
Votez les 30 juin et 7 juillet, en connaissance de cause. http://www.pointal.net/VotesDeputesRN
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 7.
Ouais, c'est clair, c'est un truc de malade, y a pas de Flash, pas vidéo, faut juste savoir lire :D
J'avais hésité à mettre les liens mais je pensais que c'était clair. Finalement, c'était pas assez pré-maché :
- Le Welcome
Initiation à Ada
Outils avec Ada
Ada et Android
Le multitâche
Ada 2012 : nouveautés
Dimensions checking
Gestion d'un PABX
Méthodes formelles
N'insistez pas, je ne vais pas m'enregistrer en train de les lire :D
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par reno . Évalué à 2.
Merci.
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par reno . Évalué à 2.
Bah même quand tu arrives sur la page du FOSDEM 2013, il y a des tas de liens la plupart sans grand chose derriere et je ne trouve pas les pdf, d'ailleurs pour le multitache le .txt dont tu donne le lien n'a pas grand intérêt (c'est juste une reference vers du code source)..
J'aime bien les sites en HTML de base, mais il n'impeche que celui la est mal organisé, et critiquer le lecteur plutôt que celui qui n'est pas fichu de "faire simple", no comment.
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 2. Dernière modification le 15 février 2013 à 11:40.
Effectivement, je fais mon mea culpa, le lien que j'ai fourni n'était pas le bon !!! Désolé.
Si un gentil modérateur pouvait remplacer le premier lien d'Ada-Belgium par celui-là ou carrément ajouter en tant que lien en fin de journal, ce serait très gentil :)
Encore désolé mon cher Reno.
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par reno . Évalué à 2.
Je dois vraiment être aveugle mais je ne vois toujours pas les pdf sur cette page, ça doit juste être la 5ème fois que je regarde..
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 2.
Ben là où est écrit par exemple
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par reno . Évalué à 2.
Ah j'ai compris!!
Apparemment il y avait une version de cette page web sans ces liens, mon navigateur l'a mis en cache et après les liens ont été rajoutés et je ne les voyait pas..
Je ne sais pas si c'est un bug de chrome, d'un proxy ou du site web mais c'était bien agaçant!
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par ckyl . Évalué à 2.
Un ophtalmo ou Ctrl + F est sont tes amis…
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par reno . Évalué à 2.
Ctrl+R dans le cas présent.
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par BAud (site web personnel) . Évalué à 2.
Lien vers Ada Developer Room at FOSDEM 2013 ajouté.
[^] # Re: Bof, pas facile a trouver ces papiers..
Posté par Benoît Sibaud (site web personnel) . Évalué à 2.
Correction faite. Merci
# Curieux la protection contre l'aliasing est mentionnée
Posté par reno . Évalué à 2.
dans les fonctionnalités Ada2012 pourtant dans un article précédent sur Ada2012, il y avait quelqu'un qui avait montré que le résultat était buggé..
[^] # Re: Curieux la protection contre l'aliasing est mentionnée
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 1. Dernière modification le 15 février 2013 à 15:11.
Exact mais c'est le compilateur qui est buggé pas la norme donc il est tout à fait normal que cela apparaisse quand même dans les nouveautés.
Ceci dit, Yannick Moy, ingé chez AdaCore, avait bien précisé le changement de comportement dans les dernières versions (cf. ce commentaire).
Bon, depuis, je n'ai pas re-testé car pour moi, le passage in/out pour les fonctions est trop dangereux.
[^] # Re: Curieux la protection contre l'aliasing est mentionnée
Posté par reno . Évalué à 2.
Ah la norme l'interdit bien mais le compilateur est buggé, merci de l'info je n'avais pas suivi la fin de la discussion et ça me paraissait quand même bizarre qu'Ada soit moins fiable que le C!
Pff, on fait comment pour trouver un job de programmeur Ada? On déménage de Paris à Toulouse?
[^] # Re: Curieux la protection contre l'aliasing est mentionnée
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 1.
Il doit bien y en avoir sur Paris des jobs en Ada. Par exemple, Sur Google, 'job ada paris' donne quelques résultats.
[^] # Re: Curieux la protection contre l'aliasing est mentionnée
Posté par Meku (site web personnel) . Évalué à 1.
Oui, il y a des sites EADS, Thalès et autres entreprises ayant des activités dans l'aéronautique en région parisienne.
[^] # Re: Curieux la protection contre l'aliasing est mentionnée
Posté par Blackknight (site web personnel, Mastodon) . Évalué à 1.
Voilà !! Et il y a aussi quelques boites de services sous-traitantes de ces mêmes boites dans Paris.
Mais, bon, je voudrais quand même préciser que si Ada est effectivement très présent dans cette niche, cela reste un langage généraliste qui permet de faire d'autres choses que de l'embarqué ou de la haute fiabilité.
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.