à propos de Jean-Raymond Abrial
Lionel Draghi <[email protected]>
| Newsgroups | gmane.comp.lang.ada.france |
|---|---|
| Message-ID | <[email protected]> |
Je suis tombé par hasard sur la page http://fr.wikipedia.org/wiki/Jean-Raymond_Abrial consacrée à Jean-Raymond Abrial sur wikipédia. Il y a cette note : À creuser : 'JRA' est également cité dans les participants à l'élaboration du langage Ada... À vérifier avec un manuel Ada d'origine. Si certains ici sont capable de lever ce doute, wikipédia vous attends. Et puis si il y a des volontaires, on peut noter également qu'il n'y a encore aucune référence à SPARK dans les pages sur les méthodes formelles, ni dans le wikipédia anglais, ni dans le français. -- Lionel Draghi http://en.wikibooks.org/wiki/Wikibooks:Book_of_the_month/September_2005 _______________________________________________ Site WWW de l'association Ada-France: http://www.ada-france.org/ [email protected] http://www.ada-france.org/mailman/listinfo/ada-france