Volume 9, Number 1, January 1983

• 
  Richard T. Snodgrass: An Object-Oriented Command Language. 1-8
• 
  Robert P. Cook, Thomas J. LeBlanc: A Symbol Table Abstraction to Implement Languages with Explicit Scope Control. 8-12
• 
  David Alex Lamb, Paul N. Hilfinger: Simulation of Procedure Variables Using Ada Tasks. 13-15
• 
  Paolo Ancilotti, Maurelio Boari, Norma Lijtmaer: Language Features for Access Control. 16-25
• 
  Jun-Ichi Aoe, Yoneo Yamamoto, Ryosaku Shimada: A Practical Method for Reducing Weak Precedence Parsers. 25-30
• 
  Lawrence A. Rowe, Kurt A. Shoens: Programming Language Constructs for Screen Definition. 31-39
• 
  Barry E. Jacobs, Cynthia A. Walczak: A Generalized Query-by-Example Data Manipulation Language Based on Database Logic. 40-57

• 
  Peter M. G. Apers, Alan R. Hevner, S. Bing Yao: Optimization Algorithms for Distributed Queries. 57-68
• 
  Edwin J. Lau, Domenico Ferrari: Program Restructuring in a Multilevel Virtual Memory. 69-79
• 
  Tohru Nishigaki: Experiments on the Knee Criterion in a Multiprogrammed Computer System. 79-86
• 
  Clement H. C. Leung: Analysis of Secondary Storage Fragmentation. 87-93
• 
  Cary A. Coutant, Ralph E. Griswold, David R. Hanson: Measuring the Performance and Behavior of Icon Programs. 93-103
• 
  R. R. Oldehoeft: Program Graphs and Execution Behavior. 103-108
• 
  Raymond A. Marie, Jean M. Pellaumail: Steady-State Probabilities for a Queue with a General Service Distribution and State-Dependent Arrivals. 109-113
• 
  Carl A. Sunshine, David H. Thompson, Roddy W. Erickson, Susan L. Gerhart, Daniel Schwabe: Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models". 113, (see: IEEE Trans. Software Eng. 8(5): 460-489(1982))

Volume 9, Number 2, March 1983

• 
  John D. Musa: Guest Editorial: COMPSAC '81 Special Section. 118-119
• 
  Lisa F. Rubin: Syntax-Directed Pretty Printing - A First Step Towards a Syntax-Directed Editor. 119-127
• 
  John P. Kearns, Samuel DeFazio: Locality of Reference in Hierarchical Database Systems. 128-134
• 
  Maggie Y. L. Ip, Lawrence V. Saxton, Vijay V. Raghavan: On the Selection of an Optimal Set of Indexes. 135-143
• 
  Duen-Ping Tsay, Ming T. Liu: MIKE: A Network Operating System for the Distributed Double-Loop Computer Network. 143-154
• 
  Vincent Yun Shen, Samuel D. Conte, Hubert E. Dunsmore: Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support. 155-165
• 
  Neal S. Coulter: Software Science and Cognitive Psychology. 166-171
• 
  Roberto M. Negrini, Mariagiovanna Sami: Some Properties Derived from Structural Analysis of Program Graph Models. 172-178
• 
  Sidney L. Getz, George Kalligiannis, Stephen R. Schach: A Very High-Level Interactive Graphical Trace for the Pascal Heap. 179-185
• 
  Peter Schulthess, Christian Jacobi: Anatomy of a Small Pascal Compiler. 191
• 
  Samuel T. Redwine Jr.: An Engineering Approach to Software Test Data Design. 191-200
• 
  Jean René Ménand, Monique Becker: Modeling a Multiprocessor Architecture. 201-210
• 
  Vincent Hayward, A. Osorio: A System to Automatically Analyze Assembled Programs. 210-213

Volume 9, Number 3, May 1983

• 
  Patricia G. Selinger: State-of-the-Art Issues in Distributed Databases. 218
• 
  Dale Skeen, Michael Stonebraker: A Formal Model of Crash Recovery in a Distributed System. 219-228
• 
  Eugene Wong: Dynamic Rematerialization: Processing Distributed Queries Using Redundant Data. 228-232
• 
  Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai: Analyzing Concurrency Control Algorithms When User and System Operations Differ. 233-239
• 
  Douglas Stott Parker Jr., Gerald J. Popek, Gerard Rudisin, Allen Stoughton, Bruce J. Walker, Evelyn Walton, Johanna M. Chow, David A. Edwards, Stephen Kiser, Charles S. Kline: Detection of Mutual Inconsistency in Distributed Systems. 240-247
• 
  Jan van den Bos, Marinus J. Plasmeijer, Pieter H. Hartel: Input-Output Tools: A Language Facility for Interactive and Real-Time Systems. 247-259
• 
  Luigi Logrippo, Douglas R. Skuce: File Structures, Program Structures, and Attributed Grammars. 260-266
• 
  Noah S. Prywes, Amir Pnueli: Compilation of Nonprocedural Specifications into Computer Programs. 267-279
• 
  Frank G. Pagan: A Diagrammatic Notation for Abstract Syntax and Abstract Structured Objects. 280-289
• 
  Glenn H. MacEwen: The Design for a Secure System Based on Program Analysis. 289-299
• 
  Domenico Ferrari, Yiu-Yo Yih: VSWS: The Variable-Interval Sampled Working Set Policy. 299-305
• 
  M. W. Du, T. M. Hsieh, K. F. Jea, D. W. Shieh: The Study of a New Perfect Hash Scheme. 305-313
• 
  Mukul K. Sinha: Nonsensitive Data and Approximate Transactions. 314-322
• 
  Harvey S. Koch, Peter Kubat: Optimal Release Time of Computer Software. 323-327
• 
  Paul R. McMullin, John D. Gannon: Combining Testing with Formal Specifications: A Case Study. 328-335
• 
  Steven J. Zeil: Testing for Perturbations of Program Statements. 335-346
• 
  Janusz W. Laski, Bogdan Korel: A Data Flow Oriented Program Testing Strategy. 347-354
• 
  Thomas Anderson, John C. Knight: A Framework for Software Fault Tolerance in Real-Time Systems. 355-364
• 
  Rangasami L. Kashyap, B. John Oommen: The Noisy Substring Matching Problem. 365-370
• 
  J. R. Jagannathan, R. Vasudevan: Comments on "Protocols for Deadlock Detection in Distributed Database Systems". 371, (see: IEEE Trans. Software Eng. 8(6): 554-557(1982))

Volume 9, Number 4, July 1983

• 
  Igor Hawryszkiewycz: A Semantic Design Method. 373-384
• 
  Eric D. Carlson, James R. Rhyne, Daniel L. Weller: Software Structure for Display Management Systems. 385-394
• 
  John R. White: On the Multiple Implementation of Abstract Data Types Within a Computation. 395-411
• 
  I. V. Ramakrishnan, James C. Browne: A Paradigm for the Design of Parallel Algorithms with Applications. 411-415
• 
  Werner E. Kluge, Heinz Schlütter: Petri Net Models for the Evaluation of Applicative Programs Based on lambda-Expressions. 415-427
• 
  Jochen Ludewig: ESPRESO - A System for Process Control Software Specification. 427-436
• 
  Sushil Jajodia, Jian Liu, Peter A. Ng: A Scheme of Parallel Processing for MIMD Systems. 436-445
• 
  Peter Wegner, Scott A. Smolka: Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. 446-462
• 
  Guy Bernard: Interconnection of Local Computer Networks: Modeling and Optimization Problems. 463-470
• 
  Bharat K. Bhargava, Cecil T. Hua: A Causal Model for Analyzing Distributed Concurrency Control Algorithms. 470-486
• 
  Stefano Ceri, Shamkant B. Navathe, Gio Wiederhold: Distribution Design of Logical Database Schemas. 487-504
• 
  To-Yat Cheung: Graph Traversal Techniques and the Maximum Flow Problem in Distributed Computation. 504-512
• 
  Laxmi N. Bhuyan, Dharma P. Agrawal: Performance Analysis of FFT Algorithms on Multiprocessor Systems. 512-521
• 
  Ronald L. Larsen, Ashok K. Agrawala: Control of a Heterogeneous Two-Server Exponential Queueing System. 522-526
• 
  Abraham Silberschatz: Extending CSP to Allow Dynamic Resource Management. 527-531
• 
  Michael J. Ferguson: Weighted Processor Sharing-Results for Hyperexponential Servers. 531-535
• 
  Abraham Silberschatz: A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity. 535-538

Volume 9, Number 5, September 1983

• 
  Leland L. Beck, Thomas E. Perkins: A Survey of Software Engineering Practice: Tools, Methods, and Results. 541-561
• 
  Roger D. H. Warburton: Managing and Predicting the Costs of Real-Time Software. 562-569
• 
  Nancy G. Leveson, Peter R. Harvey: Analyzing Software Safety. 569-579
• 
  Constance L. Heitmeyer, John D. McLean: Abstract Requirements Specification: A New Approach and Its Application. 580-589
• 
  Robert A. Nelson, Lois M. Haibt, Peter B. Sheridan: Casting Petri Nets into Programs. 590-602
• 
  James E. Coolahan Jr., Nick Roussopoulos: Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. 603-616
• 
  Sushil Jajodia, Peter A. Ng, Frederick N. Springsteel: The Problem of Equivalence for Entity-Relationship Diagrams. 617-630
• 
  Iraj Kalantari, Gerard McDonald: A Data Structure and an Algorithm for the Nearest Point Problem. 631-634

Volume 9, Number 6, November 1983

• 
  Bill Curtis: Software Metrics: Guest Editor's Introduction. 637-638
• 
  Allan J. Albrecht, John E. Gaffney Jr.: Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation. 639-648
• 
  Charles A. Behrens: Measuring the Productivity of Computer Systems Development Activities with Function Points. 648-652
• 
  Victor R. Basili, Richard W. Selby, Tsai-Yun Phillips: Metric Analysis and Data Validation Across Fortran Projects. 652-663
• 
  Victor R. Basili, David H. Hutchens: An Empirical Study of a Syntactic Complexity Family. 664-672
• 
  Leon J. Osterweil: Toolpack - An Experimental Software Development Environment Research Project. 673-685
• 
  John S. Gourlay: A Mathematical Framework for the Investigation of Testing. 686-709
• 
  Bo-Shoe Chen, Raymond T. Yeh: Formal Specification and Verification of Distributed Systems. 710-722
• 
  Krithi Ramamritham, Robert M. Keller: Specification of Synchronizing Processes. 722-733
• 
  Stephen S. Yau, Mehmet Ufuk Çaglayan: Distributed Software System Design Representation Using Modified Petri Nets. 733-745
• 
  Martin Trachtenberg: Order and Difficulty of Debugging. 746-747

last updated on Tue May 21 03:33:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page