Conferences in DBLP
Fernand Poncet SADL: A Software Development Environment for Software Specification, Design and Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Oswald PantaPM: An Integrated Software Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Véronique Donzeau-Gouge , Catherine Dubois , Philippe Facon , F. Jean Development of a Programming Environment for Setl. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bernard , M. Lacroix , Pierre Lavency , M. Vanhoedenaghe Configuration Management in an Open Environment. [Citation Graph (2, 0)][DBLP ] Conf ] Noureddine Belkhatir , Jacky Estublier Software Management Constraints and Action Triggering in the Adele Program Database. [Citation Graph (0, 0)][DBLP ] Conf ] Patrizia Asirelli , Paola Inverardi Enhancing Configuration Facilities in Software Development: A Logic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Obst Delta Technique and String-to-String Correction. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Luise Christ-Neumann , Heinz W. Schmidt ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Gregor Engels , Andy Schürr A Hybrid Interpreter in a Software Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Beer , Ian Sommerville Software Design Automation in an IPSE. [Citation Graph (0, 0)][DBLP ] Conf ] Walter F. Tichy , Frances J. Newbery Knowledge-based Editors for Directed Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] David England A User Interface Design Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Alan J. Dix , Michael D. Harrison , Colin Runciman , Harold W. Thimbleby Interaction Models and the Principled Design of Interactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Cartmell , Albert Alderson The Eclipse Two-Tier Database Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Ian F. Currie , J. M. Foster , P. W. Core Ten15: An Abstract Machine for Portable Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Szwillus Using Data Flow Specifications and Interactive Editing in the Operating System User Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Dubois , Nicole Lévy , Jeanine Souquières Formalising Reconstructuring Operators in a Specification Process. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Choppy Formal Specifications, Prototyping and Integration Tests. [Citation Graph (0, 0)][DBLP ] Conf ] Franca Garzotto , Carlo Ghezzi , Dino Mandrioli , Angelo Morzenti On the Specification of Real-Time Systems Using Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Christian S. Collberg , Magnus G. Krampell A Property-Based Method for Selecting Among Multiple Implementations of Modules. [Citation Graph (0, 0)][DBLP ] Conf ] R. C. Allen SOFTBUS - An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard W. Selby Analyzing Software Reuse at the Project and Module Design Levels. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Meyer , Jean-Marc Nerson , Masanobu Matsuo EIFFEL: Object-Oriented Design for Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Laprie The Dependability Approach to Critical Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Hennell , David Hedley , I. J. Riddell Automated Testing Techniques for Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Raither , Leon J. Osterweil TRICS: A Testing Tool for C. [Citation Graph (0, 0)][DBLP ] Conf ] Reidar Conradi Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Lissandre , Bernard De Vaulx SPECIF-X: A Tool for CASE. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Hruschka ProMod at the Age of 5. [Citation Graph (0, 0)][DBLP ] Conf ] S. Hekmatpour , Mark Woodman Formal Specification of Graphical Notations and Graphical Software Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Caillet , Christian Bonnet , Barbara Raither High Level Interpretaton of Execution Traces of Ada Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm K. Crowe , Clark Nicol , Martin E. Corr , John W. Oram , David G. Jenkins A Software Development Environment for Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Fantechi , Stefania Gnesi , Paola Inverardi , Ugo Montanari An Executon Environment for the Formal Definiton of Ada. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Enselme , Gérard Benay , F.-Y. Villemin Automatic Program Synthesis from Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Günter Tempel A Set of Tools supporting the Software Design Based on SDL. [Citation Graph (0, 0)][DBLP ] Conf ] W. J. Black , Alistair G. Sutcliffe , Pericles Loucopoulos , Paul J. Layzell Translation between Pragmatic Software Development Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Knabe The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment. [Citation Graph (0, 0)][DBLP ] Conf ] H. M. Robinson , J. M. Emms Requirements Analysis for a Database Administration Support Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas Mullin FORTUNE - A Documentation Support System for Software Engineers. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Craigen Strengths and Weaknesses of Program Verification Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 