Keywords:
Computer science
;
Software engineering
;
Software engineering Congresses
;
Compilers (Computer programs).
;
Computer Science
;
Programming Languages, Compilers, Interpreters
;
Software Engineering
;
Konferenzschrift
Description / 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 and integration 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 des mé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.
Type of Medium:
Online Resource
Pages:
Online-Ressource (XII, 404 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540481171
Series Statement:
Lecture notes in computer science 289
URL:
http://www.springerlink.com/content/r40286321288
URL:
http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-18712-7
URL:
http://dx.doi.org/10.1007/BFb0022092
URL:
https://doi.org/10.1007/BFb0022092
URL:
https://zbmath.org/?q=an:0626.68002
URL:
https://external.dandelon.com/download/attachments/dandelon/ids/DE0040433BEA59F691DADC12579CF003F301D.pdf
Language:
English
Note:
Literaturangaben
Permalink
