Journal: IEEE Trans. Software Eng.

Volume 15, Issue 9

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

Volume 15, Issue 8

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

Volume 15, Issue 7

825 -- 831Maurice Herlihy, Martin S. McKendry. Timestamp-Based Orphan Elimination
832 -- 846Marco 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
847 -- 853Riccardo Gusella, Stefano Zatti. The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD
854 -- 860Joel L. Wolf, Daniel M. Dias, Balakrishna R. Iyer, Philip S. Yu. Multisystem Coupling by a Combination of Data Sharing and Data Partitioning
861 -- 874Behrokh Samadi. TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System
875 -- 889Alan C. Shaw. Reasoning About Time in Higher-Level Language Software
890 -- 901Beatrice Lazzerini, Lanfranco Lopriore. Abstraction Mechanisms for Event Control in Program Debugging
902 -- 916Barry W. Boehm, Rony Ross. Theory-W Software Project Management: Principles and Examples
917 -- 925Lutz Michael Wegner, Jukka Teuhola. The External Heapsort
926 -- 0Bo Sanden. Correction to The Case for Electric Design of Real-Time Software
926 -- 0Liu Lingzhong. Comments on A Distributed Scheme for Detecting Communication Deadlocks

Volume 15, Issue 6

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

Volume 15, Issue 5

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

Volume 15, Issue 4

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

Volume 15, Issue 3

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

Volume 15, Issue 2

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

Volume 15, Issue 12

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

Volume 15, Issue 11

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

Volume 15, Issue 10

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

Volume 15, Issue 1

1 -- 9D. Sarkar, S. C. De Sarkar. Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
10 -- 17Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley. A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
18 -- 25Edward Omiecinski. Heuristics for Join Processing Using Nonclustered Indexes
26 -- 38Jason S. J. Chen, Victor O. K. Li. Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network
39 -- 46Sushil Jajodia, David Mutchler. A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability
47 -- 59Toshimi Minoura, S. Sitharama Iyengar. Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
60 -- 67Chao-Chih Yang. Deduction Graphs: An Algorithm and Applications
68 -- 72Pankaj Jalote. Resilient Objects in Broadcast Networks
72 -- 82Carl S. Hartzman. The Delay Due to Dynamic Two-Phase Locking
82 -- 86Muneo Takahashi, Yuji Kamayachi. An Empirical Study of a Model for Program Error Prediction
86 -- 92Karl J. Ottenstein. A Simplified Framework for Reduction in Strength
93 -- 97Danco Davcev. A Dynamic Voting Scheme in Distributed Systems