Volume 11, Number 1, January 1985
Reliability and Testing
: Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them.
David B. Lomet
: Making Pointers Safe in System Programming Languages.
Natural Language Processing
Performance Evaluation and Compilers
: A Model for the Basic Block Protocol of the Cambridge Ring.
: Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations.
Volume 11, Number 2, February 1985
Ian J. Hayes
: Applying Formal Specification to Software Development in Industry.
: On the File Design Problem for Partial Match Retrieval.
Volume 11, Number 3, March 1985
Volume 11, Number 4, April 1985
, Georg Gottlob
: Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries.
: Performance Evaluation of Centralized Databases with Static Locking.
: An Approach to the Modeling of Software Testing with Some Applications.
: Communication and Synchronization Primitives for Distributed Programs.
: Variations on a Method for Representing Data Items of Unlimited Length.
Volume 11, Number 5, May 1985
Volume 11, Number 6, June 1985
Volume 11, Number 7, July 1985
Sakti P. Ghosh
: An Application of Statistical Databases in Manufacturing Testing.
Volume 11, Number 8, August 1985
Uli H. Chi
: Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches.
Leonard J. Bass
: An Approach to User Specification of Interactive Display Interfaces.
Anthony I. Wasserman
: Extending State Transition Diagrams for the Specification of Human-Computer Interaction.
: An Aspect of Aesthetics in Human-Computer Communications: Pretty Windows.
Farokh B. Bastani
: Experiences with a Feedback Version Development Methodology.
: Towards a Theory of Forward Error Recovery.
Volume 11, Number 9, September 1985
Farokh B. Bastani
: On the Uncertainty in the Correctness of Computer Programs.
Myron S. Karasik
: Environmental Testing Techniques for Software Certification.
Volume 11, Number 10, October 1985
Neil C. Rowe
: Antisampling for Estimation: An Overview.
James P. Huang
: Modeling of Software Partition for Distributed Real-Time Applications.
Sol M. Shatz
: Post-Failure Reconfiguration of CSP Programs.
: An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets.
M. Tamer Özsu
: Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism.
Volume 11, Number 11, November 1985
: Foreword What is AI? And what Does It Have to Do with Software Engineering?
: A 15 Year Perspective on Automatic Programming.
: Automating the Transformational Development of Software.
: Understanding and Automating Algorithm Design.
: Expert Systems and the ``Myth'' of Symbolic Reasoning.
P. A. Subrahmanyam
: The ``Software Engineering'' of Expert Systems: Is Prolog Appropriate?
Daniel G. Bobrow
: If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms.
Volume 11, Number 12, December 1985
Amrit L. Goel
: Software Reliability Models: Assumptions, Limitations, and Applicability.
William S. Jewell
: Bayesian Extensions to a Basic Model of Software Reliability.
Sheldon M. Ross
: Software Reliability: The Stopping Rule Problem.