default search action
15th ICSE 1993: Baltimore, Maryland, USA
- Victor R. Basili, Richard A. DeMillo, Takuya Katayama:
Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993. IEEE Computer Society / ACM Press 1993, ISBN 0-89791-588-7
Formal Methods
- Richard C. Linger:
Cleanroom Software Engineering for Zero-Defect Software. 2-13 - Yabo Wang, David Lorge Parnas:
Simulating the Behaviour of Software Modules by Trace Rewriting. 14-23 - Susan L. Gerhart, Dan Craigen, Ted Ralston:
Observations on Industrial Practice Using Formal Methods. 24-33
Metrics
- Arun Lakhotia:
Rule-Based Approach to Computing Module Cohesion. 35-44 - Farokh B. Bastani, Giuseppe DiMarco, Alberto Pasquini:
Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. 45-54 - Lionel C. Briand, William M. Thomas, Christopher J. Hetmanski:
Modeling and Managing Risk Early in Software Development. 55-65
Process
- David H. Kitson, Stephen M. Masters:
An Analysis of SEI Software Process Assessment Results: 1987-1991. 68-77 - 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 - Inderpal S. Bhandari, Norman Roth:
Post-Process Feedback With and Without Attribute Focusing: A Comparative Evaluation. 89-98
Testing
- A. Jefferson Offutt, Gregg Rothermel, Christian Zapf:
An Experimental Evaluation of Selective Mutation. 100-107 - Janusz W. Laski, Wojciech Szermer, Piotr Luczycki:
Dynamic Mutation Testing in Integrated Regression Analysis. 108-117 - Richard G. Hamlet, Bruce Gifford, Borislav Nikolik:
Exploring Dataflow Testing of Arrays. 118-129
Process
- Gail E. Kaiser, Steven S. Popovich, Israel Ben-Shaul:
A Bi-Level Language for Software Process Modeling. 132-143 - Sergio Bandinelli, Alfonso Fuggetta:
Computational Reflection in Software Process Modeling: The SLANG Approach. 144-154 - Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta:
Prototyping a Process Monitoring Experiment. 155-165
Requirements Engineering
- Tetsuo Tamai, Akito Itou:
Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking. 167-176 - 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 - Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
Expressing the Relationships Between Multiple Views in Requirements Specification. 187-196 - Neil Iscoe:
Domain Modeling - Overview & Ongoing Research at EDS. 198-200
Process
- Clement L. McGowan, Shawn A. Bohner:
Model Based Process Assessments. 202-211 - Harvey Wohlwend, Susan Rosenbaum:
Software Improvements in an International Company. 212-220 - Horst Lichter, Matthias Schneider-Hufschmidt, Heinz Züllighoven:
Prototyping in Industrial Software Projects - Bridging the Gap Between Theory and Practice. 221-229
Design Methods
- Guillermo Arango, Eric Schoen, Robert Pettengill:
A Process for Consolidating and Reusing Design Knowledge. 231-242 - Guillermo Arango, Eric Schoen, Robert Pettengill, Josiah C. Hoskins:
The Graft-Host Method for Design Change. 243-254 - Mitchell D. Lubars, Colin Potts, Charles Richter:
Developing Initial OOA Models. 255-264
Testing
- Kuo-Chung Tai:
Predicate-Based Test Generation for Computer Programs. 267-276 - Hasan Ural, Bo Yang:
Modeling Software for Accurate Data Flow Representation. 277-286 - Paul Piwowarski, Mitsuru Ohba, Joseph M. Caruso:
Coverage Measurement Experience During Function Test. 287-301
Specification Methods
- Alexander Borgida, John Mylopoulos, Raymond Reiter:
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. 303-314 - Pierre-Jacques Courtois, David Lorge Parnas:
Documentation for Safety Critical Software. 315-323 - Michael F. Kleyn, James C. Browne:
A High Level Language for Specifying Graph Based Languages and Their Programming Environments. 324-335
Software Engineering Environments
- Alan W. Brown:
An Examination of the Current State of IPSE Technology. 338-347 - Marvin V. Zelkowitz:
Use of an Environment Classification Model. 348-357 - Peri L. Tarr, Stanley M. Sutton Jr.:
Programming Heterogeneous Transactions for Software Development Environments. 358-369
Reuse
- Robert J. Hall:
Generalized Behavior-Based Retrieval. 371-380 - Michael F. Dunn, John C. Knight:
Automating the Detection of Reusable Parts in Existing Software. 381-390 - Stephen B. Ornburn, Richard J. LeBlanc:
Building, Modifying and Using Component Generators. 391-402
Testing
- Phil Stocks, David A. Carrington:
Test Templates: A Specification-Based Testing Framework. 405-414 - Phyllis G. Frankl, Elaine J. Weyuker:
An Analytical Comparison of the Fault-Detecting Ability of Data Flow Testing Techniques. 415-424 - Siddhartha R. Dalal, Joseph R. Horgan, Jon R. Kettenring:
Reliable Software and Communication: Software Quality, Reliability, and Safety. 425-435
Tools
- Marty Sirkin, Don S. Batory, Vivek Singhal:
Software Components in a Data Structure Precompiler. 437-446 - David Garlan, Curtis M. Scott:
Adding Implicit Invocation to Rraditional Programming Languages. 447-455 - Sougata Mukherjea, John T. Stasko:
Applying Algorithm Animation Techniques for Program Tracing, Debugging, and Understanding. 456-465 - Howard A. Rubin:
Software Process Maturity: Measuring Its Impact on Productivity and Quality. 468-476 - Barbara A. Kitchenham, Kari Känsälä:
Inter-item Correlations among Function Points. 477-480 - Ted J. Biggerstaff, Bharat G. Mitbander, Dallas E. Webster:
The Concept Assignment Problem in Program Understanding. 482-498 - Helen M. Edwards, Malcolm Munro:
RECAST: Reverse Engineering from COBOL to SSADM Specification. 499-508 - Jon Beck, David Eichmann:
Program and Interface Slicing for Reverse Engineering. 509-518
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: