ESEC '87 (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
404
Utgivningsdatum
1987-12-01
Upplaga
1987 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Medarbetare
Nichols, Howard K. (ed.), Simpson, Dan (ed.)
Illustrationer
XII, 404 p.
Dimensioner
234 x 156 x 22 mm
Vikt
586 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540187127

ESEC '87

1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings

av Howard K Nichols, Dan Simpson
Häftad,  Engelska, 1987-12-01
760
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.
Visa hela texten

Passar bra ihop

  1. ESEC '87
  2. +
  3. Co-Intelligence

De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).

Köp båda 2 för 950 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Innehållsförteckning

SADL : Un environnement de dveloppement 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: Systme intgr 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 interprtateur hybride dans un environnement de programmation.- Software design automation in an IPSE / Automation de la Conception du Logiciel dans un Environnement Intgr.- 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 Donnes 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 / Spcifications formelles, prototypage et tests d'intgration.- On the specification of real-time systems using logic programming.- A property-based method for selecting among multiple implementations of modules / Une mthode base sur la stipulation de qualits pour choisir parmi divers ralisations 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 gnie 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 dveloppement du logiciel avec SDL.- Translation between pragmatic software development methods / Traduction parmi desmthodes pragmatiques de dveloppement 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 Systme de D

Du kanske gillar