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 : Donald Trump estime qu’un accord avec
l’Iran est possible « d’ici un jour ou deux », après la réouverture
temporaire et sous conditions du détroit d’Ormuz par Téhéran
-
Le président américain assure que des points-clés ont été résolus avec
Téhéran, notamment sur le nucléaire et le point de passage stratégique.
Vendredi apr...
Il y a 1 heure
Articles
Aucun commentaire:
Enregistrer un commentaire