# Méthodes de génie logiciel avec Ada/Bibliographie

* Avant propos, préface, introduction
* Une présentation rapide du langage Ada
* Langages et méthodes
* Méthodes avec Ada
* Composants logiciels
* Organisation de projet et choix fondamentaux
* Une méthode orientée objet pour les projets
* Conclusion
* Annexes
* Bibliographie
* Glossaire
* Avant propos, préface, introduction
* Une présentation rapide du langage Ada
* Langages et méthodes
* Méthodes avec Ada
* Composants logiciels
* Organisation de projet et choix fondamentaux
* Une méthode orientée objet pour les projets
* Conclusion
* Annexes
* Bibliographie
* Glossaire
[ Modifier le sommaire ]
Mettre à jour (nouveauté, publications JPR, UML, Java). Faire des références.
[Afn87] AFNOR. Langages de programmation – Ada, norme NF EN 28652. Eyrolles, Paris, 1987.
[Bar88] G.J.P. Barnes. Programmer en Ada. InterEditions, Paris, 1988.
[Bar92] M. Bari. «Une méthode d'analyse et de conception orientée objet de systèmes d'information actifs», Thèse de Doctorat de l'Université Paris VI. Université Paris VI, Paris, 1992.
[Bau91] B. Bauer et J. Poudret. «Ada dans l'Aéronautique à SEXTANT Avionique», Actes de la Conférence Internationale Francophone Ada-France 91. AFCET, Paris, 1991.
[Ber87] E.V. Berard et J. Margono. «A modified Booch's taxonomy for Ada generic data-structure components and their implementation», Ada components: libraries and tools. Proceedings of the Ada-Europe Conference 1987. Cambridge University Press, Cambridge, 1987.
[Ber89] J.-M. Bergé, L.-O. Donzelle, V. Olive, J. Rouillard. Ada avec le sourire. Presses Polytechniques Romandes – Collection CNET-ENST, Lausanne, 1989.
[Boo87] G. Booch. Software Components with Ada. Benjamin Cummings Publishing Company, Menlo Park, 1987.
[Boo84] G. Booch, Software Engineering with Ada, Benjamin Cummings Publishing Company, Menlo Park, 1984.
[Boo88] G. Booch. Ingénierie du logiciel avec Ada InterEditions, Paris, 1988 (traduction française de J.P. Rosen).
[Boo91] G. Booch. Object Oriented Design with Applications. Benjamin Cummings Publishing Company, 1991
[Bry87] Doug Bryan. «Dear Ada», Ada letters Vol. VII, n° 1. ACM, New York, 1987.
[Buh84] R.J.A. Buhr. System Design with Ada. Prentice Hall, Englewood-Cliffs, N.J., 1984.
[Buh89] R.J.A. Buhr. System Design with Machine Charts: a CAD Approach with Ada Examples. Prentice Hall, Englewood-Cliffs, N.J., 1989.
[Bur85] A. Burns. Concurrent Programming in Ada . Cambridge University Press, Cambridge, 1985.
[Car91] F. Caron et X. Cusset. «Comparaison a posteriori de développements en Ada et en C», Actes de la Conférence Internationale Francophone Ada-France 91. AFCET, Paris, 1991.
[Chen76] P.P.S. Chen. «The Entity-Relationship Model: Towards a Unified View of Data», ACM Transactions on Data Base Systems, Vol 1, n°1. ACM, New York, 1976.
[Cla80] L. A. Clarke, J. C. Wilden et A. L. Wolf, «Nesting in Ada Programs is for the Birds». SIGPlan Notices Volume 15, N° 11, ACM, New York, Novembre 1980.
[Des37] R. Descartes. Discours de la méthode. Leyde, 1637.
[Dod87] DoD. Software Design Document, DOD-STD-2167A. NTIS, 1987.
[Fav91] J. Favaro. «What Price Reusability? A Case Study», Proceedings of the First Symposium on Environments and Tools for Ada. Ada Letters Volume XI n° 3. ACM, New York, 1991.
[Gau89] M. Gauthier. Ada: un apprentissage. Dunod, Paris, 1989.
[Gau92] M. Gauthier. «Tout n'est pas objet», Génie Logiciel n°26. EC2, Nanterre, mars 1992.
[Gau94] M. Gauthier. «Contribution aux fondements de la programmation par objets», Document d'habilitation à diriger des recherches. Université Blaise Pascal, Clermont-Ferrand, 1994.
[Goo88] J. Goodenough. «Using Exceptions: Some Design Issues». Ada Technology for Command & Control. TRW Federal Systems Group, Fairfax, VA, 1988.
[Hei87] M. Heitz. «HOOD: une méthode de conception hiérarchisée orientée objets pour le développement de gros logiciels techniques et temps réel», Actes des journées Ada-France 1987, BIGRE n°57, décembre 1987.
[Hoa72] C. A. R. Hoare. «Notes on Data Structuring», in O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, 1972.
[Hof85] D. Hofstadter. Gödel, Escher, Bach: les Brins d'une Guirlande Eternelle. InterEditions, Paris, 1985.
[Hoo93] HOOD User Group. Hood Reference Manual 3.1, Masson-Prentice Hall, Paris, 1993.
[Iso87] ISO. Ada Programming Language, ISO Standard 8652/1987. ISO, Genève, 1987
[Iso94] ISO. Database Programming Language -- The SQL Ada Module Description Language SAMeDL, ISO/IEC 12227:1994 (E). ISO, Genève, 1994
[Iso95] ISO. Ada Programming Language, ISO Standard 8652/1995. ISO, Genève, 1995
[Jea93] C. Jean-Pousin et S. Barbey. «Implementing Associations with Ada». Actes du congrès «Génie Logiciel et ses applications». EC2, Nanterre, 1993.
[Kru86] P. Kruchten. Une machine virtuelle pour Ada: architecture, thèse de Docteur de l'ENST, ENST-86E010, ENST, Paris, 1986.
[Kru89] P. Kruchten. «Traitement des erreurs dans de grands systèmes utilisant la conception par objets», Genie Logiciel et Systèmes Experts, Vol 17. EC2, Nanterre, 1989.
[Kru90] P. Kruchten. «Error Handling in Large Object-Based Ada Systems», Ada Letters, Vol X, n° 7. ACM, New York, septembre 1990.
[Lai89] M. Lai. "Bilan d'utilisation de Hood et de Ada sur un projet développé au groupe RAC/GERDSM", Actes des journées Ada-France 1989, AFCET, Paris, 1989
[Lai91] M. Lai. Conception Orientée Objet, pratique de la méthode HOOD. Dunod, Paris, 1991
[Lan91] J.-A. Laneyrie. «Réflexions sur quelques aspects humains de la qualité du logiciel et des objets en programmation», Afcet-Interfaces n°103/104 (n° spécial «Objectif Objets!»), AFCET, Paris, 1991.
[Leb94] R. Lebib. «Incidences de la Mise en Œuvre des Concepts du Géniel Logiciel à travers l'Utilisation du Langage de Programmation Ada sur la Productivité en Informatique de Gestion», thèse de Doctorat d'Université. Université Paris IX Dauphine, Paris, 1994.
[Ler90] P. Leroy et P. Kruchten. «Gestion de configuration dans l'atelier Rational», Actes de la Conférence Internationale Francophone Ada-France 90, AFCET, Paris, 1990.
[Lin35] C. Linné. Systema naturae, Uppsala, 1735.
[Luc90] D. Luckham. Programming with Specifications: An Introduction to Anna, A Language for Specifying Ada Programs. Springer Verlag, Berlin, 1990.
[Mas89] G. Masini et alt. Les langages à objets. InterEditions, Paris, 1989.
[Mey88] B. Meyer. Object Oriented Software Construction. Prentice Hall, New York, 1988.
[Mey90] B. Meyer. Conception et programmation par objets, pour du logiciel de qualité. InterEditions, Paris, 1990.
[Mil56] G. A. Miller. «The Magical Number Seven, Plus or Minus Two», The Psychological Review, vol.63, n° 2, mars 1956.
[Moi91] T. Moineau. «ROSE-ADA: an instance of the ESF-ROSE System to reuse Ada code», Proceedings of SEE'91 conference, Aberystwyth, Avril 1991.
[Mor82] P. Morrison, P. Morrison, C. Eames: Powers of Ten. Scientific American Library, New York, 1982.
[Par71] D. L. Parnas. «On Criteria To Be Used in Decomposing Programs Into Modules», report CMU-CS-71-101, Computer Science Department, Carnegie-Mellon University, Pittsburgh P.A., février 1971.
[Pid93] H. Pidault. «Graphics Development in Ada», Ada-Europe 93, Lecture Notes in Computer Science n° 688. Springer Verlag, Berlin, 1993.
[Pit87] G. Pitette. «Adlog: Comment introduire des composants déductifs dans une application Ada», Génie Logiciel et Systèmes Experts, n°9. EC2, Nanterre, novembre 1987 .
[Pit88] G. Pitette. «Adlog: an Ada Components Set to Add Logic to Ada», Ada in Industry, Proceedings of Ada-Europe International Conference. Cambridge University Press, Cambridge, 1988.
[Pri91] R. Prieto-Diaz. «Implementing Faceted Classification for Software Reuse». Communications of the ACM, Vol. 34 n° 5, ACM, New York, mai 1991.
[Rei87] D. Reifer. «Ada's Impact: A Quantitative Assesment», ACM 1987, 0-89791-243-8/0012/0001.
[Rei89] D. Reifer. «Estimer l'impact d'Ada sur les coûts d'exploitation et de maintenance du logiciel», La Lettre Ada, n°24. EC2, Nanterre, août 1989.
[Rem94] C. Rémy. «La réutilisation: des outils, mais surtout une organisation», 01 Informatique n°1329, 21/10/1994
[Rig87] E. Riguidel. La méthode Mac_Adam, manuel de référence. Thomson CSF SDC, Meudon-la-Forêt, juin 1987.
[Rig89] E. Riguidel. «La chaîne Mac_Adam: d'un modèle abstrait à une architecture concrète», Actes des journées Ada-France 1989, AFCET, Paris, 1989
[Ros85] J-P. Rosen. «SETL: un langage de très haut niveau pour le prototypage», Journées d'étude AFCET «Nouveaux langages pour le génie logiciel», BIGRE + Globule n°45, Paris, octobre 1985.
[Ros86] J-P. Rosen. Une machine virtuelle pour Ada: le système d'exploitation, thèse de Docteur de l'ENST, ENST-86E013, ENST, Paris, 1986.
[Ros87] J-P. Rosen. «In defense of the USE clause», Ada Letters, Vol. VII, No. 7, ACM, New York, novembre/décembre 1987.
[Ros89] J-P. Rosen. «Conception Orientée Objets: des méthodes pour affronter la complexité», Le Monde Informatique n° 376, Paris, 10 Juillet 1989.
[Ros90a] J-P. Rosen. «Pensées, proverbes et citations», AFCET Interfaces n° 90, AFCET, Paris, avril 1990.
[Ros90b] J-P. Rosen. «Pour une définition méthodologique de la notion d'orienté objet», AFCET Interfaces, n°96, AFCET, Paris Octobre 1990.
[Ros91] J-P. Rosen. «Introduction au monde des objets», AFCET Interfaces, n°103-104 spécial "Objectif Objets", AFCET, Paris mai/juin 1991
[Ros92a] J-P. Rosen. «Ada 9X : une évolution, pas une révolution», Techniques et science informatiques, Volume 11 n°5, HERMES, Paris,1992.
[Ros92b] J-P. Rosen. «What Orientation Should Ada Objects Take?», Communications of the ACM, Volume 35 n° 11, ACM, New York, 1992.
[Ros94] J-P. Rosen, N. Kettani. «Apport d'Ada 9X aux paradigmes orientés objet», Acte des Journées Internationales sur les Nouveautés en Génie Logiciel, C3ST, Courbevoie, 1994
[Ros95a] J-P. Rosen. «Ada 95 pour le temps réel et les applications distribuées», Séminaire de la conférence Real-Time Systems '95, BIRP, Paris 1995.
[Ros95b] J-P. Rosen. «A Naming Convention for Classes in Ada 9X», Ada Letters, Vol. XV, No. 2, ACM, New York, mars/avril 1995.
[Ros97] J-P. Rosen et le HOOD User Group. HOOD: An Industrial Approach for Software Design, HOOD User Group, Bruxelles 1997.
[Ros99] J-P. Rosen. «Ada pour développer sur Internet», actes de la conférence Ada-France, Brest, 16 septembre 1999.
[Ros02] J-P. Rosen. «Ada, Interfaces and the Listener Paradigm», Reliable Software Technologies - Ada-Europe 2002, Proceedings , Vienna, Austria, June 17-21, 2002, Lecture Notes in Computer Science, vol. 2361, Springer-Verlag, 2002.
[Ros03] J-P. Rosen. «Experiences in Developing a Typical Web/Database Application», proceedings of the ACM SIGAda Annual International Conference (SIGAda 2003) , ACM Press, ACM order number 825030, San Diego, USA, December 7-11, 2003.
[Rum94] J. Rumbaugh et alt. OMT: Modélisation et conception orientées objet, Masson, Paris, 1994
[Sch86] J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, E. Schonberg. Programming with Sets – An Introduction to SETL. Springer Verlag, Berlin, 1986.
[Shl88] S. Shlaer , J. Mellor. Object Oriented Systems Analysis, Modeling the World in Data. Yourdon Press Computing Series, Englewood Cliffs, N.J.,1988.
[Sol91] J. Solderitsch. «Working Group Report, Library and Representation Subgroup of Methods and Tools for Design, Specification and Reuse», Proceedings of the First Symposium on Environments and Tools for Ada, Ada Letters Volume XI n° 3, ACM, New York, 1991.
[Spc92] Software Productivity Consortium. Ada Quality and Style: Guidelines for Professional Programmers, Version 2.01.01, SPC, décembre 1992.
[Tar93] Tartan. «Ada Outperforms C on C40 for Itek», On Target Vol 1, n°1, Tartan, été 1993.
[Tra89] W.J. Tracs et S. Edward. «Implementation Working Group Report», Reuse in Practice Wokshop. Software Engineering Institute, Pittsburgh PA, 1989.
[War85] P. Ward et J. Mellor. Structured Developement for Real-Time Systems. Prentice-Hall, Englewood-Cliffs, N.J., 1985.
[Wel83] A.J. Wellings, D. Keefe, G.M. Tomlinson. «A Problem with Ada and Resource Allocation», Ada Letters, Vol. III, No. 4, ACM, New York, juillet/août 1983.
[You79] E. Yourdon et L. Constantine. Structured Design. Yourdon Press, Englewood-Cliffs, N.J., 1979.