Victor R. Basili, Richard A. DeMillo, Takuya Katayama
Proceedings of the 15th International Conference on Software Engineering
ICSE, 1993.

@proceedings{ICSE-1993,
	acmid         = "257572",
	address       = "Baltimore, Maryland, USA",
	editor        = "Victor R. Basili and Richard A. DeMillo and Takuya Katayama",
	isbn          = "0-89791-588-7",
	publisher     = "{IEEE Computer Society / ACM Press}",
	title         = "{Proceedings of the 15th International Conference on Software Engineering}",
	year          = 1993,
}

Contents (48 items)

9 ×#process
7 ×#modelling
6 ×#testing
4 ×#analysis
4 ×#specification
3 ×#approach
3 ×#data flow
3 ×#design
3 ×#development
3 ×#evaluation

ICSE-1993-Linger #re-engineering

Cleanroom Software Engineering for Zero-Defect Software (RCL), pp. 2–13.

ICSE-1993-WangP #behaviour #simulation

Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.

ICSE-1993-GerhartCR #formal method #industrial #using

Observations on Industrial Practice Using Formal Methods (SLG, DC, TR), pp. 24–33.

ICSE-1993-Lakhotia #approach #rule-based

Rule-Based Approach to Computing Module Cohesion (AL), pp. 35–44.

ICSE-1993-BastaniDP #correctness #evaluation #using

Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation (FBB, GD, AP), pp. 45–54.

ICSE-1993-BriandTH #development #modelling

Modeling and Managing Risk Early in Software Development (LCB, WMT, CJH), pp. 55–65.

ICSE-1993-KitsonM #analysis #assessment #process

An Analysis of SEI Software Process Assessment Results: 1987-1991 (DHK, SMM), pp. 68–77.

ICSE-1993-KellerLMBTHE #process

A Comprehensive Process Model for Studying Software Process Papers (RKK, RL, NHM, TFWB, KT, WKH, KEE), pp. 78–88.

ICSE-1993-BhandariR #comparative #evaluation #feedback

Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation (ISB, NR), pp. 89–98.

ICSE-1993-OffuttRZ #evaluation

An Experimental Evaluation of Selective Mutation (AJO, GR, CZ), pp. 100–107.

ICSE-1993-LaskiSL #analysis #mutation testing #testing

Dynamic Mutation Testing in Integrated Regression Analysis (JWL, WS, PL), pp. 108–117.

ICSE-1993-HamletGN #array #data flow #testing

Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.

ICSE-1993-KaiserPB #modelling #process

A Bi-Level Language for Software Process Modeling (GEK, SSP, IBS), pp. 132–143.

ICSE-1993-BandinelliF #approach #modelling #process

Computational Reflection in Software Process Modeling: The SLANG Approach (SB, AF), pp. 144–154.

ICSE-1993-BradacPV #empirical #monitoring #process #prototype

Prototyping a Process Monitoring Experiment (MGB, DEP, LGV), pp. 155–165.

ICSE-1993-TamaiI #analysis #backtracking #design #development #process #requirements #scalability

Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking (TT, AI), pp. 167–176.

ICSE-1993-DrakeXTZ #analysis #approach #case study

Approach and Case Study of Requirement Analysis Where End Users Take an Active Role (JMD, WWX, WTT, IAZ), pp. 177–186.

ICSE-1993-NuseibehKF #multi #requirements #specification

Expressing the Relationships Between Multiple Views in Requirements Specification (BN, JK, AF), pp. 187–196.

ICSE-1993-Iscoe #domain model #modelling #overview #research

Domain Modeling — Overview & Ongoing Research at EDS (NI), pp. 198–200.

ICSE-1993-McGowanB #modelling #process

Model Based Process Assessments (CLM, SAB), pp. 202–211.

ICSE-1993-WohlwendR

Software Improvements in an International Company (HW, SR), pp. 212–220.

ICSE-1993-LichterSZ #industrial #prototype #theory and practice

Prototyping in Industrial Software Projects — Bridging the Gap Between Theory and Practice (HL, MSH, HZ), pp. 221–229.

ICSE-1993-ArangoSP #design #process #reuse

A Process for Consolidating and Reusing Design Knowledge (GA, ES, RP), pp. 231–242.

ICSE-1993-ArangoSPH #design

The Graft-Host Method for Design Change (GA, ES, RP, JCH), pp. 243–254.

ICSE-1993-LubarsPR #modelling #object-oriented

Developing Initial OOA Models (MDL, CP, CR), pp. 255–264.

ICSE-1993-Tai #generative #source code #testing

Predicate-Based Test Generation for Computer Programs (KCT), pp. 267–276.

ICSE-1993-UralY #data flow #modelling #representation

Modeling Software for Accurate Data Flow Representation (HU, BY), pp. 277–286.

ICSE-1993-PiwowarskiOC #experience #metric #testing

Coverage Measurement Experience During Function Test (PP, MO, JMC), pp. 287–301.

ICSE-1993-BorgidaMR #problem #quote #specification

“...And Nothing Else Changes”: The Frame Problem in Procedure Specifications (AB, JM, RR), pp. 303–314.

ICSE-1993-CourtoisP #documentation #safety

Documentation for Safety Critical Software (PJC, DLP), pp. 315–323.

ICSE-1993-KleynB #graph #programming #specification

A High Level Language for Specifying Graph Based Languages and Their Programming Environments (MFK, JCB), pp. 324–335.

ICSE-1993-Brown

An Examination of the Current State of IPSE Technology (AWB), pp. 338–347.

ICSE-1993-Zelkowitz #classification #using

Use of an Environment Classification Model (MVZ), pp. 348–357.

ICSE-1993-TarrS #development #programming #transaction

Programming Heterogeneous Transactions for Software Development Environments (PLT, SMSJ), pp. 358–369.

ICSE-1993-Hall #behaviour #retrieval

Generalized Behavior-Based Retrieval (RJH), pp. 371–380.

ICSE-1993-DunnK #automation #detection #reuse

Automating the Detection of Reusable Parts in Existing Software (MFD, JCK), pp. 381–390.

ICSE-1993-OrnburnL #component #generative #using

Building, Modifying and Using Component Generators (SBO, RJL), pp. 391–402.

ICSE-1993-StocksC #framework #testing

Test Templates: A Specification-Based Testing Framework (PS, DAC), pp. 405–414.

ICSE-1993-FranklW #comparison #data flow #detection #testing

An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques (PGF, EJW), pp. 415–424.

ICSE-1993-DalalHK #communication #quality #reliability #safety

Reliable Software and Communication: Software Quality, Reliability, and Safety (SRD, JRH, JRK), pp. 425–435.

ICSE-1993-SirkinBS #component #data type

Software Components in a Data Structure Precompiler (MS, DSB, VS), pp. 437–446.

ICSE-1993-GarlanS #programming language

Adding Implicit Invocation to Rraditional Programming Languages (DG, CS), pp. 447–455.

ICSE-1993-MukherjeaS #algorithm #animation #comprehension #debugging

Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding (SM, JTS), pp. 456–465.

ICSE-1993-Rubin #maturity #process #quality

Software Process Maturity: Measuring Its Impact on Productivity and Quality (HAR), pp. 468–476.

ICSE-1993-KitchenhamK #correlation

Inter-item Correlations among Function Points (BK, KK), pp. 477–480.

ICSE-1993-BiggerstaffMW #comprehension #concept #problem

The Concept Assignment Problem in Program Understanding (TJB, BGM, DEW), pp. 482–498.

ICSE-1993-EdwardsM #cobol #named #reverse engineering #specification

RECAST: Reverse Engineering from COBOL to SSADM Specification (HME, MM), pp. 499–508.

ICSE-1993-BeckE #interface #reverse engineering #slicing

Program and Interface Slicing for Reverse Engineering (JB, DE), pp. 509–518.