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 BibTeX
- David B. Lomet:
Making Pointers Safe in System Programming Languages.
87-96 BibTeX
Natural Language Processing
Performance Evaluation and Compilers
Application
Networks
Operating Systems
- Ariel Pashtan:
Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations.
136-141 BibTeX
Volume 11,
Number 2,
February 1985
- David Lee Tuomenoksa, Howard Jay Siegel:
Task Scheduling on the PASM Parallel Processing System.
145-157 BibTeX
- David M. Weiss, Victor R. Basili:
Evaluating Software Development by Analysis of Changes: Some Data from the Software Engineering Laboratory.
157-168 BibTeX
- Ian J. Hayes:
Applying Formal Specification to Software Development in Industry.
169-178 BibTeX
- Taiichi Yuasa, Reiji Nakajima:
IOTA: A Modular Programming System.
179-187 BibTeX
- Judith B. Peachey, Richard B. Bunt, Charles J. Colbourn:
Some Empirical Observations on Program Behavior with Applications to Program Restructuring.
188-193 BibTeX
- Simonetta Balsamo, Giuseppe Iazeolla:
Product-Form Synthesis of Queueing Networks.
194-199 BibTeX
- Shojiro Muro, Toshihide Ibaraki, Hidehiro Miyajima, Toshiharu Hasegawa:
Evaluation of the File Redundancy in Distributed Database Systems.
199-205 BibTeX
- Arvola Chan, Robert Gray:
Implementing Distributed Read-Only Transactions.
205-212 BibTeX
- Hung-Chang Du:
On the File Design Problem for Partial Match Retrieval.
213-222 BibTeX
- Ravishankar K. Iyer, Paola Velardi:
Hardware-Related Software Errors: Measurement and Analysis.
223-231 BibTeX
- Howard A. Jensen, K. Vairavan:
An Experimental Study of Software Metrics for Real-Time Software.
231-234 BibTeX
- Edward G. Coffman Jr., T. T. Kadota, Larry A. Shepp:
On the Asymptotic Optimality of First-Fit Storage Allocation.
235-239 BibTeX
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 BibTeX
- Stefano Ceri, Georg Gottlob:
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries.
324-345 BibTeX
- Alexander Thomasian:
Performance Evaluation of Centralized Databases with Static Locking.
346-355 BibTeX
- Nick Roussopoulos, Raymond T. Yeh:
SEES - A Software Testing Environment Support System.
355-366 BibTeX
- Sandra Rapps, Elaine J. Weyuker:
Selecting Software Test Data Using Data Flow Information.
367-375 BibTeX
- Thomas Downs:
An Approach to the Modeling of Software Testing with Some Applications.
375-386 BibTeX
- Douglas Comer, Narain H. Gehani:
Flex: A High-Level Language for Specifying Customized Microprocessors.
387-396 BibTeX
- N. Natarajan:
Communication and Synchronization Primitives for Distributed Programs.
396-416 BibTeX
- Michael K. Molloy:
Discrete Time Stochastic Petri Nets.
417-423 BibTeX
- Jeff Kramer, Jeff Magee:
Dynamic Configuration for Distributed Systems.
424-436 BibTeX
- Ching-Chy Wang, Mary Lou Soffa:
Eager Reclamation.
437-439 BibTeX
- Fabrizio Luccio:
Variations on a Method for Representing Data Items of Unlimited Length.
439-441 BibTeX
Volume 11,
Number 5,
May 1985
Volume 11,
Number 6,
June 1985
- Virgil D. Gligor, Peter A. Ng:
Foreword.
497-501 BibTeX
- Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi:
Implementing Fault-Tolerant Distributed Objects.
502-508 BibTeX
- Martin S. McKendry:
Ordering Actions for Visibility.
509-519 BibTeX
- 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 BibTeX
- Benny Chor, Brian A. Coan:
A Simple and Efficient Randomized Byzantine Agreement Algorithm.
531-539 BibTeX
- Kenneth J. Perry:
Randomized Byzantine Agreement.
539-546 BibTeX
- Özalp Babaoglu, Rogério Drummond:
Streets of Byzantium: Network Architectures for Fast Reliable Broadcasts.
546-554 BibTeX
- Richard D. Schlichting:
A Technique for Estimating Performance of Fault-Tolerant Programs.
555-563 BibTeX
- Nancy D. Griffeth, John A. Miller:
Performance Modeling of Database Recovery Protocols.
564-572 BibTeX
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 BibTeX
- David Farmer, Roger King, David Myers:
The Semantic Database Constructor.
583-591 BibTeX
- Sakti P. Ghosh:
An Application of Statistical Databases in Manufacturing Testing.
591-598 BibTeX
- Susan Darling Urban, Joseph E. Urban, Wayne D. Dominick:
Utilizing an Executable Specification Language for an Information System.
598-605 BibTeX
- Benjamin W. Wah, Yao-Nan Lien:
Design of Distributed Databases on Local Computer Systems with a Multiaccess Network.
606-619 BibTeX
- Arthur M. Keller, Marianne Winslett:
On the Use of an Extended Relational Model to Handle Changing Incomplete Information.
620-633 BibTeX
- Christine Parent, Stefano Spaccapietra:
An Algebra for a General Entity-Relation1hip Model.
634-643 BibTeX
- David Maier, David Rozenshtein, Jacob Stein:
Representing Roles in Universal Scheme Interfaces.
644-652 BibTeX
Volume 11,
Number 8,
August 1985
- Valdis Berzins, Michael Gray:
Analysis and Design in MSG.84: Formalizing Functional Specifications.
657-670 BibTeX
- Uli H. Chi:
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches.
671-685 BibTeX
- Leonard J. Bass:
An Approach to User Specification of Interactive Display Interfaces.
686-698 BibTeX
- Anthony I. Wasserman:
Extending State Transition Diagrams for the Specification of Human-Computer Interaction.
699-713 BibTeX
- Jason Gait:
An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows.
714-717 BibTeX
- Farokh B. Bastani:
Experiences with a Feedback Version Development Methodology.
718-723 BibTeX
- Shi-Kuo Chang, Wu-Lung Chan:
Transformation and Verification of Office Procedures.
724-734 BibTeX
- Ali Mili:
Towards a Theory of Forward Error Recovery.
735-748 BibTeX
- David H. Hutchens, Victor R. Basili:
System Structure Analysis: Clustering with Data Bindings.
749-757 BibTeX
- Armen Gabrielian, Lawrence McNamee, David J. Trawick:
The Qualified Function Approach to Analysis of Program Behavior and Performance.
758-773 BibTeX
- Krithi Ramamritham:
Synthesizing Code for Resource Controllers.
774-783 BibTeX
- Vincenzo Ambriola, Fosca Giannotti, Dino Pedreschi, Franco Turini:
Symbolic Semantics and Program Reduction.
784-794 BibTeX
- Clement T. Yu, Chin-Chen Chang, Marjorie Templeton, David Brill, Eric Lund:
Query Processing in a Fragmented Relational Distributed System: Mermaid.
795-810 BibTeX
- Shi-Kuo Chang, Erland Jungert, Stefano Levialdi, Genoveffa Tortora, Tadao Ichikawa:
An Image Processing Language with Icon-Assisted Navigation.
811-819 BibTeX
- Gene T. J. Wuu, Arthur J. Bernstein:
False Deadlock Detection in Distributed Systems.
820-821 BibTeX
- Edward H. Bersoff:
Comments on "Elements of Software Configuration Management".
822 BibTeX
- Mohammad G. Khayat, W. S. Breger, M. Freiling, Ted G. Lewis:
Correction to "A Concurrency Measure".
822 BibTeX
,
->IEEE Trans. Software Eng. 10(6): 804-810(1984) BibTeX
Volume 11,
Number 9,
September 1985
- Cindy Wilson, Leon J. Osterweil:
Omega - A Data Flow Analysis Tool for the C Programming Language.
832-838 BibTeX
- Robert Troy, Ramadan Moawad:
Assessment of Software Reliability Models.
839-849 BibTeX
- Stephen S. Yau, James S. Collofello:
Design Stability Measures for Software Maintenance.
849-856 BibTeX
- Farokh B. Bastani:
On the Uncertainty in the Correctness of Computer Programs.
857-864 BibTeX
- Leszek Lilien, Bharat K. Bhargava:
Database Integrity Block Construct: Concepts and Design Issues.
865-885 BibTeX
- 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 BibTeX
- Harry M. Sneed, András Mérey:
Automated Software Quality Assurance.
909-916 BibTeX
- Thomas J. McCabe, G. Gordon Schulmeyer:
System Testing Aided by Structured Analysis: A Practical Experience.
917-921 BibTeX
- Benjamin W. Wah, Chee Fen Yu:
Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search.
923-934 BibTeX
- Myron S. Karasik:
Environmental Testing Techniques for Software Certification.
934-938 BibTeX
- Brian P. McCune, Richard M. Tong, Jeffrey S. Dean, Daniel G. Shapiro:
RUBRIC: A System for Rule-Based Information Retrieval.
939-945 BibTeX
- Motoei Azuma, Tetsu Tabata, Yoshihiro Oki, Susumu Kamiya:
SPD: A Humanized Documentation Technology.
945-953 BibTeX
- 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 BibTeX
- Clement T. Yu, Man-Keung Siu, K. Lam, C. H. Chen:
Adaptive File Allocation in Star Computer Network.
959-965 BibTeX
- C. Robert Carlson, Adarsh K. Arora:
Toward the Next Generation of Data Modeling Tools.
966-970 BibTeX
- Carolyn Cline, Howard Jay Siegel:
Augmenting Ada for SIMD Parallel Processing.
970-977 BibTeX
- Carl W. Doerflinger, Victor R. Basili:
Monitoring Software Development Through Dynamic Variables.
978-985 BibTeX
- David Keirsey, J. Mitchell, B. Bullock, T. Nussmeier, David Y. Tseng:
Autonomous Vehicle Control Using Al Techniques.
986-992 BibTeX
Volume 11,
Number 10,
October 1985
- Aaron H. Konstam, Donald E. Wood:
Software Science Applied to APL.
994-1000 BibTeX
- Clyde P. Kruskal, Alan Weiss:
Allocating Independent Subtasks on Parallel Processors.
1001-1016 BibTeX
- Fabio Panzieri, Brian Randell:
Interfacing UNIX to Data Communications Networks.
1016-1032 BibTeX
- Ray Ford, Keith W. Miller:
Abstract Data Type Development and Implementation: An Example.
1033-1037 BibTeX
- Arie Shoshani, Harry K. T. Wong:
Statistical and Scientific Database Issues.
1040-1047 BibTeX
- Mostafa A. Bassiouni:
Data Compression in Scientific and Statistical Databases.
1047-1058 BibTeX
- Setrag Khoshafian, Douglas M. Bates, David J. DeWitt:
Efficient Support of Statistical Operations.
1058-1070 BibTeX
- Gultekin Özsoyoglu, Z. Meral Özsoyoglu:
Statistical Database Query Languages.
1071-1081 BibTeX
- Neil C. Rowe:
Antisampling for Estimation: An Overview.
1081-1091 BibTeX
- Stephen F. Lundstrom, Earl E. Swartzlander Jr.:
Foreword: Advances in Distributed Computing Systems.
1092-1096 BibTeX
- Arbee L. P. Chen, Victor O. K. Li:
An Optimal Algorithm for Processing Distributed Star Queries.
1097-1107 BibTeX
- Donald M. Topkis:
Concurrent Broadcast for Information Dissemination.
1107-1112 BibTeX
- James P. Huang:
Modeling of Software Partition for Distributed Real-Time Applications.
1113-1126 BibTeX
- Kwei-Jay Lin, John D. Gannon:
Atomic Remote Procedure Call.
1126-1135 BibTeX
- Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes:
Synchronized Distributed Termination.
1136-1140 BibTeX
- John A. Stankovic:
Stability and Distributed Scheduling Algorithms.
1141-1152 BibTeX
- Lionel M. Ni, Chong-Wei Xu, Thomas B. Gendreau:
A Distributed Drafting Algorithm for Load Balancing.
1153-1161 BibTeX
- Keith A. Lantz, William I. Nowicki, Marvin Theimer:
An Empirical Study of Distributed Application Performance.
1162-1174 BibTeX
- 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 BibTeX
- Cauligi S. Raghavendra, Salim Hariri:
Reliability Optimization in The Design of Distributed Systems.
1184-1193 BibTeX
- Sol M. Shatz:
Post-Failure Reconfiguration of CSP Programs.
1193-1202 BibTeX
- Alexander Thomasian, Paul F. Bay:
Integrated Performance Models for Distributed Processing in Computer Communication Networks.
1203-1216 BibTeX
- Kumkum Garg:
An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets.
1216-1225 BibTeX
- M. Tamer Özsu:
Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism.
1225-1240 BibTeX
- Mohamed G. Gouda, Hui-Seng Lee:
Proving Liveness and Termination of Systolic Arrays Using Communication Finite State Machines.
1240-1251 BibTeX
Volume 11,
Number 11,
November 1985
Volume 11,
Number 12,
December 1985
- Amrit L. Goel, Farokh B. Bastani:
Foreword Software Reliability.
1409-1410 BibTeX
- Amrit L. Goel:
Software Reliability Models: Assumptions, Limitations, and Applicability.
1411-1423 BibTeX
- Kazuhira Okumoto:
A Statistical Method for Software Quality Control.
1424-1430 BibTeX
- Shigeru Yamada, Shunji Osaki:
Software Reliability Growth Modeling: Models and Applications.
1431-1437 BibTeX
- Ravishankar K. Iyer, David J. Rossetti:
Effect of System Workload on Operating System Reliability: A Study on IBM 3081.
1438-1448 BibTeX
- Joseph P. Cavano:
Toward High Confidence Software.
1449-1455 BibTeX
- Nozer D. Singpurwalla, Refik Soyer:
Assessing (Software) Reliability Growth Using a Random Coefficient Autoregressive Process and Its Ramifications.
1456-1464 BibTeX
- William S. Jewell:
Bayesian Extensions to a Basic Model of Software Reliability.
1465-1471 BibTeX
- Sheldon M. Ross:
Software Reliability: The Stopping Rule Problem.
1472-1476 BibTeX
- Debra J. Richardson, Lori A. Clarke:
Partition Analysis: A Method Combining Testing and Verification.
1477-1490 BibTeX
- Algirdas Avizienis:
The N-Version Approach to Fault-Tolerant Software.
1491-1501 BibTeX
- Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding:
Software Fault Tolerance: An Evaluation.
1502-1510 BibTeX
- Dave E. Eckhardt, Larry D. Lee:
A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors.
1511-1517 BibTeX
Copyright © Sun May 17 00:30:41 2009
by Michael Ley (ley@uni-trier.de)
