Ian Sommerville, Manfred Paul
Proceedings of the Fourth European Software Engineering Conference
ESEC, 1993.

@proceedings{ESEC-1993,
	address       = "Garmisch-Partenkirchen, Germany",
	editor        = "Ian Sommerville and Manfred Paul",
	isbn          = "3-540-57209-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth European Software Engineering Conference}",
	volume        = 717,
	year          = 1993,
}

Contents (33 items)

5 ×#process
5 ×#specification
4 ×#realtime
3 ×#case study
3 ×#distributed
3 ×#named
3 ×#re-engineering
3 ×#requirements
2 ×#analysis
2 ×#approach

ESEC-1993-Buxton #on the #programming

On the Decline of Classical Programming (JNB), pp. 1–9.

ESEC-1993-Harel

Computers are not Omnipotent (DH), p. 10.

ESEC-1993-GhezziFB #overview #realtime #specification #verification

Real-Time Systems: A Survey of Approaches to Formal Specification and Verification (CG, MF, CB), pp. 11–36.

ESEC-1993-Denert #how #question #re-engineering

Software Engineering in Business and Academia: How Wide is the Gap? (ED), pp. 37–47.

ESEC-1993-PerryS #case study #evolution #fault #realtime #scalability

Software Faults in Evolving a Large, Real-Time System: a Case Study (DEP, CSS), pp. 48–67.

ESEC-1993-Basili #experience #paradigm

The Experience Factory and its Relationship to Other Improvement Paradigms (VRB), pp. 68–83.

ESEC-1993-FinkelsteinGHKN #consistency #multi #nondeterminism #specification

Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.

ESEC-1993-JarkePJBAHWRPSSJMTVCS #process #representation #requirements

Requirements Engineering: An Integrated View of Representation, Process, and Domain (MJ, KP, SJ, JABJ, PA, PH, BW, CR, VP, JRS, AGS, SJ, NAMM, DT, YV, PC, GS), pp. 100–114.

ESEC-1993-BustardW #requirements #specification

Making Changes to Formal Specifications: Requirements and an Example (DWB, ACW), pp. 115–126.

ESEC-1993-HagelsteinRW #requirements

Formal Requirements Made Practical (JH, DR, PW), pp. 127–144.

ESEC-1993-EmmerichSW #database #re-engineering

Databases for Software Engineering Environments — The Goal has not yet been attained (WE, WS, JW), pp. 145–162.

ESEC-1993-LiuRE #database #testing

A Regression Testing Database Model (LL, DJR, RE), pp. 163–174.

ESEC-1993-BrownMZ #case study #experience

Experiences with a Federated Environment Testbed (AWB, EJM, PFZ), pp. 175–196.

ESEC-1993-Thomas #process

Observations on Object Management Systems and Process Support in Environments (IT), pp. 197–212.

ESEC-1993-Eggers #distributed

Software Technology for a Distributed Telecommunication System (HE), pp. 213–225.

ESEC-1993-Cederling #case study #development #industrial

Industrial Software Development — A Case Study (UC), pp. 226–237.

ESEC-1993-Kunzmann-Combelles #approach

Quantitative Approach to Software Management: the ami Method (AKC), pp. 238–250.

ESEC-1993-Reichardt #re-engineering

Preventative Software Engineering (JR), pp. 251–262.

ESEC-1993-AueB #distributed #information management

Distributed Information Systems: An Advanced Methology (AA, MB), pp. 263–282.

ESEC-1993-CheungK #analysis #detection #distributed #source code

Tractable Flow Analysis for Anomaly Detection in Distributed Programs (SCC, JK), pp. 283–300.

ESEC-1993-TuyaSZC #approach #design #realtime #specification

A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured Specification (JT, LS, RZ, JAC), pp. 301–312.

ESEC-1993-Beeck #analysis #concurrent #integration #realtime #specification

Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification (MvdB), pp. 313–328.

ESEC-1993-PaoliT #design

Language Constructs for Cooperative Systems Design (FDP, FT), pp. 329–343.

ESEC-1993-GintellAHKMM #collaboration #named #overview

Scrutiny: A Collaborative Inspection and Review System (JG, JA, MH, JK, RM, GM), pp. 344–360.

ESEC-1993-Godart #coordination #developer #named #transaction

COO: A Transaction Model to Support COOperating Software Developers COOrdination (CG), pp. 361–379.

ESEC-1993-Adams #empirical #retrieval

An Experiment in Software Retrieval (RA), pp. 380–396.

ESEC-1993-JengC #component #formal method #library #using

Using Formal Methods to Construct a Software Component Library (JJJ, BHCC), pp. 397–417.

ESEC-1993-GallK #reuse #reverse engineering

Capsule Oriented Reverse Engineering for Software Reuse (HG, RK), pp. 418–433.

ESEC-1993-LiuC #automation #evolution #network #process

Automatic Replanning of Task Networks for Process Model Evolution in EPOS (CL, RC), pp. 434–450.

ESEC-1993-KrishnamurthyB #named #process #visualisation

Provence: A Process Visualisation and Enactment Environment (BK, NSB), pp. 451–465.

ESEC-1993-BreitenederM #component #process #programming

Process Programming with Active and Passive Components (CB, TAM), pp. 466–482.

ESEC-1993-Coen-PorisiniM #framework #proving

A Formal Framework for ASTRAL Intra-Level Proof Obligations (ACP, DM), pp. 483–500.

ESEC-1993-Bourdoncle #abstract interpretation #debugging #imperative #source code

Assertion-based Debugging of Imperative Programs by Abstract Interpretation (FB), pp. 501–516.