SADL : Un environnement de développement de logiciel pour la specification, la conception et la programmation / SADL : A software development environment for software specification, design and programming -- PantaPM: an integrated software development environment / PantaPM: Système intégré de production de logiciel -- Development of a programming environment for Setl -- Configuration management in an open environment / Gestion de configurations dans un environnement ouvert -- Software management constraints and action triggering in the adele program database / Contraintes de Gestion des Logiciels et Declenchement D'Actions dans la Base de Programme Adele -- Enhancing configuration facilities in software development: A logic approach -- Delta technique and string-to-string correction -- ASDL — An object-oriented specification language for syntax-directed environments -- A hybrid interpreter in a software development environment / Un interprétateur hybride dans un environnement de programmation -- Software design automation in an IPSE / Automation de la Conception du Logiciel dans un Environnement Intégré -- Knowledge-based editors for directed graphs -- A user interface design tool. / Un outil pour la production d'interfaces d'utilisateur -- Interaction models and the principled design of interactive systems -- The eclipse two-tier database interface / L'Interface de Base de Données à deux Niveaux dans la projet Eclipse -- Ten15: an abstract machine for portable environments -- Using data flow specifications & interactive editing in the operating system user interface -- Formalising restructuring operators in a specification process / Definition de Transformations de Structures dans le Processus de Construction D'une Specification -- Formal specifications, prototyping and integration tests / Spécifications formelles, prototypage et tests d'intégration -- On the specification of real-time systems using logic programming -- A property-based method for selecting among multiple implementations of modules / Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules -- Softbus — An approach to Software Engineering for distributed real-time long-lifetime spacecraft data management systems / Softbus — Une facon d'aborder le genie logiciel pour les systemes informatique de satellite, temps-reel, distribues, a longue duree de vie -- Analyzing software Reuse at the project and module design levels -- Eiffel: Object-oriented design for software engineering -- The dependability approach to critical computing systems -- Automated testing techniques for real-time embedded software -- TRICS: A testing tool for C / TRICS: Un outil de test pour C -- Experience with FORTRAN VERIFIER -- Specif-X: Un outil de génie logiciel / Specif-X: A tool for CASE -- ProMod at the age of 5 / ProMod apres 5 ans -- Formal specification of graphical notations and graphical software tools / Specification Formelle des Notations Graphiques et Outils Logiciels Graphiques -- High level interpretation of execution traces of Ada tasks / Interpretation de Haut Niveau des Traces d'Execution des Taches d'Ada -- A software development environment for Ada -- An execution environment for the formal definition of Ada -- Automatic program synthesis from data structures / Synthese Automatique de Programme A Partir des Structures de Donnees -- A set of tools supporting the software design based on SDL / Une connexion des outils pour le développement du logiciel avec SDL -- Translation between pragmatic software development methods / Traduction parmi des méthodes pragmatiques de développement du logiciel -- The impact of exception handling on labour division, safety, and error diagnostics in an industrial software engineering environment -- Requirements analysis for a database administration support environment -- Fortune — A documentation support system for Software Engineers / Fortune — Un Système de Documentation pour Ingénieurs Informaticiens -- Strengths and weaknesses of Program Verification Systems / Forces et faiblesses des systèmes de vérification de programmes.

This volume contains the proceedings of the First European Software Engineering Conference, held at Strasbourg on September 9-11, 1987. The purpose of ESEC 87 was to provide a European forum for the interchange of ideas, and presentations of the current state of research and development in software engineering. The conference had over 400 participants, and papers were presented from all over Europe, Japan and North America. The book brings together the latest information on software engineering. Not only are working systems described but the latest research topics are also covered. The book will be of interest to all computer professionals as a rapid means of obtaining the state-of-the-art in the subject. The content will be of interest to practitioners and researchers alike. The papers are grouped into topics for easy reference and the whole of software engineering is covered. In particular the book contains much information on the important new topics of support environments. The reader will not only gain a knowledge of the subject but will also find which organisations and institutes are working in particular areas. The reader will gain both industrial and academic perspectives on the subject.