ESEC '87 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
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...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1987, 1987
|
Edition: | 1st ed. 1987 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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
- 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
- Formal specifications, prototyping andintegration 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 desméthodes pragmatiques de développement du logiciel
- 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