IEEE Transactions on Software Engineering (TSE), Volume 9

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 update Fri May 24 20:57:56 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page