IEEE Transactions on Software Engineering (TSE), Volume 23

Volume 23, Number 1, January 1997

Regular Papers

• 
  Yong Yan, Xiaodong Zhang, Qian Ma:
  Software Support for Multiprocessor Latency Measurement and Evaluation. 4-16
• 
  Bogdan Korel:
  Computation of Dynamic Program Slices for Unstructured Programs. 17-34
• 
  Peter Triantafillou, Carl Neilson:
  Achieving Strong Consistency in a Distributed File System. 35-55

Correspondence

• 
  Robert J. Hilderman, Howard J. Hamilton:
  A Note on Regeneration with Virtual Copies. 56-59

Volume 23, Number 2, February 1997

Selected Papers of the Fourth International Conference on Software Reuse (ICSR4)

• 
  Don S. Batory, Bart J. Geraci:
  Composition Validation and Subjectivity in GenVoca Generators. 67-84
• 
  Stephen H. Edwards:
  Representation Inheritance: A Safe Form of "White Box'' Code Inheritance. 83-92

Regular Papers

• 
  Wu-chun Feng, Jane W.-S. Liu:
  Algorithms for Scheduling Real-Time Tasks with Input Error and End-to-End Deadlines. 93-106
• 
  Andy J. Wellings, Alan Burns:
  Implementing Atomic Actions in Ada 95. 107-123

Volume 23, Number 3, March 1997

Regular Papers

• 
  Adam A. Porter, Philip M. Johnson:
  Assessing Software Review Meetings: Results of a Comparative Analysis of Two Experimental Studies. 129-145
• 
  David S. Rosenblum, Elaine J. Weyuker:
  Using Coverage Information to Predict the Cost-Effectiveness of Regression Testing Strategies. 146-156
• 
  Murali Sitaraman, Bruce W. Weide, William F. Ogden:
  On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. 157-170
• 
  Jason Jen-Yen Chen:
  CSPL: An Ada95-Like, Unix-Based Process Environment. 171-184

Correspondence

• 
  Martín Abadi:
  Explicit Communication Revisited: Two New Attacks on Authentication Protocols. 185-186
• 
  Sandro Morasca, Lionel C. Briand, Victor R. Basili, Elaine J. Weyuker, Marvin V. Zelkowitz:
  Comments on "Toward a Framework for Software Measurement Validation". 187-188
• 
  Barbara A. Kitchenham, Shari Lawrence Pfleeger, Norman E. Fenton:
  Reply to: Comments on "Toward a Framework for Software Measurement Validation". 189
• 
  Geert Poels, Guido Dedene:
  Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties". 190-195
• 
  Lionel C. Briand, Sandro Morasca, Victor R. Basili:
  Response to: Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties". 196-197

Volume 23, Number 4, April 1997

Special Section - Best Papers Presented at the Eleventh Annual Conference on Computer Assurance (Compass '96)

• 
  Matt Kaufmann, J Strother Moore:
  An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. 203-213
• 
  William D. Young:
  Comparing Verification Systems: Interactive Consistency in ACL2. 214-223
• 
  Bard Bloom, Allan Cheng, Ashvin Dsouza:
  Using a Protean Language to Enhance Expressiveness in Specification. 224-234
• 
  Erland Jonsson, Tomas Olovsson:
  A Quantitative Model of the Security Intrusion Process Based on Attacker Behavior. 235-245

Regular Paper

• 
  Filippo Lanubile, Giuseppe Visaggio:
  Extracting Reusable Funtions by Flow Graph-Based Program Slicing. 246-259

Correspondence

• 
  Brian Henderson-Sellers:
  Corrigenda: Software Size Estimation of Object-Oriented Systems. 260-261

Volume 23, Number 5, May 1997

Special Issue - Formal Methods in Software Pactice

• 
  Bruno Dutertre, Victoria Stavridou:
  Formal Requirements Analysis of an Avionics Control System. 267-278
• 
  Gerard J. Holzmann:
  The Model Checker SPIN. 279-295
• 
  Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden:
  EVA: A Flexible Programming Method for Evolving Systems. 296-313
• 
  Changqing Wang, David R. Musser:
  Dynamic Verification of C++ Generic Algorithms. 314-323

Volume 23, Number 6, June 1997

Regular Papers

• 
  Adam A. Porter, Harvey P. Siy, Carol A. Toman, Lawrence G. Votta:
  An Experiment ot Assess the Cost-Benefits of Code Inspections in Large Scale Software Development. 329-346
• 
  Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Alan S. Ferrency, Andrew Faulring, Bruce D. Kyle, Andrew Mickish, Alex Klimovitski, Patrick Doane:
  The Amulet Environment: New Models for Effective User Interface Software Development. 347-365
• 
  Arup Mukherjee, Daniel P. Siewiorek:
  Measuring Software Dependability by Robustness Benchmarking. 366-378
• 
  Qing Hu:
  Evaluating Alternative Software Production Functions. 379-387
• 
  Ismael Ripoll, Alfons Crespo, Ana García-Fornes:
  An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems. 388-400

Volume 23, Number 7, July 1997

Regular Papers

• 
  Gordon S. Novak:
  Software Reuse by Specialization of Generic Procedures Through Views. 401-417
• 
  Arun Sen:
  The Role of Opportunism in the Software Design Reuse Process. 418-436
• 
  David M. Cohen, Siddhartha R. Dalal, Michael L. Fredman, Gardner C. Patton:
  The AETG System: An Approach to Testing Based on Combinatiorial Design. 437-444
• 
  Rym Mili, Ali Mili, Roland T. Mittermeir:
  Storing and Retrieving Software Conponents: A Refinement Based System. 445-460
• 
  Lester J. Holtzblatt, Richard L. Piazza, Howard B. Reubenstein, Susan N. Roberts, David R. Harris:
  Design Recovery for Distributed Systems. 461-472

Volume 23, Number 8, August 1997

Regular Papers

• 
  Matthew J. Gallagher, V. Lakshmi Narasimhan:
  ADTEST: A Test Data Generation Suite for Ada Software Systems. 473-484
• 
  Krishnakumar Pillai, V. S. S. Nair:
  A Model for Software Development Effort and Cost Estimation. 485-497
• 
  David W. Binkley:
  Semantics Guided Regression Test Cost Reduction. 498-516
• 
  Min-You Wu, Wei Shu:
  On Parallelization of Static Scheduling Algorithms. 517-528
• 
  Nader B. Ebrahimi:
  On the Statistical Analysis of the Number of Errors Remaining in a Software Design Document after Inspection. 529-532

Correspondence

• 
  Horst Zuse:
  Reply to: "Property-Based Software Engineering Measurement''. 533

Volume 23, Number 9, September 1997

Regular Papers

• 
  Nam-Yong Lee, Charles R. Litecky:
  An Empirical Study of Software Reuse with Special Attention to Ada. 537-549
• 
  Riccardo Focardi, Roberto Gorrieri:
  The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. 550-571
• 
  Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer:
  Specification of Realtime Systems Using ASTRAL. 572-598

Correspondence

• 
  Tarek F. Abdelzaher, Kang G. Shin:
  Comment on "A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems''. 599-600

Volume 23, Number 10, October 1997

Selected Papers of the Real-Time Systems Symposium (RTSS'96)

• 
  Jun Sun, Mark K. Gardner, Jane W.-S. Liu:
  Bounding Completion Times of Jobs with Arbitrary Release Times, Variable Execution Times and Resource Sharing. 603-615
• 
  Ashish Mehra, Atri Indiresan, Kang G. Shin:
  Structuring Communication Software for Quality-of-Service Guarantees. 616-634
• 
  Aloysius K. Mok, Deji Chen:
  A Multiframe Model for Real-Time Tasks. 635-645

Regular Papers

• 
  Koenraad Audenaert:
  Clock Trees: Logical Clocks for Programs with Nested Parallelism. 646-658
• 
  Gavin Lowe, A. W. Roscoe:
  Using CSP to Detect Errors in the TMN Protocol. 659-669

Volume 23, Number 11, November 1997

Regular Papers

• 
  Bev Littlewood, David Wright:
  Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. 673-683
• 
  Chris J. Walter, Patrick Lincoln, Neeraj Suri:
  Formally Verified On-Line Diagnosis. 684-721
• 
  Rohit Mahajan, Ben Shneiderman:
  Visual and Textual Consistency Checking Tools for Graphical User Interfaces. 722-735
• 
  Martin J. Shepperd, Chris Schofield:
  Estimating Software Project Effort Using Analogies. 736-743

Volume 23, Number 12, December 1997

Regular Papers

• 
  Dar-Tzen Peng, Kang G. Shin, Tarek F. Abdelzaher:
  Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems. 745-758
• 
  David B. Stewart, Richard Volpe, Pradeep K. Khosla:
  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. 759-776
• 
  Gennaro Costagliola, Andrea De Lucia, Sergio Orefice, Genoveffa Tortora:
  A Parsing Methodology for the Implementation of Visual Systems. 777-799