Volume 11,
Number 1,
January 1985
Databases
Reliability and Testing
Practice
Theory
Languages
- 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
Natural Language Processing
Performance Evaluation and Compilers
Application
Networks
- Gilbert Harrus:
A Model for the Basic Block Protocol of the Cambridge Ring.
130-136
Operating Systems
- 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
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
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 ,
->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
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
Copyright © Fri Mar 12 17:34:07 2010
by Michael Ley (ley@uni-trier.de)
