3. ESEC 1991:
Milan, Italy
Invited Papers
Stuart I. Feldman:
Software Configuration Management: Past Uses and Future Challenges.
1-6
Formal Approaches
Experience With Formal Methods
Pierre Dauchy,
Bruno Marre:
Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module.
80-100
Real-Time Systems I
Real-Time Systems II
Coping with Changes
Valdis Berzins:
Software Merge: Models and Methods for Combining Changes to Programs.
229-250
Software Re-Engineering
Metrics
Jeffrey M. Voas:
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program.
308-331
Formal Bases
Environments I
Environments II
Colin Tattersall:
Integrated Project Support Environments, Text Generation and Technical Writing.
424-442
Position Papers
Panel 1:
Impact of Software Engineering Researches on Industrial Practice
Valente Frasca:
The Production of Software in the FINSIEL Group.
468-471
Charles Jackson:
The Impact of Software Engineering Researches on Industrial Practice - a Personal View.
472-479
Robert Troy:
Impact of Methods on Productivity and Quality.
480-484
Panel 2:
Requirements Engineering:
The Neats Versus the Scruffies
Colin Potts:
Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s.
495-496
Panel 3:
CASE Support for the Software Process
Jeff Kramer:
CASE Support for the Software Process: A Research Viewpoint.
499-503
Bernard Lang:
CASE Support for the Software Process: Advances and Problems.
512-515
data released under the ODC-BY 1.0 license
