Axel van Lamsweerde, Alfonso Fugetta
Proceedings of the Third European Software Engineering Conference
ESEC, 1991.

@proceedings{ESEC-1991,
	address       = "Milan, Italy",
	editor        = "Axel van Lamsweerde and Alfonso Fugetta",
	isbn          = "3-540-54742-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third European Software Engineering Conference}",
	volume        = 550,
	year          = 1991,
}

Contents (37 items)

6 ×#automation
6 ×#design
4 ×#process
4 ×#requirements
3 ×#algebra
3 ×#metric
3 ×#named
3 ×#realtime
3 ×#specification
2 ×#analysis

ESEC-1991-Feldman #challenge #configuration management

Software Configuration Management: Past Uses and Future Challenges (SIF), pp. 1–6.

ESEC-1991-Coutaz #architecture #design #user interface

Architectural Design for User Interfaces (JC), pp. 7–22.

ESEC-1991-Fernstrom #concept

The Eureka Software Factory: Concepts and Accomplishments (CF), pp. 23–36.

ESEC-1991-DickL #approach #formal method #visual notation

Integrating Structured and Formal Methods: A Visual Approach to VDM (JD, JL), pp. 37–59.

ESEC-1991-Cattel #design #distributed

Rational Design of Distributed Applications (TC), pp. 60–79.

ESEC-1991-DauchyM #algebra #automation #specification #testing

Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module (PD, BM), pp. 80–100.

ESEC-1991-Linden #specification

Specification in COLD-1 of a CAD-Package for Drawing Shadow Masks (FvdL), pp. 101–121.

ESEC-1991-GhezziK #named #realtime #specification

ASTRAL: An Assertion Language for Specifying Realtime Systems (CG, RAK), pp. 122–146.

ESEC-1991-CreusotLRTKMS #execution

Execution Environment for ELECTRE Applications (DC, PL, OR, YT, AK, OM, CSM), pp. 147–165.

ESEC-1991-KopetzZFKPS #approach #design #realtime

An Engineering Approach to Hard Real-Time System Design (HK, RZ, GF, HK, PPP, WS), pp. 166–188.

ESEC-1991-HonidenUI #design #performance #process #prototype #realtime

An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems (SH, NU, KI), pp. 189–209.

ESEC-1991-AmadorVA #design

Dynamically Replaceable Software: A Design Method (JA, BdV, AA), pp. 210–228.

ESEC-1991-Berzins #modelling #source code

Software Merge: Models and Methods for Combining Changes to Programs (VB), pp. 229–250.

ESEC-1991-SijtsmaM #design

A Theory for Software Design Extraction (BAS, JWLJM), pp. 251–265.

ESEC-1991-Coen-PorisiniP #named

SESADA: An Environment Supporting Software Specialization (ACP, FDP), pp. 266–289.

ESEC-1991-SelbyM #analysis #classification #metric

Metric-Driven Classification Analysis (RWS, RKM), pp. 290–307.

ESEC-1991-Voas #impact analysis #predict

A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program (JMV), pp. 308–331.

ESEC-1991-RozmanGD #analysis #metric #source code

Relation Between Source Code Metrics and Structure Analysis Metrics (IR, JG, TD), pp. 332–342.

ESEC-1991-ShepperdI #algebra #metric #validation

Algebraic Validation of software Metrics (MJS, DCI), pp. 343–363.

ESEC-1991-Parisi-PresicceP #algebra #inheritance #object-oriented #programming #type system

An Algebraic View of Inheritance and Subtyping in Object Oriented Programming (FPP, AP), pp. 364–379.

ESEC-1991-BarghoutiK #development #rule-based #scalability

Scaling Up Rule-Based Software Development Environments (NSB, GEK), pp. 380–395.

ESEC-1991-SneltingGS #in the large #programming

Inference-Based Support for Programming in the Large (GS, FJG, US), pp. 396–408.

ESEC-1991-CollinsEGGT #composition #named #object-oriented #re-engineering

Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments (TC, KE, CG, JG, IT), pp. 409–423.

ESEC-1991-Tattersall #generative

Integrated Project Support Environments, Text Generation and Technical Writing (CT), pp. 424–442.

ESEC-1991-Schefstrom #experience

The Arcs Experience (DS), pp. 443–464.

ESEC-1991-Frasca

The Production of Software in the FINSIEL Group (VF), pp. 468–471.

ESEC-1991-Jackson #industrial #perspective #re-engineering

The Impact of Software Engineering Researches on Industrial Practice — a Personal View (CJ), pp. 472–479.

ESEC-1991-Troy #quality

Impact of Methods on Productivity and Quality (RT), pp. 480–484.

ESEC-1991-Feather #requirements

Requirements Engineering — Getting Right from Wrong (MSF), pp. 485–488.

ESEC-1991-Finkelstein #requirements

A (Neat) Alphabet of Requirements Engineering Issues (AF), pp. 489–491.

ESEC-1991-Greenspan #requirements

The Scruffy Side of Requirements Engineering (SJG), pp. 492–494.

ESEC-1991-Potts #requirements #research

Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s (CP), pp. 495–496.

ESEC-1991-Hruschka #automation #process

CASE Support for the Software Process (PH), pp. 497–498.

ESEC-1991-Kramer #automation #process #research

CASE Support for the Software Process: A Research Viewpoint (JK), pp. 499–503.

ESEC-1991-Robinson #automation #scalability

CASE Support for Large Systems (DR), pp. 504–508.

ESEC-1991-Fischer #automation

CASE Seen From Both Sides of the Fence (WEF), pp. 509–511.

ESEC-1991-Lang #automation #problem #process

CASE Support for the Software Process: Advances and Problems (BL), pp. 512–515.