IEEE Transactions on Software Engineering (TSE), Volume 21

Volume 21, Number 1, January 1995

• Peter Triantafillou, David J. Taylor:
  The Location Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems. 1-18
  
• David S. Rosenblum:
  A Practical Approach to Programming With Assertions. 19-31
  
• Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang:
  Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. 32-49
  
• Salim Hariri, Hasan B. Mutlu:
  Hierarchical Modeling of Availability in Distributed Systems. 50-56
  

Volume 21, Number 2, February 1995

• Jim Woodcock, Peter Gorm Larsen:
  Introduction to Special Section (Guest Editorial). 61-62
  
• Anthony Boswell:
  Specification and Validation of a Security Policy Model. 63-68
  
• Geoff Barrett:
  Model Checking in Practice: The T9000 Virtual Channel Processor. 69-78
  
• Juan Bicarregui, Brian Ritchie:
  Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. 79-89
  
• Dan Craigen, Susan L. Gerhart, Ted Ralston:
  Formal Methods Reality Check: Industrial Usage. 90-98
  
• Jonathan Jacky:
  Specifying a Safety-Critical Control System in Z. 99-106
  
• Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke:
  Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. 107-125
  
• Krishnamoorthy Srinivasan, Douglas Fisher:
  Machine Learning Approaches to Estimating Software Development Effort. 126-137
  
• Kasper Østerbye:
  Literate Smalltalk Programming Using Hypertext. 138-145
  
• R. Geoff Dromey:
  A Model for Software Product Quality. 146-162
  
• S. Venkatesan, Brahma Dathan:
  Testing and Debugging Distributed Programs Using Global Predicates. 163-177
  

Volume 21, Number 3, March 1995

• Koral Ilgun, Richard A. Kemmerer, Phillip A. Porras:
  State Transition Analysis: A Rule-Based Intrusion Detection Approach. 181-199
  
• Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth:
  The Effects of Layering and Encapsulation on Software Development Cost and Quality. 200-208
  
• Theodore Johnson:
  Approximate Analysis of Reader/Writer Queues. 209-218
  
• Walter J. Gutjahr:
  Optimal Test Distributions for Software Failure Cost Estimation. 219-228
  
• Donald D. Cowan, Carlos José Pereira de Lucena:
  Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse. 229-243
  
• Sanja Vranes, Mladen Stanojevic:
  Integrating Multiple Paradigms within the Blackboard Framework. 244-262
  
• Neville I. Churcher, Martin J. Shepperd:
  Comments on ``A Metrics Suite for Object Oriented Design''. 263-265
  
• Shyam R. Chidamber, Chris F. Kemerer:
  Authors' Reply. 265
  
• David S. Rosenblum:
  Correction to ``A Practical Approach to Programming with Assertions''. 265
  

Volume 21, Number 4, April 1995

• David Garlan, Dewayne E. Perry:
  Introduction to the Special Issue on Software Architecture. 269-274
  
• William G. Griswold, David Notkin:
  Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. 275-287
  
• Barbara Hayes-Roth, Karl Pfleger, Philippe Lalanda, Philippe Morignot, Marko Balabanovic:
  A Domain-Specific Software Architecture for Adaptive Intelligent Systems. 288-301
  
• Thomas R. Dean, James R. Cordy:
  A Syntactic Theory of Software Architecture. 302-313
  
• Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik:
  Abstractions for Software Architecture and Tools to Support Them. 314-335
  
• David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann:
  Specification and Analysis of System Architecture Using Rapide. 336-355
  
• Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider:
  Correct Architecture Refinement. 356-372
  
• Paola Inverardi, Alexander L. Wolf:
  Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. 373-386
  

Volume 21, Number 5, May 1995

• Richard Gerber, Seongsoo Hong:
  Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion. 389-404
  
• Jeff Tian, Peng Lu, Joe Palma:
  Test-Execution-Based Reliability Measurement and Modeling for Large Commercial Software. 405-414
  
• Frank Ng, Gregory Butler, Judy Kay:
  An Intelligent Tutoring System for the Dijkstra-Gries Methodology. 415-428
  
• Shlomi Dolev, Amos Israeli, Shlomo Moran:
  Analyzing Expected Time by Scheduler-Luck Games. 429-439
  
• Sergio Bandinelli, Alfonso Fuggetta, Luigi Lavazza, Maurizio Loi, Gian Pietro Picco:
  Modeling and Improving an Industrial Software Process. 440-454
  
• Inhwan Lee, Ravishankar K. Iyer:
  Software Dependability in the Tandem GUARDIAN System. 455-467
  
• M. G. Sriram, Mukesh Singhal:
  Measures of the Potential for Load Sharing in Distributed Computing Systems. 468-475
  
• Alan Burns, Ken Tindell, Andy J. Wellings:
  Effective Analysis for Engineering Real-Time Fixed Priority Schedulers. 475-480
  

Volume 21, Number 6, June 1995

• Robert J. Hall:
  Call Path Refinement Profiles. 481-498
  
• Madalene Spezialetti, Rajiv Gupta:
  Loop Monotonic Statements. 497-505
  
• Allan M. Stavely:
  Verifying Definite Iteration Over Data Structures. 506-514
  
• Thomas Kunz, James P. Black:
  Using Automatic Process Clustering for Design Recovery and Distributed Debugging. 515-527
  
• Hafedh Mili, Fatma Mili, Ali Mili:
  Reusing Software: Issues and Research Directions. 528-562
  
• Adam A. Porter, Lawrence G. Votta, Victor R. Basili:
  Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment. 563-575
  
• William G. Griswold, David Notkin:
  Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. 576
  
• David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann:
  Specification and Analysis of System Architecture Using Rapide. 576
  

Volume 21, Number 7, July 1995

• Krithi Ramamritham:
  Guest Editor's Introduction. 577-578
  
• Richard Gerber, Seongsoo Hong, Manas Saksena:
  Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes. 579-592
  
• Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, Chong-Sang Kim:
  An Accurate Worst Case Timing Analysis for RISC Processors. 593-604
  
• Rwo-Hsi Wang, Aloysius K. Mok:
  Response-Time Bounds of EQL Rule-Based Programs Under Rule Priority Structure. 605-614
  
• Rafael H. Saavedra, Alan Jay Smith:
  Performance Characterization of Optimizing Compilers. 615-628
  
• Andrew M. Tyrrell, Geof F. Carpenter:
  CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. 629-639
  

Volume 21, Number 8, August 1995

• Jeff Tian, Marvin V. Zelkowitz:
  Complexity Measure Evaluation and Selection. 641-650
  
• Gordon S. Novak:
  Conversion of Units of Measurement. 651-661
  
• Paola Bertolazzi, Giuseppe Di Battista, Giuseppe Liotta:
  Parametric Graph Drawing. 662-673
  
• Magne Jørgensen:
  Experience With the Accuracy of Software Maintenance Task Effort Prediction Models. 674-681
  
• Hanoch Levy, Robert J. T. Morris:
  Exact Analysis of Bernoulli Superposition of Streams Into a Least Recently Used Cache. 682-687
  
• Jerome A. Rolia, Kenneth C. Sevcik:
  The Method of Layers. 689-700
  
• Hüseyin Sarper:
  No Special Schemes Are Needed for Solving Software Reliability Optimization Models. 701-702
  

Volume 21, Number 9, September 1995

• Alberto Avritzer, Elaine J. Weyuker:
  The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software. 705-716
  
• David C. Luckham, James Vera:
  An Event-Based Architecture Definition Language. 717-734
  
• Kenneth J. Goldman, Bala Swaminathan, Paul McCartney, Michael D. Anderson, Ram Sethuraman:
  The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications. 735-746
  
• John H. R. May, A. D. Lunn:
  A Model of Code Sharing for Estimating Software Failure on Demand Probabilities. 747-753
  
• C. Murray Woodside:
  A Three-View Model for Performance Engineering of Concurrent Software. 754-767
  
• Leslie Lamport:
  TLA in Pictures. 768-775
  
• John E. Neilson, C. Murray Woodside, Dorina C. Petriu, Shikharesh Majumdar:
  Software Bootlenecking in Client-Server Systems and Rendezvous Networks. 776-782
  

Volume 21, Number 10, October 1995

• Alexander Borgida, John Mylopoulos, Raymond Reiter:
  On the Frame Problem in Procedure Specifications. 785-798
  
• Robert H. Bourdeau, Betty H. C. Cheng:
  A Formal Semantics for Object Model Diagrams. 799-821
  
• Mark Aagaard, Miriam Leeser:
  Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification. 822-833
  
• Victor B. Lortz, Kang G. Shin:
  Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization. 834-844
  
• Balachander Krishnamurthy, David S. Rosenblum:
  Yeast: A General Purpose Event-Action System. 845-857
  
• Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong:
  Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. 858-861
  
• Phyllis G. Frankl, Elaine J. Weyuker:
  Reply to ``Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. 861-863
  

Volume 21, Number 11, November 1995

• Salvatore Cavalieri, Antonella Di Stefano, Orazio Mirabella:
  Pre-Run-Time Scheduling to Reduce Schedule Length in the FieldBus Environment. 865-880
  
• Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa:
  Introduction to the Special Section. 881-882
  
• Arthur H. Lee, Joseph L. Zachary:
  Reflections on Metaprogramming. 883-893
  
• David A. Ladd, J. Christopher Ramming:
  A*: A Language for Implementing Language Processors. 894-901
  
• Kazuki Yasumatsu, Norihisa Doi:
  SPiCE: A System for Translating Smalltalk Programs Into a C Environment. 902-912
  
• Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski:
  Region Analysis: A Parallel Elimination Method for Data Flow Analysis. 913-926
  
• Alberto Avritzer, Elaine J. Weyuker:
  Correction: ``The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software''. 927
  

Volume 21, Number 12, December 1995

• Barbara Kitchenham, Shari Lawrence Pfleeger, Norman E. Fenton:
  Towards a Framework for Software Measurement Validation. 929-943
  
• Jeff Tian:
  Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models. 945-958
  
• Jia Liang Han:
  Program Partition and Logic Program Analysis. 959-968
  
• Giacomo Bucci, Enrico Vicario:
  Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. 969-992
  
• Gordon S. Novak:
  Creation of Views for Reuse of Software with Different Data Representations. 993-1005
  
• Allen S. Parrish, Stuart H. Zweben:
  On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria. 1006-1009
  
• Premkumar T. Devanbu:
  On ``A Framework for Source Code Search Using Program Patterns''. 1009-1010