IEEE Transactions on Software Engineering (TSE), Volume 11

Volume 11, Number 1, January 1985

• Billy G. Claybrook, Anne-Marie Claybrook, James Williams:
  Defining Database Views as Data Abstractions. 3-14
  
• C. Mohan, Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz:
  Lock Conversion in Non-Two-Phase Locking Protocols. 15-22
  

• Flaviu Cristian:
  A Rigorous Approach to Fault-Tolerant Programming. 23-31
  
• Richard A. Kemmerer:
  Testing Formal Specifications to Detect Design Errors. 32-43
  

• Guy T. Almes, Andrew P. Black, Edward D. Lazowska, Jerre D. Noe:
  The Eden System: A Technical Review. 43-59
  

• Mustaque Ahamad, Arthur J. Bernstein:
  An Application of Name Based Addressing to Low Level Distributed Algorithms. 59-67
  
• Mukul K. Sinha, N. Natarajan:
  A Priority Based Distributed Deadlock Detection Algorithm. 67-80
  

• B. Dasarathy:
  Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them. 80-86
  
• David B. Lomet:
  Making Pointers Safe in System Programming Languages. 87-96
  

• Matthias Jarke, Jon A. Turner, Edward A. Stohr, Yannis Vassiliou, Norman H. White, Ken Michielsen:
  A Field Evaluation of Natural Language for Data Retrieval. 97-114
  

• Jacques Cohen, Stuart Kolodner:
  Estimating the Speedup in Parallel Parsing. 114-124
  

• Michael O. Fryer:
  Risk Assessment of Computer Controlled Systems. 125-129
  

• Gilbert Harrus:
  A Model for the Basic Block Protocol of the Cambridge Ring. 130-136
  

• Ariel Pashtan:
  Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations. 136-141
  

Volume 11, Number 2, February 1985

• David Lee Tuomenoksa, Howard Jay Siegel:
  Task Scheduling on the PASM Parallel Processing System. 145-157
  
• David M. Weiss, Victor R. Basili:
  Evaluating Software Development by Analysis of Changes: Some Data from the Software Engineering Laboratory. 157-168
  
• Ian J. Hayes:
  Applying Formal Specification to Software Development in Industry. 169-178
  
• Taiichi Yuasa, Reiji Nakajima:
  IOTA: A Modular Programming System. 179-187
  
• Judith B. Peachey, Richard B. Bunt, Charles J. Colbourn:
  Some Empirical Observations on Program Behavior with Applications to Program Restructuring. 188-193
  
• Simonetta Balsamo, Giuseppe Iazeolla:
  Product-Form Synthesis of Queueing Networks. 194-199
  
• Shojiro Muro, Toshihide Ibaraki, Hidehiro Miyajima, Toshiharu Hasegawa:
  Evaluation of the File Redundancy in Distributed Database Systems. 199-205
  
• Arvola Chan, Robert Gray:
  Implementing Distributed Read-Only Transactions. 205-212
  
• Hung-Chang Du:
  On the File Design Problem for Partial Match Retrieval. 213-222
  
• Ravishankar K. Iyer, Paola Velardi:
  Hardware-Related Software Errors: Measurement and Analysis. 223-231
  
• Howard A. Jensen, K. Vairavan:
  An Experimental Study of Software Metrics for Real-Time Software. 231-234
  
• Edward G. Coffman Jr., T. T. Kadota, Larry A. Shepp:
  On the Asymptotic Optimality of First-Fit Storage Allocation. 235-239
  

Volume 11, Number 3, March 1985

• Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho:
  Exception Handling: Formal Specification and Systematic Program Construction. 242-252
  
• Stephen W. Draper, Donald A. Norman:
  Software Engineering for User Interfaces. 252-258
  
• David Lorge Parnas, Paul C. Clements, David M. Weiss:
  The Modular Structure of Complex Systems. 259-266
  
• W. Lewis Johnson, Elliot Soloway:
  PROUST: Knowledge-Based Program Understanding. 267-275
  
• Steven P. Reiss:
  PECAN: Program Development Systems that Support Multiple Views. 276-285
  
• Warren Teitelman:
  A Tour Through Cedar. 285-302
  
• Richard N. Taylor, Thomas A. Standish:
  Steps to an Advanced Ada^1 Programming Environment. 302-310
  

Volume 11, Number 4, April 1985

• Vincent Yun Shen, Tze-Jie Yu, Stephen M. Thebaut, Lorri R. Paulsen:
  Identifying Error-Prone Software - An Empirical Study. 317-324
  
• Stefano Ceri, Georg Gottlob:
  Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. 324-345
  
• Alexander Thomasian:
  Performance Evaluation of Centralized Databases with Static Locking. 346-355
  
• Nick Roussopoulos, Raymond T. Yeh:
  SEES - A Software Testing Environment Support System. 355-366
  
• Sandra Rapps, Elaine J. Weyuker:
  Selecting Software Test Data Using Data Flow Information. 367-375
  
• Thomas Downs:
  An Approach to the Modeling of Software Testing with Some Applications. 375-386
  
• Douglas Comer, Narain H. Gehani:
  Flex: A High-Level Language for Specifying Customized Microprocessors. 387-396
  
• N. Natarajan:
  Communication and Synchronization Primitives for Distributed Programs. 396-416
  
• Michael K. Molloy:
  Discrete Time Stochastic Petri Nets. 417-423
  
• Jeff Kramer, Jeff Magee:
  Dynamic Configuration for Distributed Systems. 424-436
  
• Ching-Chy Wang, Mary Lou Soffa:
  Eager Reclamation. 437-439
  
• Fabrizio Luccio:
  Variations on a Method for Representing Data Items of Unlimited Length. 439-441
  

Volume 11, Number 5, May 1985

• Arthur J. Bernstein:
  A Loosely Coupled Distributed System for Reliably Storing Data. 446-454
  
• David B. MacQueen, Donald Sannella:
  Completeness of Proof Systems for Equational Specifications. 454-461
  
• Mukul K. Sinha:
  Atomic Actions and Resource Coordination Problems Having Nonunique Solutions. 461-471
  
• Ronald H. Perrott, Danny Crookes, Peter Milligan, W. R. Martin Purdy:
  A Compiler for an Array and Vector Processing Language. 471-478
  
• Sheldon M. Ross:
  Statistical Estimation of Software Reliability. 479-483
  
• Giancarlo Martella, Barbara Pernici, Fabio A. Schreiber:
  An Availability Model for Distributed Transaction Systems. 483-491
  
• Lionel M. Ni, Kai Hwang:
  Optimal Load Balancing in a Multiple Processor System with Many Job Classes. 491-496, (Correction: IEEE Trans. Software Eng. 12(3): 500(1986))
  

Volume 11, Number 6, June 1985

• Virgil D. Gligor, Peter A. Ng:
  Foreword. 497-501
  
• Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi:
  Implementing Fault-Tolerant Distributed Objects. 502-508
  
• Martin S. McKendry:
  Ordering Actions for Visibility. 509-519
  
• Alfred Z. Spector, Jacob Butcher, Dean S. Daniels, Daniel J. Duchamp, Jeffrey L. Eppinger, Charles E. Fineman, Abdelsalam Heddaya, Peter M. Schwarz:
  Support for Distributed Transactions in the TABS Prototype. 520-530
  
• Benny Chor, Brian A. Coan:
  A Simple and Efficient Randomized Byzantine Agreement Algorithm. 531-539
  
• Kenneth J. Perry:
  Randomized Byzantine Agreement. 539-546
  
• Özalp Babaoglu, Rogério Drummond:
  Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts. 546-554
  
• Richard D. Schlichting:
  A Technique for Estimating Performance of Fault-Tolerant Programs. 555-563
  
• Nancy D. Griffeth, John A. Miller:
  Performance Modeling of Database Recovery Protocols. 564-572
  

Volume 11, Number 7, July 1985

• Richard P. Brägger, Andreas Dudler, Jürg Rebsamen, Carl August Zehnder:
  Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions. 574-583
  
• David Farmer, Roger King, David Myers:
  The Semantic Database Constructor. 583-591
  
• Sakti P. Ghosh:
  An Application of Statistical Databases in Manufacturing Testing. 591-598
  
• Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick:
  Utilizing an Executable Specification Language for an Information System. 598-605
  
• Benjamin W. Wah, Yao-Nan Lien:
  Design of Distributed Databases on Local Computer Systems with a Multiaccess Network. 606-619
  
• Arthur M. Keller, Marianne Winslett:
  On the Use of an Extended Relational Model to Handle Changing Incomplete Information. 620-633
  
• Christine Parent, Stefano Spaccapietra:
  An Algebra for a General Entity-Relation1hip Model. 634-643
  
• David Maier, David Rozenshtein, Jacob Stein:
  Representing Roles in Universal Scheme Interfaces. 644-652
  

Volume 11, Number 8, August 1985

• Valdis Berzins, Michael Gray:
  Analysis and Design in MSG.84: Formalizing Functional Specifications. 657-670
  
• Uli H. Chi:
  Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches. 671-685
  
• Leonard J. Bass:
  An Approach to User Specification of Interactive Display Interfaces. 686-698
  
• Anthony I. Wasserman:
  Extending State Transition Diagrams for the Specification of Human-Computer Interaction. 699-713
  
• Jason Gait:
  An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows. 714-717
  
• Farokh B. Bastani:
  Experiences with a Feedback Version Development Methodology. 718-723
  
• Shi-Kuo Chang, Wu-Lung Chan:
  Transformation and Verification of Office Procedures. 724-734
  
• Ali Mili:
  Towards a Theory of Forward Error Recovery. 735-748
  
• David H. Hutchens, Victor R. Basili:
  System Structure Analysis: Clustering with Data Bindings. 749-757
  
• Armen Gabrielian, Lawrence McNamee, David J. Trawick:
  The Qualified Function Approach to Analysis of Program Behavior and Performance. 758-773
  
• Krithi Ramamritham:
  Synthesizing Code for Resource Controllers. 774-783
  
• Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini:
  Symbolic Semantics and Program Reduction. 784-794
  
• Clement T. Yu, Chin-Chen Chang, Marjorie Templeton, David Brill, Eric Lund:
  Query Processing in a Fragmented Relational Distributed System: Mermaid. 795-810
  
• Shi-Kuo Chang, Erland Jungert, Stefano Levialdi, Genoveffa Tortora, Tadao Ichikawa:
  An Image Processing Language with Icon-Assisted Navigation. 811-819
  
• Gene T. J. Wuu, Arthur J. Bernstein:
  False Deadlock Detection in Distributed Systems. 820-821
  
• Edward H. Bersoff:
  Comments on "Elements of Software Configuration Management". 822
  
• Mohammad G. Khayat, W. S. Breger, M. Freiling, Ted G. Lewis:
  Correction to "A Concurrency Measure". 822, (see: IEEE Trans. Software Eng. 10(6): 804-810(1984))
  

Volume 11, Number 9, September 1985

• Cindy Wilson, Leon J. Osterweil:
  Omega - A Data Flow Analysis Tool for the C Programming Language. 832-838
  
• Robert Troy, Ramadan Moawad:
  Assessment of Software Reliability Models. 839-849
  
• Stephen S. Yau, James S. Collofello:
  Design Stability Measures for Software Maintenance. 849-856
  
• Farokh B. Bastani:
  On the Uncertainty in the Correctness of Computer Programs. 857-864
  
• Leszek Lilien, Bharat K. Bhargava:
  Database Integrity Block Construct: Concepts and Design Issues. 865-885
  
• C. V. Ramamoorthy, Siyi Terry Dong, Yutaka Usuda:
  An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol. 886-908
  
• Harry M. Sneed, András Mérey:
  Automated Software Quality Assurance. 909-916
  
• Thomas J. McCabe, G. Gordon Schulmeyer:
  System Testing Aided by Structured Analysis: A Practical Experience. 917-921
  
• Benjamin W. Wah, Chee Fen Yu:
  Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search. 923-934
  
• Myron S. Karasik:
  Environmental Testing Techniques for Software Certification. 934-938
  
• Brian P. McCune, Richard M. Tong, Jeffrey S. Dean, Daniel G. Shapiro:
  RUBRIC: A System for Rule-Based Information Retrieval. 939-945
  
• Motoei Azuma, Tetsu Tabata, Yoshihiro Oki, Susumu Kamiya:
  SPD: A Humanized Documentation Technology. 945-953
  
• Makoto Yoshida, Kyoko Mizumachi, Atsushi Wakino, Ikuo Oyake, Yutaka Matsushita:
  Time and Cost Evaluation Schemes of Multiple Copies of Data in Distributet Database Systems. 954-959
  
• Clement T. Yu, Man-Keung Siu, K. Lam, C. H. Chen:
  Adaptive File Allocation in Star Computer Network. 959-965
  
• C. Robert Carlson, Adarsh K. Arora:
  Toward the Next Generation of Data Modeling Tools. 966-970
  
• Carolyn Cline, Howard Jay Siegel:
  Augmenting Ada for SIMD Parallel Processing. 970-977
  
• Carl W. Doerflinger, Victor R. Basili:
  Monitoring Software Development Through Dynamic Variables. 978-985
  
• David Keirsey, J. Mitchell, B. Bullock, T. Nussmeier, David Y. Tseng:
  Autonomous Vehicle Control Using Al Techniques. 986-992
  

Volume 11, Number 10, October 1985

• Aaron H. Konstam, Donald E. Wood:
  Software Science Applied to APL. 994-1000
  
• Clyde P. Kruskal, Alan Weiss:
  Allocating Independent Subtasks on Parallel Processors. 1001-1016
  
• Fabio Panzieri, Brian Randell:
  Interfacing UNIX to Data Communications Networks. 1016-1032
  
• Ray Ford, Keith W. Miller:
  Abstract Data Type Development and Implementation: An Example. 1033-1037
  
• Arie Shoshani, Harry K. T. Wong:
  Statistical and Scientific Database Issues. 1040-1047
  
• Mostafa A. Bassiouni:
  Data Compression in Scientific and Statistical Databases. 1047-1058
  
• Setrag Khoshafian, Douglas M. Bates, David J. DeWitt:
  Efficient Support of Statistical Operations. 1058-1070
  
• Gultekin Özsoyoglu, Z. Meral Özsoyoglu:
  Statistical Database Query Languages. 1071-1081
  
• Neil C. Rowe:
  Antisampling for Estimation: An Overview. 1081-1091
  
• Stephen F. Lundstrom, Earl E. Swartzlander Jr.:
  Foreword: Advances in Distributed Computing Systems. 1092-1096
  
• Arbee L. P. Chen, Victor O. K. Li:
  An Optimal Algorithm for Processing Distributed Star Queries. 1097-1107
  
• Donald M. Topkis:
  Concurrent Broadcast for Information Dissemination. 1107-1112
  
• James P. Huang:
  Modeling of Software Partition for Distributed Real-Time Applications. 1113-1126
  
• Kwei-Jay Lin, John D. Gannon:
  Atomic Remote Procedure Call. 1126-1135
  
• Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes:
  Synchronized Distributed Termination. 1136-1140
  
• John A. Stankovic:
  Stability and Distributed Scheduling Algorithms. 1141-1152
  
• Lionel M. Ni, Chong-Wei Xu, Thomas B. Gendreau:
  A Distributed Drafting Algorithm for Load Balancing. 1153-1161
  
• Keith A. Lantz, William I. Nowicki, Marvin Theimer:
  An Empirical Study of Distributed Application Performance. 1162-1174
  
• Amit P. Sheth, Anoop Singhal, Ming T. Liu:
  An Analysis of the Effect of Network Parameters on the Performance of Distributed Database Systems. 1174-1184
  
• Cauligi S. Raghavendra, Salim Hariri:
  Reliability Optimization in The Design of Distributed Systems. 1184-1193
  
• Sol M. Shatz:
  Post-Failure Reconfiguration of CSP Programs. 1193-1202
  
• Alexander Thomasian, Paul F. Bay:
  Integrated Performance Models for Distributed Processing in Computer Communication Networks. 1203-1216
  
• Kumkum Garg:
  An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets. 1216-1225
  
• M. Tamer Özsu:
  Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism. 1225-1240
  
• Mohamed G. Gouda, Hui-Seng Lee:
  Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines. 1240-1251
  

Volume 11, Number 11, November 1985

• Jack Mostow:
  Foreword What is AI? And what Does It Have to Do with Software Engineering? 1253-1256
  
• Robert Balzer:
  A 15 Year Perspective on Automatic Programming. 1257-1268
  
• Stephen Fickas:
  Automating the Transformational Development of Software. 1268-1277
  
• Douglas R. Smith, Gordon Kotik, Stephen J. Westfold:
  Research on Knowledge-Based Software Environments at Kestrel Institute. 1278-1295
  
• Richard C. Waters:
  The Programmer's Apprentice: A Session with KBEmacs. 1296-1320
  
• David R. Barstow:
  Domain-Specific Automatic Programming. 1321-1336
  
• Robert Neches, William R. Swartout, Johanna D. Moore:
  Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development. 1337-1351
  
• Beth Adelson, Elliot Soloway:
  The Role of Domain Experience in Software Design. 1351-1360
  
• Elaine Kant:
  Understanding and Automating Algorithm Design. 1361-1374
  
• David M. Steier, Elaine Kant:
  The Roles of Execution and Analysis in Algorithm Design. 1375-1386
  
• Jon Doyle:
  Expert Systems and the ``Myth'' of Symbolic Reasoning. 1386-1390
  
• P. A. Subrahmanyam:
  The ``Software Engineering'' of Expert Systems: Is Prolog Appropriate? 1391-1400
  
• Daniel G. Bobrow:
  If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms. 1401-1408
  

Volume 11, Number 12, December 1985

• Amrit L. Goel, Farokh B. Bastani:
  Foreword Software Reliability. 1409-1410
  
• Amrit L. Goel:
  Software Reliability Models: Assumptions, Limitations, and Applicability. 1411-1423
  
• Kazuhira Okumoto:
  A Statistical Method for Software Quality Control. 1424-1430
  
• Shigeru Yamada, Shunji Osaki:
  Software Reliability Growth Modeling: Models and Applications. 1431-1437
  
• Ravishankar K. Iyer, David J. Rossetti:
  Effect of System Workload on Operating System Reliability: A Study on IBM 3081. 1438-1448
  
• Joseph P. Cavano:
  Toward High Confidence Software. 1449-1455
  
• Nozer D. Singpurwalla, Refik Soyer:
  Assessing (Software) Reliability Growth Using a Random Coefficient Autoregressive Process and Its Ramifications. 1456-1464
  
• William S. Jewell:
  Bayesian Extensions to a Basic Model of Software Reliability. 1465-1471
  
• Sheldon M. Ross:
  Software Reliability: The Stopping Rule Problem. 1472-1476
  
• Debra J. Richardson, Lori A. Clarke:
  Partition Analysis: A Method Combining Testing and Verification. 1477-1490
  
• Algirdas Avizienis:
  The N-Version Approach to Fault-Tolerant Software. 1491-1501
  
• Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding:
  Software Fault Tolerance: An Evaluation. 1502-1510
  
• Dave E. Eckhardt, Larry D. Lee:
  A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors. 1511-1517
  

Last update Tue May 21 19:52:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page