IEEE Transactions on Software Engineering (TSE), Volume 23

Volume 23, Number 1, January 1997

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

• Robert J. Hilderman, Howard J. Hamilton:
  A Note on Regeneration with Virtual Copies. 56-59
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 2, February 1997

• Don S. Batory, Bart J. Geraci:
  Composition Validation and Subjectivity in GenVoca Generators. 67-84
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Stephen H. Edwards:
  Representation Inheritance: A Safe Form of ``White Box'' Code Inheritance. 83-92
  Electronic Edition (IEEE Computer Society DL) BibTeX

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

Volume 23, Number 3, March 1997

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

• Martín Abadi:
  Explicit Communication Revisited: Two New Attacks on Authentication Protocols. 185-186
  Electronic Edition (IEEE Computer Society DL) BibTeX
• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Barbara Kitchenham, Shari Lawrence Pfleeger, Norman E. Fenton:
  Reply to: Comments on "Toward a Framework for Software Measurement Validation". 189
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Geert Poels, Guido Dedene:
  Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties". 190-195
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Lionel C. Briand, Sandro Morasca, Victor R. Basili:
  Response to: Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties". 196-197
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 4, April 1997

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

• Filippo Lanubile, Giuseppe Visaggio:
  Extracting Reusable Funtions by Flow Graph-Based Program Slicing. 246-259
  Electronic Edition (IEEE Computer Society DL) BibTeX

• Brian Henderson-Sellers:
  Corrigenda: Software Size Estimation of Object-Oriented Systems. 260-261
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 5, May 1997

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

Volume 23, Number 6, June 1997

• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Arup Mukherjee, Daniel P. Siewiorek:
  Measuring Software Dependability by Robustness Benchmarking. 366-378
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Qing Hu:
  Evaluating Alternative Software Production Functions. 379-387
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ismael Ripoll, Alfons Crespo, Ana García-Fornes:
  An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems. 388-400
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 7, July 1997

• Gordon S. Novak:
  Software Reuse by Specialization of Generic Procedures Through Views. 401-417
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Arun Sen:
  The Role of Opportunism in the Software Design Reuse Process. 418-436
  Electronic Edition (IEEE Computer Society DL) BibTeX
• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Rym Mili, Ali Mili, Roland Mittermeir:
  Storing and Retrieving Software Conponents: A Refinement Based System. 445-460
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Lester J. Holtzblatt, Richard L. Piazza, Howard B. Reubenstein, Susan N. Roberts, David R. Harris:
  Design Recovery for Distributed Systems. 461-472
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 8, August 1997

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

• Horst Zuse:
  Reply to: ``Property-Based Software Engineering Measurement''. 533
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 9, September 1997

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

• Tarek F. Abdelzaher, Kang G. Shin:
  Comment on ``A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems''. 599-600
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 10, October 1997

• 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
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ashish Mehra, Atri Indiresan, Kang G. Shin:
  Structuring Communication Software for Quality-of-Service Guarantees. 616-634
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Aloysius K. Mok, Deji Chen:
  A Multiframe Model for Real-Time Tasks. 635-645
  Electronic Edition (IEEE Computer Society DL) BibTeX

• Koenraad Audenaert:
  Clock Trees: Logical Clocks for Programs with Nested Parallelism. 646-658
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Gavin Lowe, A. W. Roscoe:
  Using CSP to Detect Errors in the TMN Protocol. 659-669
  Electronic Edition (IEEE Computer Society DL) BibTeX

Volume 23, Number 11, November 1997

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

Volume 23, Number 12, December 1997

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