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

Invited Papers

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

Formal Approaches

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

Experience With Formal Methods

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

Real-Time Systems I

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

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
Shinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems. 189-209

Coping with Changes

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

Software Re-Engineering

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

Metrics

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

Formal Bases

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

Environments I

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

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
Colin Tattersall:
Integrated Project Support Environments, Text Generation and Technical Writing. 424-442
Dick Schefström: The Arcs Experience. 443-464

Position Papers

Panel 1: Impact of Software Engineering Researches on Industrial Practice

Alfonso Fuggetta: Panel Presentation. 465-467
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

Martin S. Feather: Requirements Engineering - Getting Right from Wrong. 485-488
Anthony Finkelstein: A (Neat) Alphabet of Requirements Engineering Issues. 489-491
Sol J. Greenspan:
The Scruffy Side of Requirements Engineering. 492-494
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

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

Last update Tue May 21 16:35:55 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page