IEEE Transactions on Software Engineering (TSE), Volume 19

Volume 19, Number 1, January 1993

• Nancy G. Leveson, Peter G. Neumann:
  Introduction to Special Issue on Software for Critical Systems. 1-2
  
• Ricky W. Butler, George B. Finelli:
  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. 3-12
  
• John M. Rushby, Friedrich W. von Henke:
  Formal Verification of Algorithms for Critical Systems. 13-23
  
• Joanne M. Atlee, John D. Gannon:
  State-Based Model Checking of Event-Driven System Requirements. 24-40
  
• Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen:
  Specifying and Verifying Requirements of Real-Time Systems. 41-55
  
• Reino Kurki-Suonio:
  Stepwise Design of Real-Time Systems. 56-69
  
• Jia Xu, David Lorge Parnas:
  On Satisfying Timing Constraints in Hard-Real-Time Systems. 70-84
  

Volume 19, Number 2, February 1993

• Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. 89-107
  
• Yennun Huang, Satish K. Tripathi:
  Resource Allocation for Primary-Site Fault-Tolerant Systems. 108-119
  
• Alex Delis, Nick Roussopoulos:
  Performance Comparison of Three Modern DBMS Architectures. 120-138
  
• Jia Xu:
  Multiprocessor Scheduling of Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. 139-154
  
• Kun-Lung Wu, W. Kent Fuchs:
  Rapid Transaction-Undo Recovery Using Twin-Page Storage Management. 155-164
  
• Gernot Richter, Bruno Maffeo:
  Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language. 165-180
  
• P. Venkat Rangan:
  Trust Requirements and Performance of a Fast Subtransprot-Level Protocol for Secure Communication. 181-186
  
• Ashok K. Agrawala, Bijendra N. Jain:
  Deterministic Model and Transient Analysis of Virtual Circuits. 187-197
  
• Michael Young, David L. Levine, Richard N. Taylor:
  Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''. 198-200
  

Volume 19, Number 3, March 1993

• Phyllis G. Frankl, Elaine J. Weyuker:
  A Formal Analysis of the Fault-Detecting Ability of Testing Methods. 202-213
  
• Emden R. Gansner, Eleftherios Koutsofios, Stephen C. North, Kiem-Phong Vo:
  A Technique for Drawing Directed Graphs. 214-230
  
• Josephine Micallef, Gail E. Kaiser:
  Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements. 231-252
  
• Dar-Tzen Peng, Kang G. Shin:
  Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method. 253-267
  
• John Plaice, William W. Wadge:
  A New Approach to Version Control. 268-276
  
• Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
  Formal Derivation of Rule-Based Programs. 277-296
  
• Jacob P. Ukelson, John D. Gould, Stephen J. Boies:
  User Navigation in Computer Applications. 297-306
  
• Norman Y. Foo:
  Comments on ``Defining Software by Continuous Smooth Functions''. 307-309
  
• Jia Xu, David Lorge Parnas:
  Correction to ``On Satisfying Timing Constraints in Hard-Real-Time Systems''. 310
  

Volume 19, Number 4, April 1993

• Karl J. Lieberherr, Cun Xiao:
  Object-Oriented Software Evolution. 313-343
  
• Carlo Batini, Giuseppe Di Battista, Giuseppe Santucci:
  Structuring Primitives for a Dictionary of Entity Relationship Data Schemas. 344-365
  
• Tracy Camp, Phil Kearns, Mohan Ahuja:
  Proof Rules for Flush Channels. 366-378
  
• Rajiv D. Banker, Robert J. Kauffman, Dani Zweig:
  Repository Evaluation of Software Reuse. 379-389
  
• Minnie Yi-Miin Yen, Richard W. Scamell:
  A Human Factors Experimental Comparison of SQL and QBE. 390-409
  
• Linda Ness:
  L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. 410-423
  

Volume 19, Number 5, May 1993

• Takeshige Miyoshi, Motoei Azuma:
  An Empirical Study of Evaluating Software Development Environment Quality. 425-435
  
• Valdis Berzins, Luqi, Amiram Yehudai:
  Using Transformations in Specification-Based Prototyping. 436-452
  
• Bernd J. Krämer, Luqi, Valdis Berzins:
  Compositional Semantics of a Real-Time Prototyping Language. 543-477
  
• Robert E. Strom, Daniel M. Yellin:
  Extending Typestate Checking Using Conditional Liveness Analysis. 478-485
  
• Giuseppe Iazeolla, Francesco Marinuzzi:
  LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. 486-502
  
• Mark G. Staskauskas:
  Formal Derivation of Concurrent Programs: An Example from Industry. 503-528
  
• D. Ross Jeffery, Graham C. Low, M. Barnes:
  A Comparison of Function Point Counting Techniques. 529-532
  

Volume 19, Number 6, June 1993

• Debra J. Richardson, Margaret C. Thompson:
  An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection. 533-553
  
• Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen:
  From CSP Models to Markov Models. 554-570
  
• Parameswaran Ramanathan, Kang G. Shin:
  Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System. 571-583
  
• Mary Jean Harrold, Brian A. Malloy:
  A Unified Interprocedural Program Representation for a Maintenance Environment. 584-593
  
• Nabil R. Adam, Rajiv Tewari:
  Regeneration with Virtual Copies for Distributed Computing Systems. 594-602
  
• Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan:
  Software Project Control: An Experimental Investigation of Judgment with Fallible Information. 603-612
  
• Herman C. Rao, Larry L. Peterson:
  Accessing Files in an Internet: The Jade File System. 613-624
  
• Andrew Kay, Joy N. Reed:
  A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. 625-639
  
• Moheb R. Girgis:
  Corrigendum for ``Constraint-Based Automatic Test Data Generation''. (R. A. De Millo and A. J. Offutt, IEEE Trans. Software Eng. vol. 17. no. pp 900-910, Sept. 1991.). 640
  
• Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
  Correction to ``A Logic-Based Approach to Reverse Engineering Tools Production''. 640
  ->TSE 18(12): 1053-1064 (1992)

Volume 19, Number 7, July 1993

• Fabio Grandi, Maria Rita Scalas:
  Block Access Estimation for Clustered Data Using a Finite LRU Buffer. 641-660
  
• Raimo Rask, Petteri Laamanen, Kalle Lyytinen:
  Simulation and Comparison of Albrecht's Function Point and DeMarco's Function Bang Metrics in a CASE Environment. 661-671
  
• Jit Biswas, James C. Browne:
  Data Structures for Parallel Resource Management. 672-686
  
• Markos Z. Tsoukalas, Joe W. Duran, Simeon C. Ntafos:
  On Some Reliability Estimation Problems in Random and Partition Testing. 687-697
  
• Sampath Rangarajan, Pankaj Jalote, Satish K. Tripathi:
  Capacity of Voting Systems. 698-706
  
• Andrew Sears:
  Layout Appropriateness: A Metric for Evaluating User Interface Widget Layout. 707-719
  
• Connie U. Smith, Lloyd G. Williams:
  Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives. 720-741
  
• Allen S. Parrish, Stuart H. Zweben:
  Clarifying Some Fundamental Concepts in Software Testing. 742-746
  

Volume 19, Number 8, August 1993

• Goetz Graefe, Diane L. Davison:
  Encapsulation of Parallelism and Architecture-Independence in Extensible Database Query Execution. 749-764
  
• Takeshi Nakajo, Isao Azuma, Masato Tada:
  A Case History Development of a Foolproofing Interface Documentation System. 765-773
  
• Phyllis G. Frankl, Stewart N. Weiss:
  An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. 774-787
  
• Babak Hamidzadeh, Shashi Shekhar:
  Specification and Analysis of Real-time Problem Solvers. 788-803
  
• Wesley W. Chu, Ion Tim Ieong:
  A Transaction-Based Approach to Vertical Partitioning for Relational Database Systems. 804-812
  
• Joseph L. Hellerstein:
  Achieving Service Rate Objectives with Decay Usage Scheduling. 813-825
  
• R. Govindarajan:
  Exception Handlers in Functional Programming Languages. 826-834
  
• Paolino Di Felice:
  Reusability of Mathematical Software: A Contribution. 835-843
  

Volume 19, Number 9, September 1993

• Mohan Ahuja, Timothy Carlson, Ashwani Gahlot:
  Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. 845-855
  
• David Lorge Parnas:
  Predicate Logic for Software Engineering. 856-862
  
• Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang:
  Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. 863-885
  
• Paul Helman, Gunar E. Liepins:
  Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse. 886-901
  
• Ing-Ray Chen, Sayed Atef Banawan:
  Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers. 902-911
  
• Elaine J. Weyuker:
  More Experience with Data Flow Testing. 912-919
  
• Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider:
  Engineering and Analysis of Fixed Priority Schedulers. 920-934
  
• John J. Shilling:
  Incremental LL(1) Parsing in Language-Based Editors. 935-940
  

Volume 19, Number 10, October 1993

• Jeffery A. Solheim, John H. Rowland:
  An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems. 941-949
  
• Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie:
  Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience. 950-961
  
• Phyllis G. Frankl, Elaine J. Weyuker:
  Provable Improvements on Branch Testing. 962-975
  
• Bin Qin:
  Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources. 976-981
  
• Philip S. Yu, Daniel M. Dias:
  Performance Analysis of Concurrency Control Using Locking with Deferred Blocking. 982-996
  
• Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi:
  A Three-Dimensional Iconic Environment for Image Database Querying. 997-1011
  

Volume 19, Number 11, November 1993

• Farokh B. Bastani:
  Forword: Software Reliability. 1013-1014
  
• Anish Arora, Mohamed G. Gouda:
  Closure and Convergence: A Foundation of Fault-Tolerant Computing. 1015-1027
  
• Lionel C. Briand, Victor R. Basili, Christopher J. Hetmanski:
  Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components. 1028-1044
  
• Scott A. Vander Wiel, Lawrence G. Votta:
  Assessing Software Designs Using Capture-Recapture Methods. 1045-1054
  
• Jarir K. Chaar, Michael J. Halliday, Inderpal S. Bhandari, Ram Chillarege:
  In-Process Evaluation for Software Inspection and Test. 1055-1070
  
• Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi:
  Modeling Correlation in Software Recovery Blocks. 1071-1086
  
• Yashwant K. Malaiya, Anneliese von Mayrhauser, Pradip K. Srimani:
  An Examination of Fault Exposure Ratio. 1087-1094
  
• Norman F. Schneidewind:
  Software Reliability Model with Optimal Selection of Failure Data. 1095-1104
  
• Wei-lun Kao, Ravishankar K. Iyer, Dong Tang:
  FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults. 1105-1118
  
• Oded Berman, Noushin Ashrafi:
  Optimization Models for Reliability of Modular Software Systems. 1119-1123
  

Volume 19, Number 12, December 1993

• Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi:
  Process Model Evolution in the SPADE Environment. 1128-1144
  
• Maria Letizia Jaccheri, Reidar Conradi:
  Techniques for Process Model Evolution in EPOS. 1145-1156
  
• Inderpal S. Bhandari, Michael J. Halliday, Eric Tarver, David Brown, Jarir K. Chaar, Ram Chillarege:
  A Case Study of Software Process Improvement During Development. 1157-1170
  
• Wei Kuan Shih, Jane W.-S. Liu, C. L. Liu:
  Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines. 1171-1179