Quoi de neuf en programmation 1976. Quoi de neuf en programmation 1986.

Présentation au sujet: "Quoi de neuf en programmation 1976. Quoi de neuf en programmation 1986."— Transcription de la présentation:

1 Quoi de neuf en programmation 1976

2 Quoi de neuf en programmation 1986

3 Quoi de neuf en programmation 1993

4 Quoi de neuf en programmation 1994

5 Quoi de neuf en programmation 1996

6 Quoi de neuf en programmation 2003

7 Quoi de neuf en programmation 2007

8 Un choix Algebraic Specification of Abstract Data Types John Guttag Professor and Head of Computer Science Department Massachusetts Institute of Technology guttag@mit.edu

9 Est-ce bien nouveau ? The specification and application to programming of abstract data types. J.V. Guttag Ph.D. Thesis, University of Toronto (1975). An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. J. A. Goguen, J. W. Thatcher and E. G. Wagner, (1978)

10 Etat des lieux Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development H. EHRIG, 1 B. MAHR, 1 I. CLASSEN1 AND F. OREJAS2 ' Technical University of Berlin, Fachbereich 20 Informalik, Institul fur Software und Theoretische Informatik, Franklinstrasse 28/29, W-1000 Berlin 10, Germany (1992)

11 Etat des lieux Specification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification. Unlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method. While treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design Jacques Loeckx; Hans-Dieter Ehrich; Markus WolfJacques LoeckxHans-Dieter EhrichMarkus Wolf Chichester ; New York : Wiley ; Stuttgart : B.G. Teubner, ©1996.

12 Structures de Données et Type Abstraits algébriques Diviser pour régner, Mieux abstraire pour mieux comprendre. Une application doit être indépendante de la façon dont sont réalisées les structures qu’elle utilise.

13 Objectifs Dépasser le contexte immédiat –Définir les données par leur fonction plutôt que par leur représentation, –Reconnaître les données qui ont les mêmes propriétés, –Les concevoir comme des cas particuliers de structures abstraites, –Dégager la spécification abstraite. Multiplier les modèles –Envisager plusieurs solutions de représentation, –Les maintenir équivalentes, –Développer les applications indépendamment d’elles. Diviser le travail –Découper l’application en isolant les structures. –Se placer alternativement en utilisateur ou en concepteur. Rester vigilant sur –La conformité (preuve de programme) –La sécurité (typage, protection) –La maintenance (lisibilité, documentation, assertions, commentaires) –L’efficacité (complexité) –La concision et l’homogénéité (ré-utilisabilité, généricité, polymorphisme) –L’évolutivité (portabilité)

14 Méthodes Pour le cours : de l’abstrait au concret –spécification formelle de structures de données –construction hiérarchique de types –définition de modèles Pour les travaux pratiques : du concret à l’abstrait –écriture de spécifications, –génération d’implémentations, –réalisation de modèles, –applications.. Pour les deux : apprendre à apprendre –acquisition du langage ADA par un tutorial –approfondissement par une documentation en ligne

15 Outils Le langage : ADA 95/2005/2012 –Couvre toutes les méthodes de programmation moderne –Possède la notion de type abstrait et de classe –Gère les préconditions, postconditions, invariants et preuves –Permet des implémentations concurrentes et réparties. Le compilateur : gnat (avec environnement GPS) –Portable sur toute plate-forme –Compatible 2005/2012 –Licence GNU

16 Un dilemme ? Object-Oriented Programming Versus Abstract Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA www.cs.utexas.edu/users/wcook/papers/OOPvsADT/CookOOPvsADT90. pdf

17 Les Adresses Utiles Du monde entier Le Bureau des Pleurs Du monde entier Au sein du bâtiment IIIA Jean-Jacques Lacrampe, 1 er étage