ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, proceedings

H.K. Nichols, D. Simpson (eds.)

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.

「Nielsen BookData」より


  • SADL : Un environnement de developpement 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: Systeme integre 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 interpretateur hybride dans un environnement de programmation.- Software design automation in an IPSE / Automation de la Conception du Logiciel dans un Environnement Integre.- 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 Donnees a 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 / Specifications formelles, prototypage et tests d'integration.- On the specification of real-time systems using logic programming.- A property-based method for selecting among multiple implementations of modules / Une methode basee sur la stipulation de qualites pour choisir parmi divers realisations 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 genie 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 developpement du logiciel avec SDL.- Translation between pragmatic software development methods / Traduction parmi des methodes pragmatiques de developpement 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 Systeme de Documentation pour Ingenieurs Informaticiens.- Strengths and weaknesses of Program Verification Systems / Forces et faiblesses des systemes de verification de programmes.

「Nielsen BookData」より


書名 ESEC '87 : 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, proceedings
著作者等 European Software Engineering Conference
Nichols, H. K.
Simpson, D.
Simpson Dan
Nichols Howard K.
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 c1987
ページ数 xii, 404 p.
大きさ 25 cm
ISBN 038718712X
NCID BA0136110X
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ