| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alberto Coen-Porisini, Flavio De Paoli |
SESADA: An Environment Supporting Software Specialization.  |
ESEC  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben A. Sijtsma, Joseph W. L. J. Mager |
A Theory for Software Design Extraction. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey M. Voas |
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Fuggetta |
Panel Presentation. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Parisi-Presicce, Alfonso Pierantonio |
An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Dauchy, Bruno Marre |
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sol J. Greenspan |
The Scruffy Side of Requirements Engineering. |
ESEC |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas |
Version Management in the PACT Integrated Software Engineering Environment. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Martyn Thomas |
Asking for the Impossible: The State of the Art in Safety-Related Systems. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Manfredi, G. Orlando, P. Tortorici |
An Object-oriented Approach to the System Analysis. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wirsing, Rolf Hennicker, Robert Stabl |
MENU - An Example for the Systematic Reuse of Specifications. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Adams, Annette Weinert, Walter F. Tichy |
Software Change Dynamics or Half of all Ada Compilations are Redundant. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Lewis, D. W. Beck, J. Hartmann |
Assay - A Tool to Support Regression Testing. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | R. N. Shutt |
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark T. Norris, Sinclair Guillaume Stockman |
Industrialising Formal Methods for Telecommunications. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Ludwig Hausen |
Rule-Based Handling of Software Quality and Productivity Models. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christiane Floyd, Fanny-Michaela Reisin, Gerhard Schmidt |
STEPS to Software Development with Users. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Göttler |
Graph Grammars, a new Paradigm for Implementing Visual Languages. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fastenbauer, Heinz Saria |
HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Morasca, Mauro Pezzè |
Validation of Concurrent ADA Programs using Symbolic Execution. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Celso Niskier, T. S. E. Maibaum, Daniel Schwabe |
A Pluralistic Knowledge-Based Approach to Software Specification. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Margaret Myers |
Structural Modelling of Prolog for Metrication. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Pasquale Armenise |
Software Process Machines: A Framework for Future Software Development Environments. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | H. Dieter Rombach |
The Role of Measurement in ISEEs. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Deiters, Volker Gruhn, Wilhelm Schäfer |
Systematic Development of Formal Software Process Models. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Nardi, Marco Tucci |
An Application of the Event Calculus for Representing the History of a Software Project. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Baldassari, Giorgio Bruno, Vincenzo Russi, Roberto Zompi |
PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene H. Spafford |
The Internet Worm Incident. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | John Wordsworth |
Practical Experience of Formal Specification: A Programming Interface for Communications. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan J. Dix |
Software Engineering Implications for Formal Refinement. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Darrel C. Ince |
Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Lacroix, M. Vanhoedenaghe |
Tool Integration in an Open Environment. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Anund Lie, Tor Didriksen, Reidar Conradi, Even-André Karlsson, Svein O. Hallsteinsen, Per Holager |
Change Oriented Versioning. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, John A. McDermid (eds.) |
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry W. Boehm |
Software Risk Management. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Thomas W. G. Docker |
Formal Specification Using Structured Systems Analysis. |
ESEC |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David England |
A User Interface Design Tool. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Craigen |
Strengths and Weaknesses of Program Verification Systems. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Noureddine Belkhatir, Jacky Estublier |
Software Management Constraints and Action Triggering in the Adele Program Database. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby |
Interaction Models and the Principled Design of Interactive Systems. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Enselme, Gérard Benay, F.-Y. Villemin |
Automatic Program Synthesis from Data Structures. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernand Poncet |
SADL: A Software Development Environment for Software Specification, Design and Programming. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Beer, Ian Sommerville |
Software Design Automation in an IPSE. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Engels, Andy Schürr |
A Hybrid Interpreter in a Software Development Environment. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Dubois 0001, Nicole Lévy, Jeanine Souquières |
Formalising Reconstructuring Operators in a Specification Process. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Günter Tempel |
A Set of Tools supporting the Software Design Based on SDL. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian F. Currie, J. M. Foster, P. W. Core |
Ten15: An Abstract Machine for Portable Environments. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Szwillus |
Using Data Flow Specifications and Interactive Editing in the Operating System User Interface. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy |
Formal Specifications, Prototyping and Integration Tests. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Malcolm K. Crowe, Clark Nicol, Martin E. Corr, John W. Oram, David G. Jenkins |
A Software Development Environment for Ada. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Mullin |
FORTUNE - A Documentation Support System for Software Engineers. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard W. Selby |
Analyzing Software Reuse at the Project and Module Design Levels. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi, Paola Inverardi, Ugo Montanari |
An Executon Environment for the Formal Definiton of Ada. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Raither, Leon J. Osterweil |
TRICS: A Testing Tool for C. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Reidar Conradi |
Experience with Fortran Verifier. A Tool for Documentation and Error Diagnosis of Fortran-77 Programs. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Lissandre, Bernard De Vaulx |
SPECIF-X: A Tool for CASE. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Bernard, M. Lacroix, Pierre Lavency, M. Vanhoedenaghe |
Configuration Management in an Open Environment. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian S. Collberg, Magnus G. Krampell |
A Property-Based Method for Selecting Among Multiple Implementations of Modules. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Meyer 0001, Jean-Marc Nerson, Masanobu Matsuo |
EIFFEL: Object-Oriented Design for Software Engineering. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharam Hekmatpour, Mark Woodman |
Formal Specification of Graphical Notations and Graphical Software Tools. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Luise Christ-Neumann, Heinz W. Schmidt |
ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hruschka |
ProMod at the Age of 5. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Obst |
Delta Technique and String-to-String Correction. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Paola Inverardi |
Enhancing Configuration Facilities in Software Development: A Logic Approach. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Oswald |
PantaPM: An Integrated Software Development Environment. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Caillet, Christian Bonnet, Barbara Raither |
High Level Interpretaton of Execution Traces of Ada Tasks. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean |
Development of a Programming Environment for Setl. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard K. Nichols, Dan Simpson (eds.) |
ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | H. M. Robinson, J. M. Emms |
Requirements Analysis for a Database Administration Support Environment. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter F. Tichy, Frances J. Newbery |
Knowledge-based Editors for Directed Graphs. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti |
On the Specification of Real-Time Systems Using Logic Programming. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | John Cartmell, Albert Alderson |
The Eclipse Two-Tier Database Interface. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | R. C. Allen |
SOFTBUS - An Approach to Software Engineering for Distributed Real-Time Long-Lifetime Spacecraft Data Management Systems. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Knabe |
The Impact of Exception Handling on Labour Division, Safety, and Error Diagnostics in an Industrial Software Engineering Environment. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | W. J. Black, Alistair G. Sutcliffe, Pericles Loucopoulos, Paul J. Layzell 0001 |
Translation between Pragmatic Software Development Methods. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael A. Hennell, David Hedley, I. J. Riddell |
Automated Testing Techniques for Real-Time Embedded Software. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Claude Laprie |
The Dependability Approach to Critical Computing Systems. |
ESEC |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license