Proceedings of the 15th International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.