External Links

    Journal: IEEE Trans. Software Eng.

    Volume 9, Issue 6

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

    Volume 9, Issue 5

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

    Volume 9, Issue 4

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

    Volume 9, Issue 3

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

    Volume 9, Issue 2

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

    Volume 9, Issue 1

    1 -- 8Richard T. Snodgrass. An Object-Oriented Command Language
    8 -- 12Robert P. Cook, Thomas J. LeBlanc. A Symbol Table Abstraction to Implement Languages with Explicit Scope Control
    13 -- 15David Alex Lamb, Paul N. Hilfinger. Simulation of Procedure Variables Using Ada Tasks
    16 -- 25Paolo Ancilotti, Maurelio Boari, Norma Lijtmaer. Language Features for Access Control
    25 -- 30Jun-Ichi Aoe, Yoneo Yamamoto, Ryosaku Shimada. A Practical Method for Reducing Weak Precedence Parsers
    31 -- 39Lawrence A. Rowe, Kurt A. Shoens. Programming Language Constructs for Screen Definition
    40 -- 57Barry E. Jacobs, Cynthia A. Walczak. A Generalized Query-by-Example Data Manipulation Language Based on Database Logic
    57 -- 68Peter M. G. Apers, Alan R. Hevner, S. Bing Yao. Optimization Algorithms for Distributed Queries
    69 -- 79Edwin J. Lau, Domenico Ferrari. Program Restructuring in a Multilevel Virtual Memory
    79 -- 86Tohru Nishigaki. Experiments on the Knee Criterion in a Multiprogrammed Computer System
    87 -- 93Clement H. C. Leung. Analysis of Secondary Storage Fragmentation
    93 -- 103Cary A. Coutant, Ralph E. Griswold, David R. Hanson. Measuring the Performance and Behavior of Icon Programs
    103 -- 108R. R. Oldehoeft. Program Graphs and Execution Behavior
    109 -- 113Raymond A. Marie, Jean M. Pellaumail. Steady-State Probabilities for a Queue with a General Service Distribution and State-Dependent Arrivals
    113 -- 0Carl 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
    runs on