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 annonce de nouvelles frappes en
Iran ainsi que sur la banlieue sud de Beyrouth ; Téhéran dit mener des
attaques de grande ampleur
-
L’armée israélienne a déclaré avoir « commencé à mener des frappes contre
des infrastructures du Hezbollah » sur la capitale libanaise. De son côté,
l’Iran...
Il y a 3 heures
Aucun commentaire:
Enregistrer un commentaire