David Notkin
Proceedings of the First Symposium on Foundations of Software Engineering
FSE, 1993.

@proceedings{FSE-1993,
	address       = "Los Angeles, California, USA",
	editor        = "David Notkin",
	publisher     = "{ACM}",
	title         = "{Proceedings of the First Symposium on Foundations of Software Engineering}",
	year          = 1993,
}

Contents (19 items)

3 ×#analysis
2 ×#approach
2 ×#composition
2 ×#re-engineering
2 ×#specification
2 ×#testing
2 ×#using

FSE-1993-Hoare #algebra #modelling

Algebra and Models (CARH), pp. 1–8.

FSE-1993-AbowdAG #architecture #using

Using Style to Understand Descriptions of Software Architecture (GDA, RA, DG), pp. 9–20.

FSE-1993-BalzerN #process

Mechanisms for Generic Process Support (RB, KN), pp. 21–32.

FSE-1993-MagnussonAM #collaboration #development #fine-grained

Fine-Grained Revision Control for Collaborative Software Development (BM, UA, SM), pp. 33–41.

FSE-1993-Griswold #data flow

Direct Update of Data Flow Representations for a Meaning-Preserving Program Restructuring Tool (WGG), pp. 42–55.

FSE-1993-TarrP #named #re-engineering

PLEIADES: An Object Management System for Software Engineering Environments (PLT, LAC), pp. 56–70.

FSE-1993-CaiP #algorithm #implementation #towards

Towards Increased Productivity of Algorithm Implementation (JC, RP), pp. 71–78.

FSE-1993-Wood #approach #calculus #re-engineering #refinement #using

A Practical Approach to Software Engineering Using Z and the Refinement Calculus (KRW), pp. 79–88.

FSE-1993-CarringtonDHW #composition #design #specification

Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.

FSE-1993-Lutz #analysis #fault #requirements

Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.

FSE-1993-Votta #question

Does Every Inspection Need a Meeting? (LGV), pp. 107–114.

FSE-1993-CheungK #analysis #composition #constraints #reachability

Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.

FSE-1993-BahsounMS #concurrent #formal method #framework #programming

A Framework for Programming and Formalizing Concurrent Objects (JPB, SM, CS), pp. 126–137.

FSE-1993-Turpin #approach #data type #logic

A Logical Approach to Data Structures (RT), pp. 138–148.

FSE-1993-Bergadano #generative #learning #testing

Test Case Generation by Means of Learning Techniques (FB), pp. 149–162.

FSE-1993-GustafsonTW #specification

Software Measure Specification (DAG, JTT, PW), pp. 163–168.

FSE-1993-PodgurskiY #analysis #clustering #testing

Partition testing, stratified sampling, and cluster analysis (AP, CY), pp. 169–181.

FSE-1993-ZaremskiW #reuse

Signature Matching: A Key to Reuse (AMZ, JMW), pp. 182–190.

FSE-1993-BatorySST #library #scalability

Scalable Software Libraries (DSB, VS, MS, JT), pp. 191–199.