1974 L'organisation des données d'un système, LCS, Précis de logique informatique, J.D. Warnier, Les Editions d'organisation
1980 Dans les Communications Of the ACM, un article intitulé Logical Construction of Software, Donald R. Chand ans Surya B. Yadav, Giorgia State University, October 1980
Les auteurs introduisent même le mot LCS. Ils citent Warnier...mais seulement son livre en anglais sur LCP... et pourtant ce qu'ils font est très proche de ce qu'a fait Warnier. Ils utilisent explicitement la notation de Codd pour représenter des schémas relationnels n-aires. Warnier lui, utilisait les expressions 'rubriques d'identification', 'rubriques d'application' (car une "fonction totale" dans les livres de maths français s'appelle une "application" - on a même des conférences sur les "langages applicatifs", ce que les "anglo-saxons" appellent des "langages fonctionnels")
EN DIRECT, guerre au Moyen-Orient : Israël a lancé « une vague de frappes
de grande ampleur » sur Téhéran, après une salve de missiles tirée d’Iran
-
L’armée israélienne dit viser des cibles gouvernementales dans la capitale
iranienne. Par ailleurs, le Hezbollah affirme avoir affronté des soldats
israéli...
Il y a 2 heures
Articles
Aucun commentaire:
Enregistrer un commentaire