IEEE Transactions on Software Engineering (TSE), Volume 15

Volume 15, Number 1, January 1989

• D. Sarkar, S. C. De Sarkar:
  Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. 1-9
  

• Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley:
  A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution. 10-17
  , Correction: TSE 15(12): 1644 (1989)

• Edward Omiecinski:
  Heuristics for Join Processing Using Nonclustered Indexes. 18-25
  
• Jason S. J. Chen, Victor O. K. Li:
  Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network. 26-38
  
• Sushil Jajodia, David Mutchler:
  A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability. 39-46
  
• Toshimi Minoura, S. Sitharama Iyengar:
  Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems. 47-59
  

• Chao-Chih Yang:
  Deduction Graphs: An Algorithm and Applications. 60-67
  
• Pankaj Jalote:
  Resilient Objects in Broadcast Networks. 68-72
  
• Carl S. Hartzman:
  The Delay Due to Dynamic Two-Phase Locking. 72-82
  
• Muneo Takahashi, Yuji Kamayachi:
  An Empirical Study of a Model for Program Error Prediction. 82-86
  
• Karl J. Ottenstein:
  A Simplified Framework for Reduction in Strength. 86-92
  
• Danco Davcev:
  A Dynamic Voting Scheme in Distributed Systems. 93-97
  

Volume 15, Number 2, February 1989

• Pasquale Armenise:
  A Structured Approach to Program Optimization. 101-108
  
• Tarek K. Abdel-Hamid:
  The Dynamics of Software Project Staffing: A System Dynamics Based Simulation Approach. 109-119
  
• K. K. Ramakrishnan, Joel S. Emer:
  Performance Analysis of Mass Storage Service Alternatives for Distributed Systems. 120-133
  
• David M. Nicol:
  Optimal Partitioning of Random Programs Across two Processors. 134-141
  
• Bipin C. Desai:
  Performance of a Composite Attribute and Join Index. 142-152
  
• Stefano Ceri, Georg Gottlob, Gio Wiederhold:
  Efficient Database Access from Prolog. 153-164
  
• Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper:
  Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. 165-180
  
• Jeannette M. Wing, Mark R. Nixon:
  Extending Ina Jo with Temporal Logic. 181-197
  
• Martin S. Feather:
  Constructing Specifications by Combining Parallel Elaborations. 198-208
  
• George Peterka, Tadao Murata:
  Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. 209-217
  
• David B. Brown, Saeed Maghsoodloo, William H. Deason:
  A Cost Model for Determining the Optimal Number of Software Test Cases. 218-221
  
• David B. Skillicorn, Janice I. Glasgow:
  Real-Time Specification Using Lucid. 221-229
  

Volume 15, Number 3, March 1989

• Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside:
  Software CAD: A Revolutionary Approach. 235-249
  
• Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
  The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. 250-263
  
• Pankaj Jalote:
  Functional Refinement and Nested Objects for Object-Oriented Design. 264-270
  
• Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill:
  Ada Program Partitioning Language: A Notation for Distributing Ada Programs. 271-280
  
• Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan:
  Translation and Execution of Distributed Ada Programs: Is It Still Ada? 281-292
  
• Anne F. Brindle, Richard N. Taylor, David F. Martin:
  A Debugger for Ada Tasking. 293-304
  
• Michael B. Feldman, Melinda L. Moran:
  Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs. 305-313
  
• Tadao Murata, Boris Shenker, Sol M. Shatz:
  Detection of Ada Static Deadlocks Using Petri Net Invariants. 314-326
  
• Lionel M. Ni, Ching-Farn Eric Wu:
  Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems. 327-334
  
• Robert F. Cmelik, Narain H. Gehani, William D. Roome:
  Experience with Multiple Processor Versions of Concurrent C. 335-344
  
• Yoshihiro Tohma, Kenshin Tokunaga, Shinji Nagase, Yukihisa Murata:
  Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution. 345-355
  
• Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli:
  Some Consideration on Real-Time Bahavior of Concurrent Programs. 356-359
  
• Bo Sanden:
  The Case for Electric Design of Real-Time Software. 360-362
  , Correction: TSE 15(7): 926 (1989)

Volume 15, Number 4, April 1989

• Gerard Florin, Stéphane Natkin:
  Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. 367-380
  
• Peter J. Haas, Gerald S. Shedler:
  Stochastic Petri Net Representation of Discrete Event Simulations. 381-393
  
• Joanne Bechta Dugan, Gianfranco Ciardo:
  Stochastic Petri Net Analysis of a Replicated File System. 394-401
  
• Norman F. Schneidewind:
  Distributed System Software Design Paradigm with Application to Computer Networks. 402-412
  
• Deepinder P. Sidhu, Ting-Kau Leung:
  Formal Methods for Protocol Testing: A Detailed Study. 413-426
  
• Mark A. Linton, Russell W. Quong:
  A Macroscopic Profile of Program Compilation and Linking. 427-436
  
• Daniel M. Dias, Balakrishna R. Iyer, John T. Robinson, Philip S. Yu:
  Integrated Concurrency-Coherency Controls for Multisystem Data Sharing. 437-448
  
• James A. Larson, Shamkant B. Navathe, Ramez Elmasri:
  A Theory of Attribute Equivalence in Databases with Application to Schema Integration. 449-463
  
• Abdullah Uz Tansel, M. Erol Arkun, Gultekin Özsoyoglu:
  Time-by-Example Query Language for Historical Databases. 464-478
  
• Asuman Dogac, Birol Yürüten, Stefano Spaccapietra:
  A Generalized Expert System for Database Design. 479-491
  
• Mustaque Ahamad, Mostafa H. Ammar:
  Performance Characterization of Quorum-Consensus Algorithms for Replicated Data. 492-501
  

Volume 15, Number 5, May 1989

• Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu:
  A Visual Language Compiler. 506-525
  
• Pankaj Jalote:
  Testing the Completeness of Specifications. 526-531
  
• Brent Hailpern, Tien Huynh, György E. Révész:
  Comparing Two Functional Programming Systems. 532-542
  
• Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller:
  A Software Science Model of Compile Time. 543-549
  
• Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet:
  Mathematical Principles for a First Course in Software Engineering. 550-559
  
• R. T. Jacob, Ivor P. Page:
  Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores. 560-568
  
• Patrick M. Lenders:
  Distributed Computing with Single Read-Single Write Variables. 569-574
  
• Wo-Shun Luk, Franky Ling:
  An Analytic/Empirical Study of Distributed Sorting on a Local Area Network. 575-586
  
• Zhiwei Xu, Kai Hwang:
  Molecule: A Language Construct for Layered Development of Parallel Programs. 587-599
  
• Sakti P. Ghosh:
  Numerical Operations on a Relational Database. 600-610
  
• Geoff Barrett:
  Formal Methods Applied to a Floating-Point Number System. 611-621
  
• Jean-Loup Baer, Yi-Bing Lin:
  Improving Quicksort Performance with a Codewort Data Structure. 622-631
  
• Donald A. Varvel, Leonard D. Shapiro:
  The Computational Completeness of Extended Database Query Languages. 632-638
  
• K. B. Lakshmanan, Krishnaiyan Thulasiraman, M. A. Comeau:
  An Efficient Distributed Protocol for Finding Shortest Paths in Networks with Negative Weights. 639-644
  
• Israel Cidon:
  An Efficient Distributed Knot Detection Algorithm. 644-649
  
• Randy K. Lind, K. Vairavan:
  An Experimental Investigation of Software Metrics and Their Relationship to Software Development Effort. 649-653
  
• Luigi Ciminiera, Adriano Valenzano:
  Authentication Mechanisms in Microprocessor-Based Local Area Networks. 654-658
  
• Jie Wu, Eduardo B. Fernández:
  A Simplification of a Conversation Design Scheme Using Petri Nets. 658-660
  

Volume 15, Number 6, June 1989

• Jeff Magee, Jeff Kramer, Morris Sloman:
  Constructing Distributed Systems in Conic. 663-675
  
• Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang:
  Experience with Charlotte: Simplicity and Function in a Distributed Operating System. 676-685
  
• Anand Tripathi:
  An Overview of the Nexus Distributed Operating System Design. 686-695
  
• Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin:
  On Distributing JASMIN's Optimistic Multiversioning Page Manager. 696-704
  
• Akhil Kumar, Michael Stonebraker:
  Performance Considerations for an Operating System Transaction Manager. 705-714
  
• K. H. Kim:
  An Approach to Experimental Evaluation of Real-Time Fault-Tolerant Distributed Computing Schemes. 715-725
  
• Bharat K. Bhargava, John Riedl:
  The Raid Distributed Database System. 726-736
  
• Steven J. Zeil:
  Perturbation Techniques for Detecting Domain Errors. 737-746
  
• Connie Loggia Ramsey, Victor R. Basili:
  An Evaluation of Expert Systems for Software Engineering Management. 747-759
  
• Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau:
  Algorithms for Constructing Minimal Deduction Graphs. 760-770
  
• Bharat Jayaraman, Gopal Gupta:
  EqL: The Language and Its Implementation. 771-779
  
• Clement T. Yu, Keh-Chang Guh, David Brill, Arbee L. P. Chen:
  Partition Strategy for Distributed Query Processing in Fast Local Networks. 780-793
  
• Yannis Manolopoulos, John G. Kollias:
  Expressions for Completely and Partly Unsuccessful Batched Search of Sequential and Tree-Structured Files. 794-799
  
• Raif O. Onvural, Harry G. Perros:
  Approximate Throughput Analysis of Cyclic Queueing Networks with Finite Buffers. 800-808
  
• Hany H. Ammar, S. M. Rezaul Islam:
  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models. 809-820
  
• Cathy May:
  The Parallel Assignment Problem Redefined. 821-824
  

Volume 15, Number 7, July 1989

• Maurice Herlihy, Martin S. McKendry:
  Timestamp-Based Orphan Elimination. 825-831
  
• Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani:
  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. 832-846
  
• Riccardo Gusella, Stefano Zatti:
  The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD. 847-853
  
• Joel L. Wolf, Daniel M. Dias, Balakrishna R. Iyer, Philip S. Yu:
  Multisystem Coupling by a Combination of Data Sharing and Data Partitioning. 854-860
  
• Behrokh Samadi:
  TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System. 861-874
  
• Alan C. Shaw:
  Reasoning About Time in Higher-Level Language Software. 875-889
  
• Beatrice Lazzerini, Lanfranco Lopriore:
  Abstraction Mechanisms for Event Control in Program Debugging. 890-901
  
• Barry W. Boehm, Rony Ross:
  Theory-W Software Project Management: Principles and Examples. 902-916
  
• Lutz Michael Wegner, Jukka Teuhola:
  The External Heapsort. 917-925
  
• Liu Lingzhong:
  Comments on ``A Distributed Scheme for Detecting Communication Deadlocks''. 926
  
• Bo Sanden:
  Correction to ``The Case for Electric Design of Real-Time Software''. 926
  , -> TSE 15(3): 360-362 (1989)

Volume 15, Number 8, August 1989

• Guang-Huei Chiou, Wen-Tsuen Chen:
  Secure Broadcasting Using the Secure Lock. 929-934
  
• Stephen P. Hufnagel, James C. Browne:
  Performance Properties of Vertically Partitioned Object-Oriented Systems. 935-946
  
• Michael L. Fontenot:
  Software Congestion, Mobile Servers, and the Hyperbolic Model. 947-962
  
• Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham:
  Recovery Point Selection on a Reverse Binary Tree Task Model. 963-976
  
• R. K. Shyamasundar, James W. Thatcher:
  Language Constructs for Specifying Concurrency in CDL*. 977-993
  
• Ugur Halici, Asuman Dogac:
  Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks. 994-1003
  
• Douglas W. Cornell, Philip S. Yu:
  On Optimal Site Assignment for Relations in the Distributed Database Environment. 1004-1009
  
• Jun-Ichi Aoe:
  An Efficient Implementation of Static String Pattern Matching Machines. 1010-1016
  
• Andrew Kusiak, Sunderesh S. Heragu:
  Expert Systems and Optimization. 1017-1020
  

Volume 15, Number 9, September 1989

• Chi Y. Lin, Reuven R. Levary:
  Computer-Aided Software Development Process Design. 1025-1037
  
• Gultekin Özsoyoglu, Huaqing Wang:
  A Relational Calculus with Set Operators, Its Safety and Equivalent Graphical Languages. 1038-1052
  
• Rajive Bagrodia:
  Process Synchronization: Design and Performance Evaluation of Distributed Algorithms. 1053-1065
  
• Jun-Ichi Aoe:
  An Efficient Digital Search Algorithm by Using a Double-Array Structure. 1066-1077
  
• Joshua Etkin, John A. Zinky:
  Development Life Cycle of Computer Networks: The Executable Model Approach. 1078-1089
  
• Sandra A. Mamrak, Michael J. Kaelbling, Charles K. Nicholas, Michael Share:
  Chameleon: A System for Solving the Data-Translation Problem. 1090-1108
  
• Daniel Troy, Clement T. Yu, Weining Zhang:
  Linearization of Nonlinear Recursive Rules. 1109-1119
  
• Ashok Malhotra, Harry M. Markowitz, Yakov Tsalalikhin, Donald P. Pazel, Luanne M. Burns:
  An Entity Relationship Programming Language. 1120-1130
  
• John A. Lehman:
  An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs. 1131-1135
  
• Chi-Sung Laih, Lein Harn, Jau-Yien Lee:
  On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial. 1135-1137
  

Volume 15, Number 10, October 1989

• Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida:
  A Meeting Scheduler for Office Automation. 1141-1146
  
• Alexander Thomasian, In Kyung Ryu:
  A Recursive Solution Method to Analyze the Performance of Static Locking Systems. 1147-1156
  
• Sang Hyuk Son, Ashok K. Agrawala:
  Distributed Checkpointing for Globally Consistent States of Databases. 1157-1167
  
• Xian-He Sun, Nabil Kamel, Lionel M. Ni:
  Processing Implication on Queries. 1168-1175
  
• David Chenho Kung:
  Conceptual Modeling in the Context of Software Development. 1176-1187
  
• Kang G. Shin, C. Mani Krishna, Yann-Hang Lee:
  Optimal Dynamic Control of Resources in a Distributed System. 1188-1198
  
• Rajiv D. Banker, Chris F. Kemerer:
  Scale Economies in New Software Development. 1199-1205
  
• Simonetta Balsamo, Lorenzo Donatiello:
  On the Cycle Time Distribution in a Two-Stage Cyclic Network with Blocking. 1206-1216
  
• Paolo Ciaccia, Maria Rita Scalas:
  Optimization Strategies for Relational Disjunctive Queries. 1217-1235
  
• Manfred Ruschitzka, John L. Clevenger:
  Heterogeneous Data Translations Based on Environment Grammars. 1236-1251
  
• Wei-Chung Hsu, Charles N. Fischer, James R. Goodman:
  On the Minimization of Loads/Stores in Local Register Allocation. 1252-1260
  
• Houssine Chetto, Maryline Silly-Chetto:
  Some Results of the Earliest Deadline Scheduling Algorithm. 1261-1269
  
• Venkatraman R. Iyer, Howard A. Sholl:
  Software Partitioning for Distributed, Sequential, Pipelined Applications. 1270-1279
  
• Lung-Chun Liu, Ellis Horowitz:
  A Formal Model for Software Project Management. 1280-1293
  
• David B. Bisant, James R. Lyle:
  A Two-Person Inspection Method to Improve Programming Productivity. 1294-1304
  
• Ian F. Akyildiz, Horst von Brand:
  Central Server Models with Multiple Job Classes, State Dependent Routing, and Rejection Blocking. 1305-1312
  

Volume 15, Number 11, November 1989

• Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil:
  A Formal Evaluation of Data Flow Path Selection Criteria. 1318-1332
  
• Karen Shannon, Richard T. Snodgrass:
  Mapping the Interface Description Language Type Model into C. 1333-1346
  
• Gregor von Bochmann, Rachida Dssouli, J. R. Zhao:
  Trace Analysis for Conformance and Arbitration Testing. 1347-1356
  
• Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson:
  CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. 1357-1367
  
• D. Sarkar, S. C. De Sarkar:
  A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. 1368-1381
  
• William R. Bevier:
  Kit: A Study in Operating System Verification. 1382-1396
  
• Harold Ossher:
  A Case Study in Structure Specification: A Grid Description of Scribe. 1397-1416
  
• Michael Evangelist, Nissim Francez, Shmuel Katz:
  Multiparty Interactions for Interprocess Communication and Synchronization. 1417-1426
  
• David Fernández-Baca:
  Allocating Modules to Processors in a Distributed System. 1427-1436
  
• T. H. Merrett, Normand Laliberte:
  Including Scalars in a Programming Language Based on the Relational Algebra. 1437-1443
  
• Marvin Theimer, Keith A. Lantz:
  Finding Idle Machines in a Workstation-Based Distributed System. 1444-1458
  
• Anna Hac:
  A Distributed Algorithm for Performance Improvement Through File Replication, File Migration, and Process Migration. 1459-1470
  
• Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond:
  Critical Races in Ada Programs. 1471-1480
  
• Susan S. Brilliant, John C. Knight, Nancy G. Leveson:
  The Consistent Comparison Problem in N-Version Software. 1481-1485
  
• Harry Joe:
  Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models. 1485-1490
  
• Anthony Chung, Deepinder P. Sidhu:
  On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. 1491-1494
  

Volume 15, Number 12, December 1989

• Michael L. Dertouzos, Aloysius K. Mok:
  Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. 1497-1506
  
• Norman R. Howes, Alfred C. Weaver:
  Measurements of Ada Overhead in OSI-Style Communications Systems. 1507-1517
  
• Ravi S. Sandhu:
  Recognizing Immediacy in an N-Tree Hierarchy and Its Application to Protection Groups. 1518-1525
  
• Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng:
  Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. 1526-1536
  
• Lori L. Pollock, Mary Lou Soffa:
  An Incremental Version of Iterative Data Flow Analysis. 1537-1549
  
• D. Sarkar, S. C. De Sarkar:
  A Theorem Prover for Verifying Iterative Programs Over Integers. 1550-1566
  
• Guy Bernard, Andrzej Duda, Yoram Haddad, Gilbert Harrus:
  Primitives for Distributed Computing in a Heterogeneous Local Area Network Environment. 1567-1578
  
• Murthy V. Devarakonda, Ravishankar K. Iyer:
  Predictability of Process Resource Usage: A Measurement-Based Study on UNIX. 1579-1586
  
• Barbara E. Wójcik, Zbigniew M. Wójcik:
  Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection. 1587-1595
  
• Bev Littlewood, Douglas R. Miller:
  Conceptual Modeling of Coincident Failures in Multiversion Software. 1596-1614
  
• Cui-Qing Yang, Barton P. Miller:
  Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach. 1615-1629
  
• Leonardo Felician, Graziella Zalateu:
  Validating Halstead's Theory for Pascal Programs. 1630-1632
  
• Shyamal K. Chowdhury:
  The Mean Resequencing Delay for M/H_K/infty Systems. 1633-1638
  
• James A. Hager:
  Software Cost Reduction Methods in Practice. 1638-1644
  
• Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley:
  Correction to ``A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution''. 1644
  , ->TSE 15(1): 10-17 (1989)