3. ESEC 1991: Milan, Italy

Axel van Lamsweerde, Alfonso Fugetta (Eds.): ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Lecture Notes in Computer Science 550 Springer 1991, ISBN 3-540-54742-8 BibTeX

@proceedings{DBLP:conf/esec/1991,
  editor    = {Axel van Lamsweerde and
               Alfonso Fugetta},
  title     = {ESEC '91, 3rd European Software Engineering Conference, Milan,
               Italy, October 21-24, 1991, Proceedings},
  booktitle = {ESEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {550},
  year      = {1991},
  isbn      = {3-540-54742-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Stuart I. Feldman: Software Configuration Management: Past Uses and Future Challenges. 1-6 BibTeX
Joëlle Coutaz: Architectural Design for User Interfaces. 7-22 BibTeX
Christer Fernström: The Eureka Software Factory: Concepts and Accomplishments. 23-36 BibTeX

Formal Approaches

Jeremy Dick, Jérôme Loubersac: Integrating Structured and Formal Methods: A Visual Approach to VDM. 37-59 BibTeX
Thierry Cattel: Rational Design of Distributed Applications. 60-79 BibTeX

Experience With Formal Methods

Pierre Dauchy, Bruno Marre: Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module. 80-100 BibTeX
Frank van der Linden: Specification in COLD-1 of a CAD-Package for Drawing Shadow Masks. 101-121 BibTeX

Real-Time Systems I

Carlo Ghezzi, Richard A. Kemmerer: ASTRAL: An Assertion Language for Specifying Realtime Systems. 122-146 BibTeX
Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales: Execution Environment for ELECTRE Applications. 147-165 BibTeX

Real-Time Systems II

Hermann Kopetz, R. Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz: An Engineering Approach to Hard Real-Time System Design. 166-188 BibTeX
Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh: An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. 189-209 BibTeX

Coping with Changes

Jorge Amador, Belén de Vincente, Alejandro Alonso: Dynamically Replaceable Software: A Design Method. 210-228 BibTeX
Valdis Berzins: Software Merge: Models and Methods for Combining Changes to Programs. 229-250 BibTeX

Software Re-Engineering

Ben A. Sijtsma, Joseph W. L. J. Mager: A Theory for Software Design Extraction. 251-265 BibTeX
Alberto Coen-Porisini, Flavio De Paoli: SESADA: An Environment Supporting Software Specialization. 266-289 BibTeX

Metrics

Richard W. Selby, R. Kent Madsen: Metric-Driven Classification Analysis. 290-307 BibTeX
Jeffrey M. Voas: A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program. 308-331 BibTeX
Ivan Rozman, József Györkös, Tomaz Dogsa: Relation Between Source Code Metrics and Structure Analysis Metrics. 332-342 BibTeX

Formal Bases

Martin J. Shepperd, Darrel C. Ince: Algebraic Validation of software Metrics. 343-363 BibTeX
Francesco Parisi-Presicce, Alfonso Pierantonio: An Algebraic View of Inheritance and Subtyping in Object Oriented Programming. 364-379 BibTeX

Environments I

Naser S. Barghouti, Gail E. Kaiser: Scaling Up Rule-Based Software Development Environments. 380-395 BibTeX
Gregor Snelting, Franz-Josef Grosch, Ulrik Schroeder: Inference-Based Support for Programming in the Large. 396-408 BibTeX

Environments II

Tim Collins, Kevin Ewert, Colin Gerety, Jon Gustafson, Ian Thomas: Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments. 409-423 BibTeX
Colin Tattersall: Integrated Project Support Environments, Text Generation and Technical Writing. 424-442 BibTeX
Dick Schefström: The Arcs Experience. 443-464 BibTeX

Position Papers

Panel 1: Impact of Software Engineering Researches on Industrial Practice

Alfonso Fuggetta: Panel Presentation. 465-467 BibTeX
Valente Frasca: The Production of Software in the FINSIEL Group. 468-471 BibTeX
Charles Jackson: The Impact of Software Engineering Researches on Industrial Practice - a Personal View. 472-479 BibTeX
Robert Troy: Impact of Methods on Productivity and Quality. 480-484 BibTeX

Panel 2: Requirements Engineering: The Neats Versus the Scruffies

Martin S. Feather: Requirements Engineering - Getting Right from Wrong. 485-488 BibTeX
Anthony Finkelstein: A (Neat) Alphabet of Requirements Engineering Issues. 489-491 BibTeX
Sol J. Greenspan: The Scruffy Side of Requirements Engineering. 492-494 BibTeX
Colin Potts: Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s. 495-496 BibTeX

Panel 3: CASE Support for the Software Process

Peter Hruschka: CASE Support for the Software Process. 497-498 BibTeX
Jeff Kramer: CASE Support for the Software Process: A Research Viewpoint. 499-503 BibTeX
Dave Robinson: CASE Support for Large Systems. 504-508 BibTeX
Wolf E. Fischer: CASE Seen From Both Sides of the Fence. 509-511 BibTeX
Bernard Lang: CASE Support for the Software Process: Advances and Problems. 512-515 BibTeX