Stop the war!
Остановите войну!
for scientists:
default search action
2nd ESEC 1989: Warwick, Coventry, UK
- Carlo Ghezzi, John A. McDermid:
ESEC '89, 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989, Proceedings. Lecture Notes in Computer Science 387, Springer 1989, ISBN 3-540-51635-2
Keynote Paper
- Barry W. Boehm:
Software Risk Management. 1-19
Invited Papers
- Martin Wirsing, Rolf Hennicker, Robert Stabl:
MENU - An Example for the Systematic Reuse of Specifications. 20-41 - Martyn Thomas:
Asking for the Impossible: The State of the Art in Safety-Related Systems. 42-47 - Christiane Floyd, Fanny-Michaela Reisin, Gerhard Schmidt:
STEPS to Software Development with Users. 48-64
Measurement
- H. Dieter Rombach:
The Role of Measurement in ISEEs. 65-85 - Darrel C. Ince:
Martin J. Shepperd: An Empirical and Theoretical Analysis of an Information Flow-Based System Design Metric. 86-99
Software Processes Modelling
- Wolfgang Deiters, Volker Gruhn, Wilhelm Schäfer:
Systematic Development of Formal Software Process Models. 100-117 - Pasquale Armenise:
Software Process Machines: A Framework for Future Software Development Environments. 118-139
Practical Experience with Formal Methods
- John Wordsworth:
Practical Experience of Formal Specification: A Programming Interface for Communications. 140-158 - Mark T. Norris, Sinclair Guillaume Stockman:
Industrialising Formal Methods for Telecommunications. 159-175
Software Configuration Management
- Daniele Nardi, Marco Tucci:
An Application of the Event Calculus for Representing the History of a Software Project. 176-190 - Anund Lie, Tor Didriksen, Reidar Conradi, Even-André Karlsson, Svein O. Hallsteinsen, Per Holager:
Change Oriented Versioning. 191-202 - Rolf Adams, Annette Weinert, Walter F. Tichy:
Software Change Dynamics or Half of all Ada Compilations are Redundant. 203-221 - Flávio Oquendo, Karima Berrada, Ferdinando Gallo, Régis Minot, Ian Thomas:
Version Management in the PACT Integrated Software Engineering Environment. 222-242
Formal Approaches
- Alan J. Dix:
Software Engineering Implications for Formal Refinement. 243-259 - R. N. Shutt:
A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools. 260-291 - Robert B. France, Thomas W. G. Docker:
Formal Specification Using Structured Systems Analysis. 293-310
Tools and Environments
- M. Lacroix, M. Vanhoedenaghe:
Tool Integration in an Open Environment. 311-323 - Michael Fastenbauer, Heinz Saria:
HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. 324-335 - Herbert Göttler:
Graph Grammars, a new Paradigm for Implementing Visual Languages. 336-350
Software Metrics
- Margaret Myers:
Structural Modelling of Prolog for Metrication. 351-375 - Hans-Ludwig Hausen:
Rule-Based Handling of Software Quality and Productivity Models. 376-394
Requirements Engineering
- F. Manfredi, G. Orlando, P. Tortorici:
An Object-oriented Approach to the System Analysis. 395-410 - Celso Niskier, T. S. E. Maibaum, Daniel Schwabe:
A Pluralistic Knowledge-Based Approach to Software Specification. 411-423 - Marco Baldassari, Giorgio Bruno, Vincenzo Russi, Roberto Zompi:
PROTOB - A Hierarchical Object-Oriented CASE Tool for Distributed Systems. 424-445
Analysis and Validation
- Eugene H. Spafford:
The Internet Worm Incident. 446-468 - Sandro Morasca, Mauro Pezzè:
Validation of Concurrent ADA Programs using Symbolic Execution. 469-486 - R. Lewis, D. W. Beck, J. Hartmann:
Assay - A Tool to Support Regression Testing. 487-496
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.