IEEE Transactions on Software Engineering (TSE), Volume 14

Volume 14, Number 1, January 1988

• Charles R. Symons:
  Function Point Analysis: Difficulties and Improvements. 2-11
  
• R. Geoff Dromey:
  Systematic Program Development. 12-29
  
• Fabio Panzieri, Santosh K. Shrivastava:
  Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing. 30-37
  
• Luis-Felipe Cabrera, Edward Hunter, Michael J. Karels, David A. Mosher:
  User-Process Communication Performance in Networks of Computers. 38-53
  
• Veljko M. Milutinovic, Jakov J. Crnkovic, Catherine E. Houstis:
  A Simulation Study of Two Distributed Task Allocation Procedures. 54-61
  
• Ian F. Akyildiz:
  On the Exact and Approximate Throughput Analysis of Closed Queueing Networks with Blocking. 62-70
  
• Mohammad A. Ketabchi, Valdis Berzins:
  Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. 71-84
  
• Nazim H. Madhavji:
  Fragtypes: A Basis for Programming Environments. 85-97
  
• Deepinder P. Sidhu, Carole S. Crall:
  Executable Logic Specifications for Protocol Service Interfaces. 98-121
  
• Pei-Jyun Leu, Bharat K. Bhargava:
  Clarification of Two Phase Locking in Concurrent Transaction Processing. 122-125
  
• J. Bradley:
  A Group-Select Operation for Relational Algebra and Implications for Database Machine Design. 126-129
  

Volume 14, Number 2, February 1988

• Margaret H. Eich:
  Graph Directed Locking. 133-140
  
• Thomas L. Casavant, Jon G. Kuhl:
  A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems. 141-154
  
• Jack Kent, Hector Garcia-Molina:
  Optimizing Shadow Recovery Algorithms. 155-168
  
• Mike Adler:
  An Algebra for Data Flow Diagram Process Decomposition. 169-183
  
• Tony T. Lee, Ming-Yee Lai:
  A Relational Algebraic Approach to Protocol Verification. 184-193
  
• Jahangir Karimi, Benn R. Konsynski:
  An Automated Software Design Assistant. 194-210
  
• Vasant Dhar, Matthias Jarke:
  Dependency Directed Reasoning and Learning in Systems Maintenance Support. 211-227
  
• Arturo I. Concepcion, Bernard P. Zeigler:
  DEVS Formalism: A Framework for Hierarchical Model Development. 228-241
  
• Joobin Choobineh, Michael V. Mannino, Jay F. Nunamaker, Benn R. Konsynski:
  An Expert Database Design System Based on Analysis of Forms. 242-253
  
• C. T. Baker:
  Effects of Field Service on Software Reliability. 254-258
  
• R. C. B. Cooper, K. G. Hamilton:
  Preserving Abstraction in Concurrent Programming. 258-263
  
• David Gray:
  The Formal Specification of a Small Bookshop Information System. 263-272
  
• Vincenzo Ambriola, David Notkin:
  Reasoning About Interactive Systems. 272-276
  

Volume 14, Number 3, March 1988

• Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth:
  A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency. 280-290
  
• David P. Anderson:
  Automated Protocol Implementation with RTAG. 291-300
  
• Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham:
  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. 301-316
  
• E. Jane Cameron, David M. Cohen, B. Gopinath, William M. Keese II, Linda A. Ness, Prem Uppaluru, John R. Vollaro:
  The IC* Model of Parallel Computation and Programming Environment. 317-326
  
• Ching-Hua Chow, Simon S. Lam:
  PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols. 327-338
  
• Claude Jard, Jean-François Monin, Roland Groz:
  Development of Véda, a Prototyping Tool for Distributed Algorithms. 339-352
  
• Simon S. Lam:
  Protocol Conversion. 353-362
  , Correction: IEEE Trans. Software Eng. 14(9): 1376(1988)
• Robert S. Matthews, K. H. Muralidhar, Steven Sparks:
  MAP 2.1 Conformance Testing Tools. 363-374
  
• Süleyman Sevinc, Bernard P. Zeigler:
  Entity Structure Based Design Methodology: A LAN Protocol Example. 375-383
  
• Son T. Vuong, Allen C. Lau, R. Isaac Chan:
  Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. 384-393
  
• Yao-Xue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi:
  An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph. 394-404
  

Volume 14, Number 4, April 1988

• Stephen S. Yau, Wonmo Hong:
  Verification of Concurrent Control Flow in Distributed Computer Systems. 405-417
  
• Ian F. Akyildiz:
  Mean Value Analysis for Blocking Queueing Networks. 418-428
  
• Klaus R. Dittrich, Raymond A. Lorie:
  Version Support for Engineering Database Systems. 429-437
  
• Heather Alexander:
  Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". 438-439
  
• Wojciech Cellary, Zbyszko Królikowski, Tadeusz Morzy:
  Other Comments on "Optimization Algorithms for Distributed Queries". 439-441
  
• Pei Hsia, Joseph E. Urban:
  Guest Editors' Introduction: Computer Languages. 442-443
  
• Barbara G. Ryder:
  Experiments in Optimizing FP. 444-454
  
• Karsten Schwan, Rajiv Ramnath, Sridhar Vasudevan, David M. Ogle:
  A Language and System for the Construction and Tuning of Parallel Programs. 455-471
  
• Bharat Jayaraman:
  Semantics of EqL. 472-480
  
• Tadao Murata, Du Zhang:
  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. 481-497
  
• Teodor Rus:
  Parsing Languages by Pattern Matching. 498-511
  
• Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
  A Model of Visibility Control. 512-520
  
• Domenico Ferrari:
  Forword to the Special Section on Papers from the 1987 ACM SIMETRICS Conference on Measurement and Modeling of Computer Systems. 521
  
• Philip Heidelberger, M. Seetha Lakshmi:
  A Performance Comparison of Multimicro and Mainframe Database Architectures. 522-531
  
• Randolph D. Nelson, Donald F. Towsley, Asser N. Tantawi:
  Performance Analysis of Parallel Processing Systems. 532-540
  
• Daniel A. Reed, Allen D. Malony, Bradley D. McCredie:
  Parallel Discrete Event Simulation Using Shared Memory. 541-553
  

Volume 14, Number 5, May 1988

• Willis K. King:
  Guest Editor's Introduction: Microprogramming. 558
  
• Werner Damm:
  A Microprogramming Logic. 559-574
  
• Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki:
  Horizon: A Retargetable Compiler for Horizontal Microarchitectures. 575-583
  
• Alexander Aiken, Alexandru Nicolau:
  A Development Environment for Horizontal Microcode. 584-594
  
• Vicki H. Allan, Robert A. Mueller:
  Compaction with General Timing. 595-599
  
• Robert I. Winner:
  Naming and Binding in a vertical Migration Environment. 599-607
  
• S. Sitharama Iyengar, Rangasami L. Kashyap:
  Guest Editors' Introduction: Image Databases. 608-610
  
• Jack A. Orenstein, Frank Manola:
  PROBE Spatial Data Modeling and Query Processing in an Image Database Application. 611-629
  
• Thomas Joseph, Alfonso F. Cardenas:
  PICQUERY: A High Level Query Language for Pictorial Database Management. 630-638
  , reprinted in Research Foundations in OO and Semantic DBS: 283-302
• Nick Roussopoulos, Christos Faloutsos, Timos K. Sellis:
  An Efficient Pictorial Database System for PSQL. 639-650
  
• Ying Cheng, S. Sitharama Iyengar, Rangasami L. Kashyap:
  A New Method of Image Compression using Irreducible Covers of Maximum Rectangles. 651-658
  
• A. Unnikrishnan, Priti Shankar, Y. V. Venkatesh:
  Threaded Linear Hierarchical Quadtree for Computation of Geometric Properties of Binary Images. 659-665
  
• Minoru Tanaka, Tadao Ichikawa:
  A Visual User Interface for Map Information Retrieval Based on Semantic Significance. 666-670
  
• Rangachar Kasturi, Juan Alemany:
  Information Extraction of Paper-Based Maps. 671-675
  
• Lil Mohan, Rangasami L. Kashyap:
  An Object-Oriented Knowledge Representation for Spatial Information. 675-681
  
• Shi-Kuo Chang, C. W. Yan, Donald C. Dimitroff, Timothy Arndt:
  An Intelligent Image Database System. 681-688
  

Volume 14, Number 6, June 1988

• Maria Heloisa (Lolo) Penedo, William E. Riddle:
  Guest Editors' Introduction Software Engineering Environment Architectures. 689-696
  
• Michal Young, Richard N. Taylor, Dennis B. Troup:
  Software Environment Architectures and User Interface Facilities. 697-708
  
• Scott E. Hudson, Roger King:
  The Cactis Project: Database Support for Software Environment. 709-719
  
• Axel van Lamsweerde, Bruno Delcourt, Emmanuelle Delor, Marie-Claire Schayes, Robert Champagne:
  Generic Lifecycle Support in the ALMA Environment. 720-741
  
• Patricia A. Oberndorf:
  The Common Ada Programming Support Environment (APSE) Interface Set (CAIS). 742-748
  
• Jayashree Ramanathan, Soumitra Sarkar:
  Providing Customized Assistance for Software Lifecycle Approaches. 749-757
  
• Victor R. Basili, H. Dieter Rombach:
  The TAME Project: Towards Improvement-Oriented Software Environments. 758-773
  
• Gene Fisher:
  An Overview of a Graphical Multilanguage Applications Environment. 774-786
  
• Alessandro Giacalone, Scott A. Smolka:
  Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. 787-802
  
• Robert M. Herndon Jr., Valdis Berzins:
  The Realizable Benefits of a Language Prototyping Language. 803-809
  
• K. H. Kim:
  Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation. 810-821
  
• Branislav Meandzija:
  Archetype: A Unified Method for the Design and Implementation of Protocol Architectures. 822-837
  
• Krishna P. Mikkilineni, Stanley Y. W. Su:
  An Evaluation of Relational Join Algorithms in a Pipelined Query Processing Environment. 838-848
  
• Thomas G. Moher:
  PROVIDE: A Process Visualization and Debugging Environment. 849-857
  
• Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen:
  Multilevel Data Structures: Models and Performance. 858-867
  
• Simeon C. Ntafos:
  A Comparison of Some Structural Testing Strategies. 868-874
  

Volume 14, Number 7, July 1988

• Benjamin W. Wah:
  Guest Editor's Introduction The Third International Conference on Data Engineering. 877-878
  
• Rakesh Agrawal:
  Alpha: An Extension of Relational Algebra to Express a Class of Recursive Queries. 879-885
  
• Hector Garcia-Molina, Boris Kogan:
  Achieving High Availability in Distributed Databases. 886-896
  
• Michael Stonebraker, Eric N. Hanson, Spyros Potamianos:
  The POSTGRES Rule Manager. 897-907
  
• Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley:
  A Queueing Network Model for a Distributed Database Testbed System. 908-921
  
• Michael Kifer, Eliezer L. Lozinskii:
  SYGRAF: Implementing Logic Programs in a Database Style. 922-935
  
• Calton Pu, Jerre D. Noe, Andrew Proudfoot:
  Regeneration of Replicated Objects: A Technique and Its Eden Implementation. 936-945
  
• Steven A. Demurjian, David K. Hsiao:
  Towards a Better Understanding of Data Models Through the Multilingual Database System. 946-958
  
• Mimi Kao, Nick Cercone, Wo-Shun Luk:
  Providing Quality Responses with Natural Language Interfaces: The Null Value Problem. 959-984
  
• Won Kim, Hong-Tai Chou, Jay Banerjee:
  Operations and Implementation of Complex Objects. 985-996
  
• Toshihide Ibaraki, Tiko Kameda, Naoki Katoh:
  Cautious Transaction Schedulers for Database Concurrency Control. 997-1009
  
• Herman Lam, Stanley Y. W. Su, Nageshwar R. Koganti:
  A Physical Database Design Evaluation System for CODASYL Databases. 1010-1022
  
• Jan Stelovsky, Hirotsugo Sugaya:
  A System for Specification and Rapid Prototyping of Application Command Languages. 1023-1032
  
• Neil C. Rowe:
  Absolute Bounds on Set Intersection and Union Sizes from Distribution Information. 1033-1048
  
• Kyle Siegrist:
  Reliability of Systems with Markov Transfer of Control. 1049-1053
  

Volume 14, Number 8, August 1988

• John R. North:
  Guest Editor's Introduction Selected Papers from COMPSAC '86. 1957-1058
  
• Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe:
  An Acyclic Expansion Algorithm for Fast Protocol Validation. 1059-1070
  
• Mostafa A. Bassiouni:
  Single-Site and Distributed Optimistic Protocols for Concurrency Control. 1071-1080
  
• Kathryn C. Kinsley, Charles E. Hughes:
  Evaluating Database Update Schemes: A Methodology and Its Applications to Distributive Systems. 1081-1089
  
• Yu Wang:
  A Distributed Specification Model and Its Prototyping. 1090-1097
  
• Takao Tenma, Hideaki Tsubotani, Minoru Tanaka, Tadao Ichikawa:
  A System for Generating Language-Oriented Editors. 1098-1109
  
• Mark Edel:
  The Tinkertoy Graphical Programming Environment. 1110-1115
  
• Bina Ramamurthy, Austin Melton:
  A Synthesis of Software Science Measures and the Cyclomatic Number. 1116-1121
  
• Sol M. Shatz:
  Towards Complexity Metrics for Ada Tasking. 1122-1127
  
• Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu:
  An Integrated Life-Cycle Model for Software Maintenance. 1128-1144
  
• C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash:
  Support for Reusability in Genesis. 1145-1154
  
• Chee Fen Yu, Benjamin W. Wah:
  Learning Dominance Relations in Combinatorial Search Problems. 1155-1175
  
• Stephen J. Hartley:
  An Analysis of Some Problems in Managing Virtual Memory Systems with Fast Secondary Storage Devices. 1176-1187
  
• Scott E. Hudson, Roger King:
  Semantic Feedback in the Higgens UIMS. 1188-1206
  
• Richard C. Waters:
  Program Translation via Abstraction and Reimplementation. 1207-1228
  
• Gregor von Bochmann:
  Delay-Independent Design for Distributed Systems. 1229-1237
  
• Michael L. Scott, Raphael A. Finkel:
  A Simple Mechanism for Type Security Across Compilation Units. 1238-1239
  

Volume 14, Number 9, September 1988

• Daniel Hoffman, Richard T. Snodgrass:
  Trace Specifications: Methodology and Models. 1243-1252
  
• Bogdan Korel:
  PELAS - Program Error-Locating Assistant System. 1253-1260
  
• Tze-Jie Yu, Vincent Yun Shen, Hubert E. Dunsmore:
  An Analysis of Several Software Defect Models. 1261-1270
  
• Ted Tenny:
  Program Readability: Procedures Versus Comments. 1271-1279
  
• Levent V. Orman:
  Functional Development of Database Applications. 1280-1292
  
• Pasquale Rullo, Domenico Saccà:
  An Automatic Physical Designer for Network Model Databases. 1293-1306
  
• Philip S. Yu, Simonetta Balsamo, Yann-Hang Lee:
  Dynamic Transaction Routing in Distributed Database Systems. 1307-1318
  
• Sakti Pramanik, David Vineyard:
  Optimizing Join Queries in Distributed Databases. 1319-1326
  
• Songnian Zhou:
  A Trace-Driven Simulation Study of Dynamic Load Balancing. 1327-1341
  
• Chee Fen Yu, Benjamin W. Wah:
  Efficient Branch-and-Bound Algorithms on a Two-Level Memory System. 1342-1356
  
• Elaine J. Weyuker:
  Evaluating Software Complexity Measures. 1357-1365
  
• John Stephen Davis, Richard J. LeBlanc:
  A Study of the Applicability of Complexity Measures. 1366-1372
  
• John T. Nosek, Ruth B. Schwartz:
  User Validation of Information System Requirements: Some Empirical Results. 1372-1375
  
• Simon S. Lam:
  Correction to "Protocol Conversion". 1376
  , ->IEEE Trans. Software Eng. 14(3): 353-362(1988)

Volume 14, Number 10, October 1988

• Christos Faloutsos:
  Gray Codes for Partial Match and Range Queries. 1381-1393
  
• Connie U. Smith:
  Applying Synthesis Principles to Create Responsive Software Systems. 1394-1408
  
• Luqi, Valdis Berzins, Raymond T. Yeh:
  A Prototyping Language for Real-Time Software. 1409-1423
  
• Joep L. W. Kessels:
  PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing. 1424-1431
  
• Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen:
  A Class of Inherently Fault Tolerant Distributed Programs. 1432-1442
  
• Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu:
  A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof. 1443-1452
  
• Alan M. Davis, Edward H. Bersoff, Edward R. Comer:
  A Strategy for Comparing Alternative Software Development Life Cycle Models. 1453-1461
  
• Barry W. Boehm, Philip N. Papaccio:
  Understanding and Controlling Software Costs. 1462-1477
  
• Kyle Siegrist:
  Reliability of Systems with Markov Transfer of Control, II. 1478-1481
  
• Phyllis G. Frankl, Elaine J. Weyuker:
  An Applicable Family of Data Flow Testing Criteria. 1483-1498
  
• Michal Young, Richard N. Taylor:
  Combining Static Concurrency Analysis with Symbolic Execution. 1499-1511
  
• Stewart N. Weiss, Elaine J. Weyuker:
  An Extended Domain-Bases Model of Software Reliability. 1512-1524
  
• Aaron J. Gordon, Raphael A. Finkel:
  Handling Timing Errors in Distributed Programs. 1525-1535
  

Volume 14, Number 11, November 1988

• Ian F. Akyildiz, Albrecht Sieber:
  Approximate Analysis of Load Dependent General Queueing Networks. 1537-1545
  
• Narain H. Gehani, William D. Roome:
  Rendezvous Facilities: Concurrent C and the Ada Language. 1546-1553
  
• Nicoletta De Francesco, Gigliola Vaglini:
  Description of a Tool for Specifying and Prototyping Concurrent Programs. 1554-1564
  
• Deepinder P. Sidhu, Juan Aristizabal:
  Constructing Submodule Specifications and Network Protocols. 1565-1577
  
• Thomas L. Casavant, Jon G. Kuhl:
  Effects of Response and Stability on Scheduling in Distributed Computing Systems. 1578-1588
  
• Carlos Urias Munoz:
  An Approach to Software Product Testing. 1589-1596
  
• Stefano Ceri, Stefano Crespi-Reghizzi, Andrea Di Maio, Luigi Lavazza:
  Software Prototyping by Relational Techniques: Experiences with Program Construction Systems. 1597-1609
  
• Georg Lausen:
  Modeling and Analysis of the Behavior of Information Systems. 1610-1620
  
• Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora:
  Web Structures: A Tool for Representing and Manipulating Programs. 1621-1639
  
• Stephen J. Hartley:
  Compile-Time Program Restructuring in Multiprogrammed Virtual Memory Systems. 1640-1644
  
• Ken S. Lew, Tharam S. Dillon, Kevin E. Forward:
  Software Complexity and Its Impact on Software Reliability. 1645-1655
  
• Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su:
  Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries. 1656-1667
  
• Ghassan Z. Qadah, Keki B. Irani:
  The Join Alogorithms on a Shared-Memory Multiprocessor Database Machine. 1668-1683
  
• Jay Banerjee, Won Kim, Sung-Jo Kim, Jorge F. Garza:
  Clustering a DAG for CAD Databases. 1684-1699
  
• Doron Rotem, Arie Segev:
  Algorithms for Multidimensional Partitioning of Static Files. 1700-1710
  
• Don S. Batory, J. R. Barnett, J. F. Garza, K. P. Smith, K. Tsukuda, B. C. Twichell, T. E. Wise:
  GENESIS: An Extensible Database Management System. 1711-1730
  
• Chao-Chih Yang, Guang Li, Peter A. Ng:
  An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme. 1731-1738
  

Volume 14, Number 12, December 1988

• Richard W. Selby, Adam A. Porter:
  Learning from Examples: Generation and Evaluation of Decision Trees for Software Resource Analysis. 1743-1757
  
• Lee D. Erman, Jay S. Lark, Frederick Hayes-Roth:
  ABE: An Environment for Engineering Intelligent Systems. 1758-1770
  
• Eric Schoen, Reid G. Smith, Bruce G. Buchanan:
  Design of Knowledge-Based Systems with a Knowledge-Based Assistant. 1771-1791
  
• Keith L. Clark:
  PARLOG and Its Applications. 1792-1804
  
• Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba:
  Dataflow Computing Models, Languages, and Machines for Intelligence Computations. 1805-1828
  
• Dan I. Moldovan, Chung-I Wu:
  A Hierarchical Knowledge Based System for Airplane Classification. 1829-1834