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 updated on Mon May 20 03:43:07 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page