Références

A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

A

[AbG 85]	J.R. Abrial, A. Guillon, Un outil de conception de logiciels, Journées SM90, CNET ADI, 4-6 dec 85, Versailles (pp 871-880) Présentation d'un outil de spécification par le formalisme mathématique. Règles de production et inférences, syntaxe très souple.
[Abr 84]	J.R. Abrial, Spécifier ou comment matérialiser l'abstrait, TSI, 1984 (pp 201-219) Présentation d'un exemple de construction de programme par Spécification/Réalisation.
[AbS 83]	Abelson, Sussman, Structure and interpretation of computer programs, MIT Press, 1983 (500 p.) Présentation progressive et cohérente de Lisp, et plus généralement des modes de programmation dans les langages (Lisp est le support d'expression plus que le sujet du livre).
[AFQ 87]	F. Alexandre, J.-P. Finance, A. Quéré, SPES – a system for transforming logic programs, Rapp. CRIN, Nancy, 87-R-090 (15 p.) Outil de transformation : spécification par TAA -> programme fonctionnel (contrôlé, ≠ guidé).
[Agh 86]	Gul Agha, An Overview of Actors Languages, ACM SIGPLAN Notices, Vol 21 No 10, oct 86 (pp 58-67) Revue des langages d'acteurs.
[AnB 87]	P. Andrieu, P. Borras, PPML : Manuel d'utilisation (version 2.0), Rapp. Int., INRIA, Jan 87 (20 p.) PPML : langage de spécification pour la décompilation des arbres abstraits sous Mentor.
[ArF 88]	G. Arango, P. Freeman, Application of Artificial Intelligence, ACM SIGSOFT Software Engineering Notes, Vol 13 No 1, Jan 88 (pp 32-38) Rapport du « 4th International Workshop on Software Specification and Design, IEEE, Monterey, Ca, april 3-4 1987 » – présentation des articles.
[Ars 79]	J.J. Arsac, Syntactic Source to Source Transforms and Program Manipulation, Comm. of the ACM, Vol 22 No 1, Jan 79 (pp 43-54) Expression mathématique rigoureuse de programmes pseudo-pascal, pour des transformations « à sémantique constante »

B

[Bac 78]	John Backus, Can Programming be liberated from the von Neumann Style ? A Functional Style and Its Algebra of Programs, Comm. of the ACM, Vol 21 No 8, Aug 78 (pp 613-641) Introduction du Langage Fonctionnel FP (Functional Programming) + FFP (Formal System for FP) + AST (Application State Transition Systems).
[Bad 83]	Scott Baden, Berckley FP User's Manual, 4.1, July 27, 1983 (33 p.) FP : langage fonctionnel initialement défini par Backus [Bac 78].
[Bal 81]	Robert Balzer, Transformational Implementation : An Example, IEEE Trans. on Software Engineering, Vol 7 No 1, Jan 81 (pp 3-14) Exemple des 8 reines : transformation par schémas guidée par l'utilisateur + génération automatique du « document de développement » qui retrace les étapes de la transformation.
[Bar 87]	David Barstow, Artificial Intelligence and Software Engineering, Proc. of the IEEE 9th International Conference on Software Engineering, march 30-apr 2 1987, Monterey, Ca (pp 200-211) Défenseur de l'utilisation de l'IA en Génie Logiciel ; gains chiffrés (approximatifs) dans les étapes du développement.
[BaS 86]	R. Bahlke, G. Snelting, Context-sensitive editing with PSG environments, Lecture Notes in Computer Science (Goos et Hortmanis ed.), Advanced Programming Environments, Proceeding of an International Workshop, Trondheim, Norway, June 16-18 1986 (pp 26-38) Générateur d'éditeur syntaxique + interpréteur + sémantique, par règles d'inférence.
[BBG 85]	M. Bidoit, B. Biebow, M.-C. Gaudet, C. Gresse, G. Guiho, Exception Handling : Formal Specification and Systematic Program Construction, IEEE Trans. on Software Engineering, Vol 11 No 3, march 85 (pp 242-252) Présentation d'ASSPRO. – traduction d'une spécification en PLUSS en un programme Ada.
[BDE 87]	D. Bert, P. Drabik, R. Echahed, Manuel de référence de LPG, version 1.8, à paraître en tant que rapport LIFIA, 1987 (67 p.) LPG : langage "nouvelle génération" : programmation fonctionnelle, types abstraits, généricité, – spécification, règles (preuve).
[Ber 87]	Philip A. Bernstein, Database System Support for Software Engineering – An Extended Abstract, Proceeding of the IEEE 9th International Conference on Software Engineering, march 30-apr 2 1987, Monterey, Ca (pp 166-178) Les documents gérés par un CASE (Computer-Aided Software Engineering), les services requis. + biblio. (109 réf.).
[BGG 83]	M. Bidoit, C. Gresse, G. Guiho, Caty, Journées BIGRE 83, Le Cap d'Agde, 17-19 oct 83 (pp 110-122) Approche par TAA + schémas = transformation de structures.
[Bid 87]	M. Bidoit et al., ASSPRO : un environnement de programmation interactif et intégré, TSI, Vol 6 No 1, 1987 Spécification par TAA en langage PLUSS. Génération de squelettes Ada.
[Bjø 87]	Dines Bjørner, On The Use of Formal Methods in Software Development, Proceeding of the IEEE 9th International Conference on Software Engineering, march 30-apr 2 1987, Monterey, Ca (pp 17-29) Défenseur d'une formalisation de l'activité de programmation ; le méthode VDM = utilise un « graphe des dépendances » à tous les niveaux du développement.
[Blu 84]	Bruce I. Blum, Three Paradigms for Developing Information Systems, Proc. of the 7th International Conference on Software Engineering, Orlando, Florida, march 26-29 1984 (pp 534-543) Emploi d'un VHLL pour la génération automatique de programmes COBOL.
[BMP 86]	H.J. Barnard, R.F. Metz, A.L. Price, A Recommanded Practice for Describing Software Design : IEEE Standards Project 1016, IEEE Trans. on Software Engineering, Vol SE-12 No 2, feb 1986 Les documents à produire et leurs relations vis-à-vis des intervenants.
[Boe 81]	Barry W. Boehm, Les facteurs du coût du logiciel, TSI, Vol 1 No 1, 1981 (pp 5-24) Etude chiffrée des coûts du logiciel, et leurs causes dans le cylce de vie.
[Boe 86]	Barry W. Boehm, A Spiral Model of Software Development and Enhancement, ACL SIGSOFT Software Engineering Notes, Vol 11 No 4, aug 86 (pp 14-24) Modèle spiral du cycle de vie. Prototypes -> Réalisation.
[Boo 82]	Grady Booch, Naming Subprograms with Clarity, ACM SIGPLAN Notices, Vol 17 No 1, Jan 82 (pp 18-22) Un complément lexical aux langages de programmation pour des appels de procédure lisibles – à suivre dans [Gro 82].
[Bro 85]	Manfred Broy, Structure Algebraic Specification of Backus' Functional Programming Language, TSI, Vol 4 No 5, 1985 (pp 447-458) Suite de [Bac 78], définition sous forme de TAA du langage FP.

C

[Cam 86]	John R. Cameron, An Overview of JSD, IEEE Trans. on Software Engineering, Vol 12 No 2, feb 86 (pp 222-240) Présentation de « Jackson System Development » (JSD), par des exemples.
[Cat 79]	James V. Catano, Poetry and Computers : Experimenting with the Communal Text, Computers and the Humanities, Vol 13, 1979 (pp 269-275) Expérience de l'utilisation de l'« hypertexte » (Van Dam, cf. [Nel 67]) pour l'enseignement de la critique littéraire d'un poème.
[CaW 85]	Cardelli, Wegner, On Understanding Types, Data Abstraction and Polymorphism, ACM Computing Surveys, Vol 17 No 4, dec 85 (pp 471-522) Le point sur les types, types abstraits de données et polymorphisme. Définition informelle du langage fun qui supporte ces concepts.
[CCC 87]	Ceugniet, Chabrier, Chauvin, Derriau, Graf, Lextrait, Prototypage d'un Générateur d'Editeurs Syntaxiques Graphiques, DESS ISI, Gen. Log. Info. Temps Réel, 13 mai 1987 (110 p.) Langage de spécification SSL + Langage de description GSL. Définition de la machine virtuelle graphique – gère boîtes et fenêtres. + implémentation et exemples à la fin.
[CDD 86]	D. Clement, J. et T. Despeyroux, L. Hascoet, G. Kahn, Specification in Natural Semantics, GIPE : Intermediate Report CS-R8620 May 1986 (64 p.) Spécification de la syntaxe abstraite (Metal) et de la sémantique dynamique (Typol). Exemples : ASPLE, ML, ESTEREL.
[CGV 80]	P.Y. Cunin, M. Griffiths, J. Voiron, Comprendre la compilation, Springer-Verlag, 1980 Aspects d'implantation et d'optimisation des « contextes d'évaluation » (sic). Problème d'optimisation abordé à la fin, dont problème d'optimisation globale (dont les algorithmes).
[ChD 83]	J.J. Chabrier, J.C. Derniame, TYP : programming with abstract types, TSI, Vol 1 No 4, 1983 (pp 267-274) Langage exécutable de T.A., l'exécution peut être lancée dès la spécification du type (sans représentation associée).
[Che 84]	T.E. Cheatham, Reusability Trough Program Transformation, IEEE Trans. on Software Engineering, Vol 10 No 5, sept 84 (pp 589-594) EL1 : langage de très haut niveau (VHLL) + PDS : environnement de programmation.
[Cou 85]	G. Cousineau, ML : un langage fonctionnel typé, Journées SM90, CNET ADI, 4-6 dec 85, Versailles (pp 103-110) Présentation du langage ML : mécanisme d'inférence des types, polymorphisme, définition de fonctionnelles.
[CrD 87]	S. Cruzlara Silva, J.C. Derniame, Yet another progamming environment generator based on attribute grammars, Rapp. CRIN, Nancy, 87-R-079 Présentation du système GEODE, environnement de programmation intégré défini par les grammaires attribuées.

D

[DDF 87]	V. Donzeau-Gouge, C. Dubois, P. Facon, F. Jean, Developments of a programming environment for SETL, ESEC'87, Strasbourg, sept 87 (pp 23-36) langage SETL (VHLL) et environnement de dévelopement SED.
[DeF 79]	J.-C. Derniame, J.-F. Finance, Types Abstraits de Données : spécification, utilisation et réalisation, Ecole d'été de l'AFCET, Monastir, Rapp. CRIN, Nancy, 79-E-57 (200 p.) Panorama sur les T.A. : définition, spécification, les T.A. dans les langages.
[DeS 86]	N. Deslisle, M. Schwartz, Neptune : a Hypertext System for CAD Applications, SIGMOD Record, Vol 15 No 2, June 1986, Proc. Of SIGMOD'86 International Conference on Management of Data, Washington D.C., may 28-30 1986 (200 p.) CAD = Computer Aided Design. Historique des hypertextes, application à la documentation, spécification -> CASE
[DHK 80]	V. Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, Programming environments based on structured editors : the Mentor experience, Rapport de recherche INRIA No 26, 1980 (14 p.) Editeur de texte des programmes Pascal.
[Dia 84]	Jorge L. Diaz-Herrera, Pragmatic Problems with Step-wise Refinement Program Development, ACM SIGSOFT Soft. Eng. Notes, Vol 9 No 2, april 1984 (pp 80-88) Décomposition des algorithmes par affinage et non l'emploi (excessif) des procédures.
[DLP 79]	R.A. De Millo, R.J. Lipton, A.J. Perlis, Social Processes and proofs of theorems and programs, Comm. of the ACM, Vol 22 No 5, 1979 (pp 271-280) cf. [ScS 83] : opposés à une formalisation de l'étape de Spécification.
[Dow 87]	Mark Dowson, ISTAR – An Integrated Project Support Environment, ACM SIGPLAN Notices, Vol 22 No 1, Jan 1987, Proc. Of the ACM SIGSOFT/SIGPLAN Software Engineering Symp. on Practical Software Development Environment, Paolo Alto, Ca, dec 9-11 1986 (pp 27-33) Environnement « orienté projet » ; interface unique ) éditeur. Nombreux outils proposés – gestion de projet, des ressources, B.D., + kit
[DyS 85]	R. Dybvig, B. Smith, A Semantic Editor, SIGPLAN Notices, Vol 20 No 7, July 85 (pp 74-82) Editeur qui permet de réaliser des transformations de programmes écrits en ML, en conservant la sémantique des programmes, et en conservant dans la R.I. la modification.

E

[EnE 68]	D.C. Engelbart, W.K. English, A research center for augmenting human intellect, AFIPS, Vol 33, 1968 (pp 395-410) Un environnement "moderne" de programmation – réparti, souris, vidéo. Dont le souci de réaliser de l'édition structurée.
[Eng 78]	D.C. Engelbart, Toward integrated, evolutionnary office automation systems, Proc. Jt Engineering Management Conf., Denver, Colo., oct 16-18 1978, IEEE, New York (pp 63-68) Présentation d'AUGMENT, environnement de « production de document ».
[ENS 87]	G. Engels, M. Nagl, W. Schäfer, On the structure of structure-oriented editors for different applications, ACM SIGPLAN Notices, Vol 22 No 1, Jan 1987, Proc. Of the ACM SIGSOFT/SIGPLAN Software Engineering Symp. on Practical Software Development Environment, Paolo Alto, Ca, dec 9-11 1986 (pp 190-198) Edition structurée par graphes, pour Modula-2 (« programming in the small »), pour les interfaces (« programming in the large »), pour du texte + des graphiques.

F

[Fea 82]	Martin S. Feather, A System for Assisting Program Transformation, ACM Trans. on Programming Languages and Systems, Vol 4 No 1, Jan 1982 (pp 1-20) Exemples d'emploi du système ZAP = transformations par groupements de transformations.
[Fea 87]	Martin S. Feather, Language Support for the Specification and Development of Composite Systems, ACM Trans. on Programming Languages and Systems, Vol 9 No 2, april 1987 (pp 198-234) Langage Gist de spécification opérationnelle clos (clos = on représente aussi l'environnement logiciel) – représentation par des ensembles ou des arbres (<-> CCS)
[FeM 80]	P.H. Feiler, R. Medina-Mora, An Incremental Programming Environment, Dpt of Computer Science, Carnegie-Mellon Univ., Pa. 15213, april 1980 (23 p.) Un environnement qui propose une R.I. commune pour Edition/Interprétation (= arbre syntaxique + code exécutable)
[FGM 87]	K. Futatsugi, J. Goguen, J. Meseguer, K. Okada, Parametrized Programming in OBJ2, Proceeding of the IEEE 9th International Conference on Software Engineering, march 30-apr 2 1987, Monterey, Ca (pp 51-60) Langage OBJ2 : « langage fonctionnel sur l'algèbre initial » (égalité -> règle de réécriture).
[FGN 83]	G. Falquet, J. Guyot, L. Nerima, EM 2 : un environnement pour Modula 2, Journées BIGRE 83, Le Cap d'Agde, 17-19 oct 83 (pp 334-343) Environnement pour Modula-2.
[Fra 80]	Christopher W. Fraser, A Generalized Text Editor, Comm. of the ACM, Vol 23 No 3, march 80 (pp 154-158) Editeur pour : des textes, des directories, des exécutions symboliques, ... – toutes les commandes sont semblables, les effets de bord sont transparents.
[Fra 81]	Christopher W. Fraser, Syntax-Directed Editing of General Data Structures, ACM SIGPLAN Notices, Vol 16 No 6, June 1981, Proceeding of the ACM SIGPLAN/SIGOA Symposium on text manipulation, Portland, Oregon, June 8-10 1981 (pp 17-21) Présentation de l'éditeur sds – cf. [Fra 80].
[Fre 87]	Peter Freeman, A Conceptual Analysis of the Draco Approach to Constructing Software Systems, IEEE Trans. on Software Engineering, Vol 13 No 7, July 87 Transformation par connaissance du domaine (experts) : on définit le langage de spécification et les transformations dans le projet.

G

[GaF 84]	Gabriel, Frost, A Programming Environment on a Timeshared System, SIGPLAN Notices, Vol 19 No 5, May 84 (pp 185-192) Editeur de texte : E.
[GBB 87]	C. Godart, K. Benali, N. Boudjida, F. Charoy, J.-C. Derniame, Les bases de données sur le chemin du génie logiciel, Journées d'étude AFCET « Des bases de données aux bases de connaissances », Ed. PSI 1987 (pp 37-58) Projet ALF. SE et SGBD définis conjointement (≠ juxtaposés). Fondé sur la notion d'objet (-> propriétés, héritage).
[GJL 87a]	D. Gelernter, S. Jagannathan, T. London, Environments as First Class Objects, 4th Annual ACM Symp. on Principles of Programming Languages, Munich, W. Germany, 21-23 Jan 1987 (pp 98-110) Symmetric Lisp : Lisp où l'on peut manipuler explicitement les environnements d'évaluation (= objets de « première classe »).
[GJL 87b]	D. Gelernter, S. Jagannathan, T. London, Parallelism, Persistence and Meta-Cleanliness in the Symmetric Lisp Interpreter, Proceeding of the SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques, St Paul, Minnesota, June 24-26 1987 (pp 274-282) Présentation de Symmetric Lisp, vu comme un langage de commande d'un environnement de programmation.
[GJL 87c]	D. Gelernter, S. Jagannathan, T. London, M. Day, A Symmetric Language, Univ. of Yale, Techn. Report TR-568, oct 87 (37 p.) Présentation de Symmetric Lisp + sémantique formelle du langage.
[GMT 86]	F. Gallo, R. Minot, I. Thomas, The Object Management System of PCTE as a Software Engineering Database Management System, ACM SIGPLAN Notices, Vol 22 No 1, Jan 1987, Proceeding of the ACM SIGSOFT/SIGPLAN Software Engineering Symp. on Practical Software Development Environments, Paolo Alto, Ca, dec 9-11 1986 Project Common Tool Environment = développer une structure d'accueil pour un environnement plutôt qu'un environnement (-> Emeraude).
[Gog 84]	Joseph A. Goguen, Parametrized Programming, IEEE Trans. on Softare Engineering, Vol 10 No 5, sept 84 (pp 528-543) Traits des langages de programmation supportant la "programmation paramétrée". OBJ : on retrouve l'essentiel de ces catactéristiques.
[Gog 86]	Joseph A. Goguen, Reusing and Interconnecting Software Components, IEEE Computer, feb 86 (pp 16-28) Présentation de LIL, langage de gestion de composants modulaires.
[Gol 83]	Adele Goldberg, The Influence of an Object-Oriented Language on the Programming Environment, Proc. Of the 1983 ACM Computer Science Conf., Orlando, Florida, feb 1983 (pp 35-54) Présentation de Smalltalk-80.
[Gor 80]	R.D. Gordon, The Modular Application Customizing System, IBM System Journal, Vol 19 No 4, 1980 (pp 521-541) Génération automatique de programmes, à partir d'un questionnaire -> programmes de gestion sur matériel de petite taille.
[Gra 86]	*Anna Gram (collectif), Raisonner pour programmer*, Dunod, 1986 (400 p.) Décomposition fine du processus de conception/programmation. Cependant plus une analyse de comportement qu'une méthode de développement.
[Gro 82]	Lindsay J. Groves, Using Simple English Sentences to Call Procedures, ACM SIGPLAN Notices, Vol 17 No 11, Nov 1982 (pp 31-38) Suite de [Boo 82], les appels de procéudures sont des phrases (en anglais).
[GuH 78]	J.V. Gutag, J.J. Horning, The Algebraic Specification of Abstract Data Types, Acta Informatica, Vol 10, 1978 (pp 27-52) Spécification Algébrique des TA (les TAA).
[GuJ 87]	J. Guyard, J.P. Jacquot, Systematic Structure-Oriented Program Edition, Rapp. Univ. Nancy 87-R-003, 987 Présentation de EDME, langage de définition d'algorithmes construit autour du langage MEDEE, selon la méthode déductive développée à Nancy.

H

[HCF 80]	C.F. Herot, R. Carling, M. Friedell, D. Kramlich, A Prototype Spatial Data Management System, Computer Graphics, ACM SIGGRAPH, Vol 14 No 3,1980 (pp 63-70) Interface graphique (icônes) pour la consultation de bases de données (problème : trouver des icônes "sémantiquement significatives").
[HeK 85]	Jan Heering, Paul Klint, Towards Monolingual Programming Environments, ACM Trans. on Programming Languages and Systems, Vol 7 No 2, april 1985 (pp 183-213) Environement « monolingual » (≠ polyglote) pour : langage de commande, langage de programmation, langage du debugger symbolique.
[HeK 86]	J. Heering, P. Klint, User Definable Syntax for Specification Languages, GIPE, Esprit Project 348, Int. Report CS-R8620, May 1986 (40 p.) Langage qui permet de spécifier (lexical + syntaxe) un langage de manière simple et efficace.
[Hen 86]	Peter B. Henderson, Data-Oriented Incremental Programming Environments, Lecture Notes in Computer Science (Goos et Hortmanis ed.), Advanced Programming Environments, Proceeding of an International Workshop, Trondheim, Norway, June 16-18 1986 (pp 39-46) Environnement incrémental orienté données : les attendus (dont ex : VisiProg).
[Hen 87]	P.R.H.Hendriks, Type-checking Mini-ML : an Algebraic Specification with User Defined Syntax, GIPE, Esprit Project 348, 2nd annual review report, Jan 1987 (31 p.) Contrôle de type dans le formalisme SDF – cf. [HeK 86].
[HES 87]	H. Harr, M. Evens, J. Spowl, Interpreting ABF – A language for Document Construction, Proceeding of the SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques, St Paul, Minnesota, June 24-26 1987 (pp 205-213) Construction de documents juridiques par définition de variables / utilisation.
[HIA 81]	M. Hammer, R. Ilson, T. Anderson, E. Gilbert, M. Good, B. Nianir, L. Rosenstein, S. Schoichet, The implementation of Etude, An Integrated and Interactive Document Production System, ACM SIGPLAN Notices, Vol 16 No 6, June 1981, Proceeding of the ACM SIGPLAN/SIGOA Symposium on text manipulation, Portland, Oregon, June 8-10 1981 (pp 137-146) Maquette de formateur de texte "WYSIWYG" et structuré (concept unique = région).
[HoT 86]	S. Horwitz, Tim Teiltelbaum, Generating Editing Environments Based on Relations and Attributes, Cornell Univ., ACM Trans. on Programming Languages & Systems, Vol 8 No 4, oct 86 (pp 577-608) Editeur de grammaire attribuée : -> recherche rapide, efficace + algorithmes de mise en œuvre.
[HSE 84]	M. Hozumi, Y. Sekine, H. Ejima, A Method of Large-Scale Software Development, Proc. of the 7th International Conference on Software Engineering, Orlando, Florida, march 26-29 1984 (pp 520-527) Présentation de l'étape de test avec l'emploi d'un exécutif spécifique qui évite l'intervention des modules factices en phase de mise au point.

J

[Jac 83]	J.-P. Jacquot, Etude d'un outil d'assistance à la conception méthodique de programmes, thèse INPL, Nancy, 15 sept 83 (120 p.) Maiday, environnement "confortable" de développement de petites applications. -> le but est l'enseignement de méthodes de programmation.
[JoL 86]	J.-P. Jouannaud, P. Lescanne, la Réécriture, TSI, Vol 5 No 6, 1986 (pp 433-452) Panorama général sur l'état de l'art en matière de réécriture + biblio.
[Jou 86]	Jouvelot, Designing New Language or New Language Manipulation Systems using ML, ACM SIGPLAN Notices, Vol 21 No 8, Aug 86 (pp 40-52) Syntaxe + sémantique décrites par des fonctions ML.

K

[Kah 87]	G. Kahn, Natural Semantics, GIPE, Esprit Project 348, 2nd annual review report, Jan 1987 (19 p.) Présentation de la « Sémantique Naturelle » (sémantique opérationnelle typée) : le langage Typol.
[KaL 84]	R.H. Katz, T.J. Lehman, Database Support for Versions and Alternatives of Large Design Files, IEEE Trans. on Software Engineering, Vol 10 No 2, march 84 Mécanisme de gestion des versions.
[KLM 83]	G. Kahn, B. Lang, B. Mélèse, E. Morcos, Metal : a formalism to specify formalisms, Séminaire Aussois, INRIA, 12-22 avril 1983 (pp 169-203) Langage Metal (méta-langage de Mentor).
[Knu 84]	Donald E. Knuth, Literate Programming, Computer Journal, Vol 27 No 2, may 1984 (pp 97-111) La programmation littéraire : une présentation agréable pour un lecteur humain. Cf. Rubrique « Literate Programming », à partir de : CACM, Vol 30 No 7, July 1987.
[KoW 87]	E.E. Kohlbecker, M. Wand, Macro-by-examples : Deriving Syntactic Transformations from their Specification, 4th Annual ACM Symp. on Principles of Programming Languages, Munich, W. Germany, 21-23 Jan 1987 (pp 77-84) Syntaxe des macros Lisp de "haut niveau".

L

[Lam 82]	Axel van Lamsweerde, Automatisation de la production de logiciels d'application : quelques approches, TSI, Vol 1 No 6, 1982 (pp 475-494) Panorama sur les transformations de programme : les différentes approches, des exemples, + biblio.
[Lam 87]	Axel van Lamsweerde et al., The Kernel of a Generic Software Development Environment, ACM SIGPLAN Notices, Vol 22 No 1, Jan 1987, Proceeding of the ACM SIGSOFT/SIGPLAN Soft. Eng. Symposium on Practical Software Development Environments, Paolo Alto, Ca, dec 9-11 1986 (pp 208-217) Environnement générique, paramétré par la méthode.
[Lan 86]	B. Lang, The Virtual Tree Processor, GIPE : Esprit Project 348, 3rd Report, Sept 86 (29 p.) Manuel de référence du processeur d'arbres virtuel, noyau de l'environnement Mentor – ici la version Lisp.
[LaS 79]	H.C. Lauer, E.H. Satterthwaite, The Impact of Mesa on System Design, 4th International Conference on Software Engineering, sept 79 Langage Mesa + langage de connexion des composants.
[Leg 87]	Bruno Legeard, Prototypage de logiciels avec le langage PROLOG : Méthode et outils, thèse de l'INSA de Lyon, 27 oct 87 (230 p.) Présentation d'une méthodologie pour le prototypage en PROLOG.
[Lem 83]	M. Lemoine, Apport de la programmation automatique à la conception des environnements de programmation, Journées BIGRE 83, le Cap d'Agde, 17-19 oct 83 (pp 597-604) Présentations programmation automatique / environnement "classique" de programmation. Qualités du « bon atelier », cahier des charges d'un « bon atelier ».
[LeT 87]	M.M. Lehman, W.M. Turski, Essential Properties of IPSEs, ACM SIGSOFT Software Engineering Notes, Vol 12 No 1, Jan 87 (pp 52-55) Revue des propriétés attendues d'un IPSE (Integrated Projet [Programming] Support Environment).
[Lev 86]	Leon S. Levy, A Metaprogramming Method and Its Economic Justification, IEEE Trans. on Sotware Engineering, Vol 12 No 1, feb 86 (pp 272-277) Métaprogrammation = on écrit d'abord un outil de traduction automatique spécification -> progamme, puis le projet est écrit et maintenu dans le langage de spécification.
[Lin 84]	B.H. Liskov, A design methodology for reliable software systems, AFIPS, Vol 37, 1972 (pp 191-199) Dans l'optique de tests (preuve) : -> hiérarchie par niveaux d'abstraction, programmation structurée.
[LiZ 75]	B.H. Liskov, S.N. Zilly, Specification Techniques for Data Abstraction, IEEE Trans. on Software Engineering, Vol 1 No 1, march 75 (pp 7-19) Les critères d'évaluation d'une méthode de spécification ; application aux méthodes utilisées pour les T.A.
[Loy 83]	M. Loyer, Modularité, Composition des programmes et Gestion des Composants, Séminaire Aussois, INRIA, 18-22 avril 83 (pp 357-364) Les « bonnes règles » de la modularité, et ce qu'on est en droit d'attendre d'un environnement modulaire (à défaut d'un langage).
[LPS 87]	N. Levy, A. Piganiol, J. Souquières, Specifying with SACSO, Proc. of the 4th International Workshop on Software Specification and Design, IEEE, Monterey, Ca, april 3-4 1987 ; Rapp. CRIN, Nancy, 87-R-002 Présentation du système SACSO : mise au point d'une spécification paramétrée par la méthode.

M

[MaR 73]	P.A. de Marneffe, D. Ribbens, Holon Programming, (A. Günther et al. ed.), International Computing Symposium, 1973, North-Holland Publ. Co. 1974 (pp 67-71) Programmation par « holon » (= « la partie du tout ») : « une solution bien structurée pour un programme bien intégré ». – cf. [Knu 84].
[Mar 79]	P. Marchand, Théorie des Graphes, Cours du C1 d'Info., partie Algèbre chapitre 3, CRIN 79-E-20 (90 p.) Cours sur la théorie des graphes – terminologie, exemples, algorithmes.
[Mat 84]	Yoshihiro Matsumoto, Some Experience in Promoting Reusable Software : Presentation in Higher Abstract Levels, IEEE Trans. on Software Engineering, Vol 10 No 5, sept 84 (pp 502-513) Comment les logiciels sont contraints par niveaux successifs d'abstraction chez un industriel (Toshiba).
[Mel 83]	Bertrand Mélèse, Mentor Rapport, Séminaire Aussois, INRIA, 12-22 avril 1983 Application de Mentor à l'édition de texte structuré.
[MeN 81]	R. Medina-Mora, D.S. Notkin, ALOE Users' and Implementors' Guide, Dpt of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pa. 15213, CMU-CS-81-145, nov 1981 (85 p.) A Language Oriented Editor – un élément du projet GANDALF.
[MeN 87]	B. Meyer, J.M. Nerson, Cépage User's Manual (version 1.0), Interactive Software Engineering, may 1987 (18 p.) Cépage : éditeur syntaxique, écrit en Eiffel.
	–, LDL : a Language Description Language User's Manual, ibid. (45 p.) LDL : langage d'expression des syntaxes abstraite et concrète pour Cépage. + grammaires de Pascal, Ada, LDL (pp 46-110).
[Mey 80]	B. Meyer, Langages de programmation – Présentation, Encyclopédie "Technique de l'Informatique", Paris, dec 80 (H 2040, 22 p.) Les divers aspects des langages de programmation – illustrés par divers exemples de langages.
[Mey 85a]	B. Meyer, On Formalism in Specification, IEEE Software Engineering, Vol 13 No 1, Jan 85 (pp 6-25) De l'utilité de la spécification.
[Mey 85b]	B. Meyer, étapes sur le chemin du Génie Logiciel, dont 1ère partie, chapitre 1 : « survol partial d'une discipline » (pp 1-33), thèse sur travaux Nancy (1975-1985), 9 Sept 85 (tome I et II, 700 p.) Panorama sur le Génie Logiciel : cycle de vie, méthodes, langages, outils.
[MKM 85]	A. Menegaux, A. Krioule, B. Moussaid, Interprétation des Types Abstraits Algébriques, Projet D.E.A., Nancy I, disponible auprès des auteurs Présentation d'un Interpréteur de T.A.A.
[Mit 87]	Charles Z. Mitchell, Engineering VAX Ada for a Multi-language Programming Environment, ACM SIGPLAN Notices, Vol 22 No 1, Jan 1987, Proc. of the ACM SIGSOFT/SIGPLAN Software Engineering Symp. on Practical Software Development Environment, Paolo Alto, Ca, dec 9-11 86 (pp 49-58) Ada chez DEC (dont : effort particulier pour des dialogues <-> autres langages).
[MMV 85]	B. Mélèse, V. Migot, D. Verove, The Mentor-V5 Documentation, Rapp. Techn. INRIA No 43, Jan 85 (180 p.) Documentation technique sur Mentor-V5 (Mentor multi-langage) – documentation en ligne. Dont les commandes de Mentol, Mentorkit (pour définir un nouveau langage sous Mentor), les environnements Pascal, Ada, Metal, Mentor Rapport.
[MRR 83]	Mossière, Raymond, Rouzaud, Représentation interne et manipulation de programmes dans l'atelier de logiciel Adèle, Séminaire Aussois, INRIA, 18-22 avril 83 (pp 313-326) On travaille sur Pascal : problème de la R.I. dans l'environnement = arbres abstraits.
	Cheval, Estubier, Ghoul, Krakowiak, Modularité et composition des programmes dans l'atelier de logiciel Adèle, ibid. (pp 327-341) Toujours en Pascal : modularité -> un schéma complet Interface + Corps + Spécification.
	Herrman, Raymond, Le poste de travail du projet Adèle, ibid. (pp 342-355) Interface multifenêtre attrayante d'Adèle.
[MvD 82a]	N. Meyrowitz, A. van Dam, Interactive Editing Systems : Part I, ACM Computing Surveys, Vol 14 No 3, sept 82 (pp 321-352) Présentation dans le détail des caractéristiques générales d'un éditeur – de texte ou de structure. Historique, présentation des services généralement offerts dans les éditeurs.
[MvD 82b]	N. Meyrowitz, A. van Dam, Interactive Editing Systems : Part II, ACM Computing Surveys, Vol 14 No 3, sept 82 (pp 353-415) 1. revue des éditeurs existants ; 2. les éditeurs actuels et à venir.

N

[Nei 84]	J.H. Neighbors, The Draco Approach to Constructing Software from Reusable Components, IEEE Trans. on Software Engineering, Vol 10 No 5, sept 84 (pp 564-574) Draco : système de transformation de programmes "source-à-source".
[Nel 67]	Theodor H. Nelson, Getting It Out of Our System, Information Retrieval : A critical review, G. Schecter Ed., Thomson Book Co., Washington D.C., 1967 (pp 191-211) Présentation de l'« hypertexte » = texte structuré, qui par nature ne peur pas être imprimé sous une forme satisfaisante (liens trop ténus entre les composants).
[Nix 85]	Robert P. Nix, Editing by Example, ACM Trans. on Programming Languages and Systems, Vol 7 No 4, oct 85 (pp 600-621) Edition de motifs répétitifs par l'exemple (unification -> problème NP-complet).

O

[OtO 84]

Karl J. et Linda M. Ottenstein, The Program Dependence Graph in a Software Development Environment, ACM SIGPLAN Notices, Vol 19 No 5, May 84 (pp 177-184)

Présentation de PDG, support de la R.I. des sources dans un environnement.

P

[PaC 86]	D.L. Parnas, P.C. Clements, A Rational Design Processa : How and Why to Fake it, IEEE Trans. on Software Engineering, Vol 12 No 2, feb 86 (pp 251-257) Comment "truquer" les règles de bonne conception pour le développement effectif d'un logiciel. Points clés : la décompilation modulaire, la documentation.
[Pag 87]	F. Pagan, A graphical FP Language, ACM SIGPLAN Notices, Vol 22 No 3, March 87 (pp 21-39) Présentation d'une interface graphique pour la construction de fonctions FP récursives.
[Pai 87]	C. Pair, Programmation et langages de programmation, Journées d'étude ESIEE, 17-19 juin 87 (10 p.) L'état de l'art en matière de programmation et langages. Panorama général.
[Par 72]	D.L. Parnas, On the Criteria To Be Used in Decomposing Systems into Modules, Comm. of the ACM, Vol 15 No 1, dec 72 (pp 1053-1058) Les avantages de la modularisation et d'une structuration hiérarchique.
[PaS 86]	C. Parent, S. Spaccapietra, Une approche sémantique de la définition d'une algèbre entité-relation, NBD-recherche No 2, Jan 86 (pp 3-14) Algèbre pour l'interrogation des bases de données.
[Per 85]	G.-R. Perrin, La communication : un outil pour la spécification, la construction et la vérification de systèmes parallèles, thès Univ. Nancy, 3 oct 85 (250 p.) Expression de la communication dans les systèmes parallèles sous forme de Types Abstraits Algébriques ; classement des « types de communication ».
[PPS 79]	N.S. Prywes, A. Pnueli, S. Shastry, Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development, ACM Trans. on Programming Languages and Systems, Vol 1 No 2, oct 1979 (pp 196-217) Model II : "spécification" et génération automatique de programmes en PL/I + contrôles de cohérence, complétude.

R

[Ree 87]	Karl Reed, Practical Software Engineering Environments, ACM SIGSOFT Software Engineering Notes, Vol 12 No 1, Jan 87 (pp 56-62) Résumé de « Software Engineering Symposium on Software Development Environments », SIGPLAN Notices, Vol 22 No 1, 9-11 dec 86.
[Rei 84]	Steven P. Reiss, Graphical Program Development with PECAN Program Development Systems, ACM SIGPLAN Notices, Vol 19 No 5, May 84 (pp 30-41) 0
[Rei 86]	Steven P. Reiss, An Object-Oriented Framework for Graphical Programming, ACM SIGPLAN Notices, Vol 21 No 10, oct 86 (pp 49-57) Présentation du système GARDEN.
[Rei 87]	Steven P. Reiss, A Conceptual Programming Environment, Proc. of the IEEE 9th International Conference on Software Engineering, march 30-apr 2 1987, Monterey, Ca (pp 225-235) Technique des LOO pour la définition de l'environnement GARDEN, paramétré par le formalisme (texte + graphisme).
[ReT 85]	T. Reps, T. Teitelbaum, The Synthesizer Generator Reference Manual, Dept of Computer Science, Cornell Univ., Ithaca, NY 14853, Aug 85 Générateur d'éditeur syntaxique. Définition d'un langage – manuel d'utilisation de l'éditeur.
[Rez **]	I. Reznikoff, Logique – Théorie de la démonstration et de l'intuitionnisme, Encyclopædia Universalis (8 p.) Présentation des Systèmes Formels et de leurs propriétés.
[Rip 83]	Knut Ripken, L'environnement Ada : vers une intégration des outils de gestion et de développement, Journées BIGRE 83, le Cap d'Agde, 17-19 oct 83 (pp 675-694) Regard "industriel" sur le problème des environnements de programmation. Triangle de cohérence : développement - gestion de projet et gestion de configuration.
[Rob 87]	Arch D. Robinson, The Illinois Functional Programming Interpreter, Proceeding of the SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques, St-Paul, Minnesota, June 24-26, 1987 (pp 64-73) IFP = FP de [Bac 78] efficace (comparaison avantageuse avec BASIC).
[Roy 87]	Wiston W. Royce, Managing the Development of Large Software Systems, Proc. of the IEEE 9th International Conference on Software Engineering, march 30-april 2 1987, Monterey, Ca (pp 328-338) Le cycle de vie, le modèle de la cascade complété par : des documents à chaque étape ; une revue critique du Client ; une étude et une réalisation préliminaire, dont le résultat est exploité dans la suite du développement (paru initialement en 1970).

S

[Sch 86]	Kurt J. Schmucker, Object-Oriented Programming for the Macintosh, Hayden Book Company, 1986 Revue des LOO avec accès à la bibliothèque MacApp du Macintosh : principalement Object Pascal, Smalltalk, Lisa Clascal.
[Sch 87]	Daniel Schneider, The Programming Language Scheme, AICOM, Vol 10 No 1, Aug 87 (pp 17-27) Description du dialecte Lisp Scheme.
[ScS 83]	W.L. Scherlis, D.S. Scott, First Steps towards Inferential Programming, Inf. Proc. 83, R.E.A. Mason ed., Elsevior Science Publishers B.V. (North Holland), IFIP 83 (pp 199-212) Programmation par dérivation où l'objet d'intérêt n'est pas le programme dérivé mais le processus de dérivation. L'historique de la dérivation remplace la preuve.
[ShK 87]	Stan Shebs, Robert Kessler, Automatic Design and Implementation of Languages Datatypes, Proceeding of the SIGPLAN'87 Symposium on Interpreters and Interpretive Techniques, St Paul, Minnesota, June 24-26 1987 (pp 26-37) Expression par des fonctions Lisp des « types de base » (integer, string, real, ...) d'un langage interprété + des spécificités de la machine (registres, adresses) + implantation (utilisation d'heuristique + intervention humaine).
[Sol 84]	Elliot Soloway, A Cognitively-Based Methodology for Designing Languages / Environments / Methodologies, ACM SIGPLAN Notices, Vol 19 No 5, May 84 (pp 193-196) Méthode "cognitive" d'évaluation ds « bons logiciels ».
	Elliot Soloway, Kate Ehrlich, Empirical Studies of Programming Knowledge, IEEE Trans. on Sotware Engineering, Vol 10 No 5, sept 84 (pp 595-609) Expérimentation (139 étudiants) sur des exemples de rédactions d'un programme correct lisible / illisible.
[Sou 83]	Loufti Soufi, Un système de construction de programmes, Journées BIGRE 83, le Cap d'Agde, 17-19 act 83 (pp 204-224) Le Système Interactif d'Explicitation (l'outil présenté) = un éditeur, un bibliothéquaire de stratégies, un constructeur, fonctionnant selon la méthode déductive.
[Sta 81]	Richard M. Stallman, EMACS : The Extensible Customizable, Self-Documenting Display Editor, Proc. of the ACM SIGPLAN/SIGOA Conf. on Text Manipulation, Portland, Oregon, June 8-10 1981 (pp 147-156) Les traits d'EMACS, dont : extensible ; la « famille EMACS ».
[Str 86]	Ola Strömfors, Editing Large Programs Using a Structure-Oriented Text Editor, Lecture Notes in Computer Science (Goos et Hortmanis ed.), Advanced Programming Environments, Proceeding of an International Workshop, Trondheim, Norway, June 16-18 1986 (pp 39-46) Editeur structuré, appliqué à Pascal (+ analyseur syntaxique, pretty-priniting).
[SZB 86]	D.C. Swinehart, P.T. Zellweger, R.J. Beach, R.B. Hagmann, A Structural View of the Cedar Programming Environment, ACM Trans. on Programming Languages and Systems, Vol 8 No 4, oct 1986 (pp 419-490) Langage-environnement Cedar : un environnement entièrement intégré.

T

[TeH 77]	D. Teichroew, E.A. Hershey, PSL/PSA : A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems, IEEE Trans. on Software Engineering, Vol SE-3 No 1, Jan 77 Spécifier le problème en PSL (Problem Statement Language) -> analysé par PSA (Problem Statement Analyser).
[TeM 81]	W. Teitelman, L. Masinter, The Interlisp Programming Environment, Computer IEEE, Vol 14 No 4, april 81 (pp 25-34) Présentation des traits de l'environnement INTERLISP.
[Tou 88]	David S. Touretzky, How Lisp Has Changed, BYTE, Vol 13 No 2, feb 88 (pp 229-236) Le langage Lisp, et plus spécifiquement Common Lisp.
[Tra 88]	Will Tracz, Software Reuse Myths, ACM SIGSOFT Software Engineering Notes, Vol 13 No 1, Jan 88 (pp 17-21) Les 9 mythes concernant la réutilisation du logiciel et les 9 réalités.
[TRC 83]	H. Tardieu, A. Rochefeld, R. Colleti, La méthode Merise – principes et outils, les éditions de l'organisation, Paris, 1983 (300 p.) La méthode Merise : replacée dans le contexte de l'informatique degestion ; présentée ; les outils.
[TRH 81]	T. Teitelbaum, T. Reps, S. Horwitz, The Why and Wherfore of the Cornell Program Synthesizer, ACM SIGPLAN Notices, Vol 16 No 6, June 1981, Proceeding of the ACM SIGPLAN/SIGOA Symposium on text manipulation, Portland, Oregon, June 8-10 1981 (pp 8-16) Présentation de CPS. Exemple de construction de programme pas-à-pas. Editeur syntaxique + contrôle des déclarations + exécution (d'un programme éventuellement incomplet).
[TrW 86]	R.H. Trigg, M. Weiser, TEXTNET : A Network-Based Approach to Text Handling, ACM Trans. on Office Information Systems, Vol 4 No 1, June 86 (pp 1-23) Présentation de l'hypertexte TEXTNET.
[TrY 80]	J.M. Triance, J.F. S. Yow, MCOBOL – A Prototype Macro Facility for Cobol, Comm. of the ACM, Vol 23 No 8, Aug 80 (pp 432-439) Macros syntaxiques COBOL, dans la syntaxe COBOL.

V

[Vit 84]

J.S. Vitter, US&R : a new framework for redoing, ACM SIGPLAN Notices, Vol 19 No 5, May 84 (pp 168-176)

Undo, Skip, Redo.
Gestion de l'historique des commandes par un arbre (≠ classiquement linéaire).

W

[Wal 81]	Janet H. Walker, The Document Editor : A Support Environment for Preparing Technical Documents, ACM SIGPLAN Notices, Vol 16 No 6, June 1981, Proceeding of the ACM SIGPLAN/SIGOA Symposium on text manipulation, Portland, Oregon, June 8-10 1981 (pp 44-50) Editeur de documents techniques structurés.
[Wat 82]	Richard C. Waters, The Programmer's Apprentice : Knowledge Based Program Editing, IEEE Trans. on Software Engineering, Vol SE-8 No 1, Jan 82 (pp 1-12) L'apprenti du programmeur ; aide à la construction du programme en se chargeant des "basses besognes". Interface en pseudo-anglais, écho en programme Lisp, R.I. par plans = graphes data-flow.
[Wat 86]	Richard C. Waters, Reuse of Clichés in The Knowledge-Based Editor, Lecture Notes in Computer Science (Goos et Hortmanis ed.), Advanced Programming Environments, Proceeding of an International Workshop, Trondheim, Norway, June 16-18 1986 (pp 537-550) Editeur->emacs, Lisp->Ada, langage de "commande" plus souple – cf. [Wat 82].
[WeB 85]	S.A. Weyer, A.H. Borning, A Prototype Electronic Encyclopedia, ACM Trans. on Office Information Systems, Vol 3 No 1, Jan 85 (pp 63-88) Présentation formelle d'une encyclopédie électronique construite avec un hypertexte – schémas de principe.
[Wer 85]	H. Wertz, Intelligence Artificielle – Application à l'analyse des programmes, Masson, 1985 (220 p.) Exposé sur Φ, système "intelligent" de correction de programmes pour Lisp. + biblio. (pp 196-214).
[Wey 82]	Stephen A. Weyer, The design of a dynamic book for information search, Int. Journal Man-Machines Studies, Vol 17 No 1, 1982 (pp 87-107) Expérimentation (réussie) de l'utilisation d'un hypertexte pour une recherche de documentation sur des sujets précis.
[Wil 86]	Maurice V. Wilkes, Empiric : A sketch of programming language designed to facilitate a fine grain of protection, ACM SIGPLAN Notices, Vol 21 No 8, Aug 86 (pp 16-27) Langage avec de forts contrôles de cohérence (au-delà du simple typage).
[Woo 81]	Steven R. Wood, Z - The 95% Program Editor, ACM SIGPLAN Notices, Vol 16 No 6, June 1981, Proceeding of the ACM SIGPLAN/SIGOA Symposium on text manipulation, Portland, Oregon, June 8-10 1981 (pp 1-7) Z éditeur de texte classique, qui réalise 95% de ce qu'on souhaite faire en phase d'édition. Résolument opposé aux éditeurs syntaxiques – complication notable de l'implantation.

Y

[YMD 85]

N. Yankelovich, N. Meyrowitz, A. van Dam, Reading and Writing the Electronic Book, Computer IEEE, Vol 18 No 10, oct 85 (pp 15-30)

Défenseur de l'hypertexte : mise en parallèle avec le livre habituel. Présentation des hypertextes développés à Brown University – FRESS, The Electronic Document System, BALSA, Intermedia.

Z

[Zav 84]	Pamela Zave, The Operational versus the Conventional Approach to Software Development, Comm. of the ACM, Vol 27 No 2, feb 1984 (pp 104-118) Spécification opérationnelle opposée à la spécification traditionnelle par décomposition descendante. Nécessité d'outils de transformation de programme (sinon : -> prototypes, études préliminaires, études de faisabilité, …).
[Zav 88]	Pamela Zave, Assessment, ACM SIGSOFT Software Engineering Notes, Vol 13 No 1, Jan 1988 (pp 40-43) Cf. [ArF 88] – définition de la spécification dans l'optique d'une spécification opérationnelle.
[Zel 84]	Marvin V. Zelkowitz, A small contribution to editing with a syntax directed editor, ACM SIGPLAN Notices, Vol 19 No 5, may 84 (pp 1-6) SUPPORT : une petite contribution au domaine de l'édition syntaxique.