Histoire des méthodes de développement de logiciels

Citez en donnant la source SVP

HH/CFV/Mémoire/Chronologie
Titre : Chronologie
Etat : brouillon
Rédigé par : Henri Habrias
Version : 1
Date de rédaction : 17-10-08
Destinataires : EB
Relu par : le :
_______________________________________________________________________


Notés # , les Prix Turing. Nous avons donné le titre de leur Turing Award Lecture.



1847 G. Boole, Mathematical Analysis of Logic

1854 G. Boole, An Investigation Into the Laws of Thought, on Which are Founded the Mathematical Therories of Logic and Probabilities

1870 T ables de vérité, Pierce C. S. , Description of a notation for the logic of relatives, resulting from an amplification of the conceptions of Boole's calculus of logic

1880 John Venn "On the Diagrammatic and Mechanical Representation of Propositions and Reasonings". Dublin Philosophical Magazine and Journal of Science 9 (59): 1--18.

1890 Utilisation des machines à cartes perforées pour le recensement général de la population des USA

1924 CRT devient IBM

1928 La carte à 80 colonnes introduite par IBM

1936 La machine de Turing, "On Computable Numbers with an Application with an Application to the Entscheidungsproblem", Alan Mathison Turing

1896 Création de la Tabulating Machine Compny par Herman Hollerith
1944 The Harvard Mark 1 computer (Howard Aiken & Grace Hopper )

1945 Von Neumann, Juin1945,"First Draft of a report to the EDVAC," Présentation de la machine de Von Neumann, reprise des rapports de John William Mauchly and J. Presper Eckert Jr.

1946 ENIAC 1 Computer, John Presper Eckert & John W. Mauchly
1946 CAP de mécanographique

1947 John Bardeen, Walter Brattain & Wiliam Shockley, Le transistor

1950 General Electric, the Sutherland Corporation, et United States Air Force utilisent les tables de décision pour réaliser un logiciel

1951 UNIVAC Computer, John Presper Eckert & John W. Mauchly, Premier ordinateur commercialisé

1953 IBM 701 EDPM Computer, International Business Machines
1953 The Map Method for Synthesis of Combinational Logic Circuits, Maurice Karnaugh, ansactions of American Institute of Electrical Engineers
1953 Classes of Recursively Enumerable Sets and Their Decision Problems, H. G. Rice, Transactions of the American Mathematical Society, volume 74, numéro 2, mars 1953

1954 Premier rapport sur Fortran (IBM)

1956 Premier disque dur, IBM, le RAMAC 305
1956 The magical number seven, plus or minus two: Some limits on our capacity for processing information, G.A. Miller, Psychol. Rev., vol. 63
1956 Classification des grammaires de Noam Chomsky, "Transformational Analysis" Ph. D. Dissertation, University of Pennsylvania
1956 Chomsky Three Models for the Description of Language, IRE Trans. On Inf. Theory
1956 Kleene, Representation of events in nerve sets and finite automata, Automata Studies
1956 An Introduction to Cybernetics, W. Ross Ashby, Chapman & Hall

1957 Création de la BCS, British Computing Society, plus exactement du London Computer Group qui donnera naissance à la BCS unan après avec comme président Maurice Wilkes
1957 Brevet de Technicien Supérieur de « la mécanographie à cartes perforées et de ses prolongements électroniques »

1958 Création de la SEMA
1958 Circuit intégré, Jack Kilby & Robert Noyce

1959 First World Computer Congress, Paris
1959 Backus Normal Form , appelée Bacckus Naur Form (BNF) suite à une lettre de D. Knuth auxCACM en 1964
1959 Spécification du langage COBOL, inspiré de Flow-Matic de Grace Hopper et de Comtran d'IBM

1960 Création de l'IFIP sous les auspices de l'UNESCO suite au Congrès de Paris 1959
1960 Premier rapport sur Algol 60 (Naur)

1961 GPSS (General Purpose Simulation System), G. Gordon, IBM

1962 Premier manuel Lisp (McCarthy)
1962 Invention du terme "Informatique" par Philippe Dreyfus, directeur du Centre national de calcul électronique de la société Bull
1962 Kommunikation mit Automaten,Petri, C.A., Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2
1962 Ouverture du premier département de “Computer science” des USA, Purdue University

1963 Langage BASIC conçu au Darmouth College par George Kemeny et Thomas Eugene Kurtz

1964 La souris et les fenêtres, Douglas Engelbart
1964 Gross, Lentin, Notions sur les grammaires formelles, Institut de Programmation, Gauthier-Villars

# 1965 Architecture ANSI-SPARC (Charles Bachman), Les trois schémas : Interne, Conceptuel, Externe
1965 Système expert Dandral d'Edward Feigenbaum
1965 Le B.T.S. devient B.T.S. « du traitement de l'information ».
1965 Jack Edmonds introduit la notion de « bonne caractérisation » des solutions et d’algorithme «polynomial», Paths, trees, and flowers. Canadian Journal of Mathematics 17:449-467


1966 IBM 360
# 1966 Alan J. Perlis (États-Unis) construction de compilateurs, "The Synthesis of Algorithmic Systems"
1966 Simula, an Algol-based simulation language, CACM (Dahl, Nygaard)
1966 Flow Diagrams, Turing Machines and Languages with only two Formation Rules, Bohm, C., G. Jacopini , CACM, vol. 9, n. 5, Mayo 1966, pp. 366-371.

# 1967 Maurice Wilkes (Royaume-Uni ) Bibliothèque logicielle, "Computers Then and Now"
1967 Création de l'IRIA devenu INRIA en 1979, et du CEPIA Centre d'Etudes Pratiques en Informatique et en Automatique et des Ecoles d'été EDF, CEA, IRIA
1967 Création de Sogeti par Serge Kampf
1967 Début du projet ISDOS à Case Western Reserve University puis à l'Université du Michigan, 'Problem Statement Language' etd 'Problem Statement Analyzer'
1967 Assigning Meaning to Programs, Robert Floyd


# 1968 Richard Hamming (États-Unis) méthodes numériques, systèmes de codage automatique, détection et correction d’erreurs, "One Man's View of Computer Science"
1968 General System Theory: Foundations, Developments, Applications, von Bertalanffy, L., Braziller
1968 Invention de l'expression software engineering (génie logiciel) Conférence organisée par le comité scientifique de l' Otan à Garmisch-Partenkirchen
1968 E.W. Dijkstra, "A Case Against GoTo statement"
1968 Prermière normalisation du Cobol par l'ANSI
1968 Création de l'AFCET, regroupement de 4 sociétés savantes
1968 Essai de traitements universels des informations administratives, Automatismes, tome XIII, n°9
1968 Datalogy, the science of data and data processes and its place in education, Naur P., Proc. of IFIP congress 1968, Applications 2, Booklet G, 48-52.

# 1969 Marvin Minsky (États-Unis) intelligence artificielle, "Form and Content in Computer Science"
1969 Création des I.U.T. Et des départements informatique des IUT, et début des MIAGE
1969 Création de la Steria par Jean Carteron
1969 Création de la société CGI (Compagnie Générale d'Informatique), parRobert Mallet et Bernard Chapot
1969 Le New Ken's System de Ken Thompson aux Laboratoires Bell, nommé Unics sur la suggestion de Brian Kernighan
1969, Arpanet,
1969 Report on the algorithmic language Algol 68 (A. Van Wingaarden (ed)),
1969. "Data Structure Diagrams." in: DataBase: A Quarterly Newsletter of SIGBDP. vol. 1, no. 2, Summer 1969
1969 Les mathématiques modernes, André Warusfel, Rayon de la science, Seuil
1969 Mathématiques pour l'informatique, J. Boittiaux, Dunod
1969 The science of the artificial, Herbert A. Simon, MIT Press,


# 1970 James H. Wilkinson (Royaume-Uni) analyse numérique, algèbre linéaire, analyse d’erreur vers l’arrière, "Some Comments from a Numerical Analyst'
1970 Edgard Frarnk Codd, Data for Large Shared Data Banks", CACM 13, No. 6, June 1970
1970 Intel 1103 Computer Memory
1970 Colloque de Sèvre, L'enseignement de l'informatique à l'école secondaire, Colloque IFIP-OCDE, Sèvres, 1970, Publications de l'OCDE, Paris, 1971.
1970 Entraînement à la construction des programmes d'informatique : principes et exercices pratiques, Jean-Dominique Warnier, Brendan M. Flanagan ; préface de Ch. Martzloff . - Paris : Les Editions d'Organisation , cop. 1970
1970 La science informatique, Jacques Arsac, Dunod
1970 Traité des ordinateurs, t.1 Algèbre logique, arithmétique binaire, algorithmes, Dunod

# 1971, John McCarthy (Etats-Unis) "Generality in Artificial Intelligence", "Generality in Artificial Intelligence"
1971 Décret de création des MIAGE et MST
1971 "La méthode Informatique, Conception et Réalisation en Informatique de Gestion", Robert A. Mallet, Hermann
1971 Le "Floppy" Disk, Alan Shugart &IBM
1971 Le premier microprocesseur, le 4001 d'Intel
1971 LCF de R. Milner, système de démonstration automatique de théorèmes
1971 Program Development by Stepwise Refinement, CACM 14(4), 221-227

#1972 Edsger Dijkstra (Pays-Bas ) Prix Turing, la science et l’art des langages de programmation, langage ALGOL, "The Humble Programmer"
1972 Le microprocesseur 8008 d'Intel, uneversion 8 bits du 40004.
1972 Rapport Meadows, Halte à la croissance ?, Club de Rome
1972 L'informatique reconnue au CSU (Conseil Supérieur des Universités), ex. CNU
1972 "On the criteria to be used in decomposing system into modules", CACM 15(12)

#1973 Charles Bachman (États-Unis)Prix Turing, technologie des bases de données, "The Programmer as Navigator"
1973 Mai, le premier microordinateur, le Micral avec microprocesseur 8008, naissance du terme "microordinateur"
1973 Ethernet , Robert Metcalfe & Xerox
1973 Début de l'application de SADT
1973 Les systèmes d’information dans les organisations, J.L. Lemoigne, PUF.


#1974 Donald E. Knuth,."Computer Programming as an Art."
1974 "Data Semantics" J.R. Abrial
1974 Principles of Program Design , M.A. Jackson ISBN 0-12-379050-6.
1974 Structures d'information : formalisation des notions d'accès et de modification d'une donnée, Thèse nancy (J.L. Rémy)
1974 "PASCAL – User Manual and Report (K. Jansen, N.Wirth)
1974 Les premiers PC, Altaïr,IBM 5100
1974 Donald E. Knuth. Structured programming with 'go to' statements. Communications of the ACM, 6(4):261-301,
1974 Formalization of the notions of data, information and information structure, in Data Base Management, Claude Pair
1974 L'organisation des données d'un système, LCS, Précis de logique informatique, J.D. Warnier, Les Editions d'organisation
1974 (?) Simplification du travail administratif, L'étude de processus, SCOM, Seervice Central d'Organisation et Méthdes, Ministère de l'Economie et des Finances, Direction du budget
1974 « Modèle individuel pour un base de données » H. Tardieu, C. Deheneffe, JL Hainaut (Namur – mai 74)

# 1975 Allen Newell (États-Unis) et Herbert A. Simon (États-Unis) intelligence artificielle, la psychologie de la compréhension humaine, traitement de liste, "Computer Science as Empirical Inquiry: Symbols and Search"
1975 Algorithm + Data structures = Program, N. Wirth
1975 Fondation de Microsoft, l'interpréteur de BASIC pour l'Altaïr écrit par B. Gates et P. Allen
1975 UNIX
avec son code source est diffusé dans les universités (suite à l'application de la loi anti-trust en 1956)
1975 Abstract Data Types as Initial Algebras and Correctness of Data Representations, Proc. Conf. Computer Graphics, Pattern Recognition and Data Structure.

# 1976 Michael Rabin (Allemagne) Michael O. Rabin: "Complexity of Computations" et Dana S. Scott (États-Unis États-Unis) "Logic and Programming Languages", machines non déterministes
1976 Apple I, II, TRS80, Pet Commodore
1976 L'informatique est reconnue au Comité National du CNRS
1976 Dijkstra, E., A Discipline of Programming, Prentice-Hall
1976 The Entity-Relationship Model--Toward a Unified View of Data, P.P. Chen,
ACM Transactions on Database Systems, Vol. 1, No. 1, March 1976
1976 Progamming-in-the-large Versus Programming-in-the-Small, DeRemer F., Kron H.H., IEEE Transactions on Software Engineering, Vol. SE-2, N° 2, June

# 1977 John W. Backus:, "Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs"
1977 Ross, D. T., "Structured Analysis: A language for communicating ideas" IEEE Trans. on Software Engineering, 3, 1, 1977, pp. 16-34
1977 The C Programming Language, Dennis Ritchie, Bfrian Kernighan
1977 Les structures de données et leur représentation en mémoire, Ecole d'été de l'Afcet, Alès,
1977 La théorie du système général. Théorie de la modélisation, J.L. Lemoigne
1977 Naissance du GRAFCET, 1990 (norme NF C03-190), sur le plan européen (EN61131) et en 1992 (norme CEI 1131).

# 1978 Robert Floyd (États-Unis) « avoir eu une influence significative sur les méthodologies de création de logiciels sûrs et efficaces, et pour avoir contribué à l'émergence d'importants domaines de l'informatique scientifique : la théorie de l'analyse syntaxique, la sémantique des langages de programmation, la vérification de programmes, la synthèse de programmes et l'analyse d'algorithmes ». , "The Paradigms of Programming"
1978 L’informatisation de la société. Rapport à M. le Président de la République. Nora S., Minc A., Paris : Seuil
1978 VisiCalc Spreadsheet Software (tableur), Dan Bricklin & Bob Frankston
1978 Guttag, J.V. and J.J. Homing. "The Algebraic Specification of Abstract Data Types". Acta Informatica 10, pp. 27-52
1978 Structured Analysis and Systems Specification, Printice Hall, DeMarco T.
1978 Théorie des programmes, Schémas, preuves, sémantique, préface de C. Pair, Dunod, Livercy C. (nom coll.), Dunod

1979 Langage ADA
# 1979 Kenneth Iverson (Canada )langages de programmation et notation mathématique, implémentation de systèmes interactifs, utilisation éducative d’APL, théorie et pratique du langage de programmation, "Notation as a Tool of Thought"
1979 WordStar Software (Traitement de texte), Seymour Rubenstein & Rob Barnaby
1979 The Art of Software Tests, Myers, G., Wiley
1979 Structured Systems Analysis, Gane C. and Sarson T. Prentice Hall
1979: «  Méthode de définition d'un système d'information », Ministère de l'Industrie, CTI

# 1980 Charles A. R. Hoare (Royaume-Uni) définition et design des langages de programmation, "The Emperor's Old Clothes"
1980 A calculus of communicating systems, Robin Milner. Springer (LNCS 92)
1980 Méthodes de programmation, Meyer B., Baudouin C., Eyrolles
1980 Création de l'Agence de l'informatique

# 1981 Edgar Frank Codd (Royaume-Uni Royaume-Uni) systèmes de gestion de bases de données, en particulier bases de données relationnelles, "Relational Database: A Practical Foundation for Productivity"
1981 IBM PC
1981 MS DOS
1981 Boehm, B., Software Engineering Economics, Prentice-Hall
1981 Le BTS gestion et exploitation des centres informatiques disparaît, remplacé par un B.T.S. entièrement nouveau. Le B.T.S. « Services informatiques » (S.I.)

# 1982 Stephen Cook (États-Unis) complexité du calcul informatique, "An Overview of Computational Complexity"
1982 The computer was named the Machine of the Year in 1982 by Time Magazine.
1982 Début des BTS Informatique industrielle
1982 Rapport « Savoir et savoir- faire informatique » de Maurice Nivat
1982 Introduction de SADT en France par la société IGL (Michel Galinier)
1982 ISO TC97/SC5/WG3, Concepts and terminology for the conceptual schema and information base, ANSI
1982 NIAM: an Information Analysis Method, Verheijen, Van Bekkun, CRIS-IFIP Conference



# 1983 Kenneth Thompson (États-Unis) "Reflections on Trusting Trust" et Dennis Ritchie (États-Unis États-Unis)"Reflections on Software Research" théorie des systèmes d'exploitation, implémentation du système UNIX
1983 Fondation de la Société de Mathématiques Appliquées et Industrielles (SMAI)
1983 Normalisation du langage ML de R. Milner
1983 Apple Lisa (un portable avec interface homme machine graphique)
1983 La méthode Merise - Tome 1 Principes et outils. Hubert Tardieu, Arnold Rochfeld, René Colletti, Editions d'organisation
1983 Bases de données et systèmes relationnels, Delobel C., Adiba M., Dunod


1984 Apple Macintosh
# 1984 Niklaus Wirth (Suisse) développement des langages EULER, Algol W, MODULA et PASCAL, "Toward a Discipline of Real-Time Programming."
1984 Software System Testing and Quality Assnrance, Beizer, B., Van Nostrand Reinhold,
1984 Programmation, T.1, Du problème à l'algorithme, Amédée Ducrin (nom coll.), Bordas, Coll. Dunod Informatique, Méthode déductive de Cl. Pair, le tome 2, De l'algorithme au programme paraîtra en 1993

1985 MS Windows
# 1985 Richard Karp (États-Unis ) théorie des algorithmes, NP-complétude, "Combinatorics, Complexity, and Randomness"
1985 La méthode Merise - Tome 2 Démarches et pratiques, Hubert Tardieu, Arnold Rochfeld, René Colletti, Georges Panet, Gérard Vahéee Editions d'organisation

# 1986 John Hopcroft (États-Unis) "Computer Science: The Emergence of a Discipline" et Robert Tarjan (États-Unis États-Unis) "Algorithmic Design"création et analyse de structures de données, "Computer Science: The Emergence of a Discipline"
1986 Agorithms &Data Structure, N. Wirth, Prentice-Hall
1986 P. Pellaumail, La méthode AXIAL, conception d'un système d'informations, Editions d'Organisation, (Paris)
1986 Systematic Software Development Using VDM, Jones C.B., Prentice-Hall
1986 Raisonner pour programmer, Ana GRAM, Dunod



# 1987 John Cocke (États-Unis) théorie des compilateurs, architecture des grands systèmes, invention des architectures RISC, "The Search for Performance in Scientific Processors"
1987 "The C++ Programming Language, B. Soustrup, Addison Wesley, les premiers articles nommant C++ datent de 1984
1987 Specification Case Studies, Hayes (Ed), Prentice Hall

# 1988 Ivan Sutherland (États-Unis) Conception assistée par ordinateur (CAO), "Micropipelines"
1988 Understanding Z: A Specification Language and Its Formal Semantics, Spivey J.M. , Cambridge University Press
1988 SADT, Structured Analysis and Design Techniques, Marca David A., Clement L. McGowan, McGraw-Hill

# 1989 William Kahan (Canada) analyse numérique
1989 Tim Berners Lee crée le World Wide Web
1989 Communication and Concurrency, Robin Milner. Prentice Hall
1989 Modern Structured Analysis, Yourdon E., Yourdon Press
1989 La méthode Merise - Tome 3 Gamme opératoire, Arnold Rochfeld, José Morejon Editions d'organisation
1989 SADT, Un langage pour communiquer, IGL, Eyrolles
1989 Conceptual Schema and Relational Database Design, Nijssen G.M, Halpin T.A. , Prentice-Hall
1989 HOOD Reference Manual, Agence Spatiale Européenne
HOODWorking Group, Noordwijk, Pays-Bas
1989 Création de l'OMG (Object Management Group)

# 1990 Fernando Corbató (États-Unis) applications réparties, création de CTSS et Multics, "On Building Systems That Will Fail."
1990 Maîtriser SADT, Michel Lissandre, Colin, 1990

# 1991 Robin Milner (Royaume-Uni ) (LCF, ML, CCS), "Elements of Interaction "
1991 Linux de Linus Torvalds
1991 Object Lifecycles: modelling the world in states, Prentice-Hall
1991 Object-oriented Design with Applications, Booch G., Benjamin Cummings
1991 Première version de CORBA (Common Object Request Broker ) par l'OMG

# 1992 Butler Lampson (États-Unis) environnements personnels distribués
1992 Symbolic boolean manipulation with ordered binary-decision diagrams, Randal E. Bryant, ACM Computing Surveys, 24(3):293{318, September 1992.

# 1993 Juris Hartmanis (États-Unis) et Richard Stearns (États-Unis) théorie de la complexité, "On Computational Complexity and the Nature of Computer Science"
1993 System Development , M.A. Jackson ISBN 0-13-880328-5.



# 1994 Edward Feigenbaum (États-Unis) et Raj Reddy (Inde Inde) systèmes d’intelligence artificielle de grande envergure, "How the "What" Becomes the "How""
1994 Andr´e Arnold, Didier B´egay, and Paul Crubill´e. Construction and
analysis of transition systems with MEC. World Scientific Publisher,


# 1995 Manuel Blum (Venezuela) théorie de la complexité appliquée à la cryptographie et à la vérification de programmes
1995 Loi de Wirth : Le logiciel ralentit plus vite que le matériel accélère.

# 1996 Amir Pnueli (Israël Israël) logique temporelle et vérification de programmes et de systèmes
1996 Publication des documents UML 0.9 et 0.91 par Grady Booch, Jim Rumbaugh (OMT) et Iva Jacobson (OOSE)




# 1997 Douglas Engelbart (États-Unis) informatique interactive
1997 UML 1.1 adopté par l'OMG

# 1998 James Gray (États-Unis) bases de données et traitement de transactions

# 1999 Frederick Brooks (États-Unis) architecture des ordinateurs, systèmes d’exploitation et logiciels

# 2000 Andrew Yao (République populaire de Chine) théorie de la calculabilité, génération de nombres pseudo-aléatoires, cryptographie et complexité de communication
2000 Jack St Clair Kilby, Prix Nobel de physique pour sa participation à l'invention du circuit imprimé


# 2001 Ole-Johan Dahl (Norvège) et Kristen Nygaard (Norvège) Programmation orientée objet et création des langages Simula I et Simula 67

# 2002 Ronald L. Rivest (États-Unis), Adi Shamir (Israël) et Leonard M. Adleman (États-Unis) cryptographie à clef publique et système RSA

# 2003 Alan Kay (États-Unis) Programmation orientée objet et création du langage Smalltalk
2003 UML 2.0

# 2004 Vinton G. Cerf (États-Unis) et Robert E. Kahn (États-Unis États-Unis) réseaux, TCP/IP

# 2005 Peter Naur (Danemark) Pour des contributions fondamentales à la conception des langages de programmation et à la définition d'Algol 60, pour la conception des compilateurs et pour l'art et la pratique de la programmation informatique. "Computing versus human thinking"

# 2007 Edmund Clarke (États-Unis), Allen Emerson (États-Unis États-Unis) et Joseph Sifakis (France )(Grece) pour leurs travaux sur le model checking.