Table of Contents

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.

Promotional Information

Springer Book Archives