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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
289 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Software engineering, proceedings, 1st European software engineering conference, ESEC'87, Strasbourg, France, September 9-11, 1987 ; ed. H.K. Nichols, D. Simpson, Howard K. Nichols, Dan Simpson, Berlin, Springer, 1987, 1 vol. (XII-404 p.), Lecture notes in computer science, 3-540-18712-X • ESEC '87, Texte imprimé, 9783662164365 |
Sommario:
- 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 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
- 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.