15. ICSE 1993: Baltimore, Maryland, USA

Proceedings of the 15th International Conference on Software Engineering, May 17-21, 1993, Baltimore, Maryland, USA. IEEE Computer Society / ACM Press, 1993

Formal Methods

Richard C. Linger:
Cleanroom Software Engineering for Zero-Defect Software. 2-13
Electronic Edition (link) BibTeX
Yabo Wang, David Lorge Parnas:
Simulating the Behaviour of Software Modules by Trace Rewriting. 14-23
Electronic Edition (link) BibTeX
Susan L. Gerhart, Dan Craigen, Ted Ralston:
Observations on Industrial Practice Using Formal Methods. 24-33
Electronic Edition (link) BibTeX

Metrics

Arun Lakhotia:
Rule-Based Approach to Computing Module Cohesion. 35-44
Electronic Edition (link) BibTeX
Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini:
Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. 45-54
Electronic Edition (link) BibTeX
Lionel C. Briand, William M. Thomas, Christopher J. Hetmanski:
Modeling and Managing Risk Early in Software Development. 55-65
Electronic Edition (link) BibTeX

Process

David H. Kitson, Stephen M. Masters:
An Analysis of SEI Software Process Assessment Results: 1987-1991. 68-77
Electronic Edition (link) BibTeX
Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Kamel Toubache, Won-Kook Hong, Khaled El Emam:
A Comprehensive Process Model for Studying Software Process Papers. 78-88
Electronic Edition (link) BibTeX
Inderpal S. Bhandari, Norman Roth:
Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation. 89-98
Electronic Edition (link) BibTeX

Testing

A. Jefferson Offutt, Gregg Rothermel, Christian Zapf:
An Experimental Evaluation of Selective Mutation. 100-107
Electronic Edition (link) BibTeX
Janusz W. Laski, Wojciech Szermer, Piotr Luczycki:
Dynamic Mutation Testing in Integrated Regression Analysis. 108-117
Electronic Edition (link) BibTeX
Richard G. Hamlet, Bruce Gifford, Borislav Nikolik:
Exploring Dataflow Testing of Arrays. 118-129
Electronic Edition (link) BibTeX

Process

Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul:
A Bi-Level Language for Software Process Modeling. 132-143
Electronic Edition (link) BibTeX
Sergio Bandinelli, Alfonso Fuggetta:
Computational Reflection in Software Process Modeling: The SLANG Approach. 144-154
Electronic Edition (link) BibTeX
Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta:
Prototyping a Process Monitoring Experiment. 155-165
Electronic Edition (link) BibTeX

Requirements Engineering

Tetsuo Tamai, Akito Itou:
Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. 167-176
Electronic Edition (link) BibTeX
José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan:
Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. 177-186
Electronic Edition (link) BibTeX
Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
Expressing the Relationships Between Multiple Views in Requirements Specification. 187-196
Electronic Edition (link) BibTeX

Neil Iscoe:
Domain Modeling - Overview & Ongoing Research at EDS. 198-200
Electronic Edition (link) BibTeX

Process

Clement L. McGowan, Shawn A. Bohner:
Model Based Process Assessments. 202-211
Electronic Edition (link) BibTeX
Harvey Wohlwend, Susan Rosenbaum:
Software Improvements in an International Company. 212-220
Electronic Edition (link) BibTeX
Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven:
Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice. 221-229
Electronic Edition (link) BibTeX

Design Methods

Guillermo Arango, Eric Schoen, Robert Pettengill:
A Process for Consolidating and Reusing Design Knowledge. 231-242
Electronic Edition (link) BibTeX
Guillermo Arango, Eric Schoen, Robert Pettengill, Josiah C. Hoskins:
The Graft-Host Method for Design Change. 243-254
Electronic Edition (link) BibTeX
Mitchell D. Lubars, Colin Potts, Charles Richter:
Developing Initial OOA Models. 255-264
Electronic Edition (link) BibTeX

Testing

Kuo-Chung Tai:
Predicate-Based Test Generation for Computer Programs. 267-276
Electronic Edition (link) BibTeX
Hasan Ural, Bo Yang:
Modeling Software for Accurate Data Flow Representation. 277-286
Electronic Edition (link) BibTeX
Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso:
Coverage Measurement Experience During Function Test. 287-301
Electronic Edition (link) BibTeX

Specification Methods

Alexander Borgida, John Mylopoulos, Raymond Reiter:
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. 303-314
Electronic Edition (link) BibTeX
Pierre-Jacques Courtois, David Lorge Parnas:
Documentation for Safety Critical Software. 315-323
Electronic Edition (link) BibTeX
Michael F. Kleyn, James C. Browne:
A High Level Language for Specifying Graph Based Languages and Their Programming Environments. 324-335
Electronic Edition (link) BibTeX

Software Engineering Environments

Alan W. Brown:
An Examination of the Current State of IPSE Technology. 338-347
Electronic Edition (link) BibTeX
Marvin V. Zelkowitz:
Use of an Environment Classification Model. 348-357
Electronic Edition (link) BibTeX
Peri L. Tarr, Stanley M. Sutton Jr.:
Programming Heterogeneous Transactions for Software Development Environments. 358-369
Electronic Edition (link) BibTeX

Reuse

Robert J. Hall:
Generalized Behavior-Based Retrieval. 371-380
Electronic Edition (link) BibTeX
Michael F. Dunn, John C. Knight:
Automating the Detection of Reusable Parts in Existing Software. 381-390
Electronic Edition (link) BibTeX
Stephen B. Ornburn, Richard J. LeBlanc:
Building, Modifying and Using Component Generators. 391-402
Electronic Edition (link) BibTeX

Testing

Phil Stocks, David A. Carrington:
Test Templates: A Specification-Based Testing Framework. 405-414
Electronic Edition (link) BibTeX
Phyllis G. Frankl, Elaine J. Weyuker:
An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques. 415-424
Electronic Edition (link) BibTeX
Siddhartha R. Dalal, Joseph R. Horgan, J. R. Kettenring:
Reliable Software and Communication: Software Quality, Reliability, and Safety. 425-435
Electronic Edition (link) BibTeX

Tools

Marty Sirkin, Don S. Batory, Vivek Singhal:
Software Components in a Data Structure Precompiler. 437-446
Electronic Edition (link) BibTeX
David Garlan, Curtis Scott:
Adding Implicit Invocation to Rraditional Programming Languages. 447-455
Electronic Edition (link) BibTeX
Sougata Mukherjea, John T. Stasko:
Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding. 456-465
Electronic Edition (link) BibTeX

Howard A. Rubin:
Software Process Maturity: Measuring Its Impact on Productivity and Quality. 468-476
Electronic Edition (link) BibTeX
Barbara Kitchenham, Kari Känsälä:
Inter-item Correlations among Function Points. 477-480
Electronic Edition (link) BibTeX
Ted J. Biggerstaff, Bharat G. Mitbander, Dallas E. Webster:
The Concept Assignment Problem in Program Understanding. 482-498
Electronic Edition (link) BibTeX
Helen M. Edwards, Malcolm Munro:
RECAST: Reverse Engineering from COBOL to SSADM Specification. 499-508
Electronic Edition (link) BibTeX
Jon Beck, David Eichmann:
Program and Interface Slicing for Reverse Engineering. 509-518
Electronic Edition (link) BibTeX