Scheduled System Maintenance
On Tuesday, September 26, IEEE Xplore will undergo scheduled maintenance from 1:00-4:00 PM ET.
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

IEEE Transactions on Software Engineering

Issue 2 • June 1976

Filter Results

Displaying Results 1 - 17 of 17
  • IEEE Transactions on Software Engineering - Table of contents

    Publication Year: 1976, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (395 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1976, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (289 KB)
    Freely Available from IEEE
  • Goal-Directed Program Transformation

    Publication Year: 1976, Page(s):69 - 80
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2760 KB)

    Program development often proceeds by transforming simple, clear programs into complex, involuted, but more efficient ones. This paper examines ways this process can be rendered more systematic. We show how analysis of program performance, partial evaluation of functions, and abstraction of recursive function definitions from recurring subgoals can be combined to yield many global transformations ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming-in-the-Large Versus Programming-in-the-Small

    Publication Year: 1976, Page(s):80 - 86
    Cited by:  Papers (171)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2640 KB)

    We distinguish the activity of writing large programs from that of writing small ones. By large programs we mean systems consisting of many small programs (modules), usually written by different people. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Problem-Reduction Approach to Proving Simulation Between Programs

    Publication Year: 1976, Page(s):87 - 96
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3392 KB)

    System correctness often presents itself as the problem of showing that two programs, the "specification" and the "implementation," are in some sense equivalent. Such a concept of equivalence is supplied by Milner's definition of simulation between programs. This paper presents a problem-reduction approach to proving simulation, and describes an interactive system designed for this purpose. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Design of an Experiment to Model Data Base System Performance

    Publication Year: 1976, Page(s):97 - 106
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2888 KB)

    A statistical design of an experiment for modeling the performance (access time) of a data base (DB) system in a controlled environment has been outlined. A three-factor pilot experiment with retrieval sequence, logical view (combined with access method), and target segment type as factors was designed and the results analyzed for a specific IMS batch DB. It was found that: 1) the variation of seq... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributing a Data Base with Logical Associations on a Computer Network for Parallel Searching

    Publication Year: 1976, Page(s):106 - 113
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3000 KB)

    The problem of distributing a data base (with logical associations between segment types) on a computer network such that multiple segment types satisfying a query can be retrieved in paralel from different nodes has been introduced. Properties of such distributions without redundancy and with redundancy have been discussed. Lower bounds on the number of nodes needed for such distributions have be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Analysis of Some Commercial PL/I Programs

    Publication Year: 1976, Page(s):113 - 120
    Cited by:  Papers (54)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2408 KB)

    The source code for 120 production PL/I programs from several General Motors' commercial computing installations has been collected. The programs have been scanned both manually and automatically. Some data from the scanning process are presented and interpreted. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A General-Purpose Macro Processor as a Poor Man's Compiler-Compiler

    Publication Year: 1976, Page(s):121 - 125
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1984 KB)

    A method for quickly producing compilers for high level languages is described. The technique consists of feeding a description of the language to be translated to a general-purpose macro processor. Used in this way, the macro processor functions as a compiler-compiler, providing automatic parsing, lexical scanning, symbol table operations, and handling of syntactic errors. A complete syntactic an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interactive High-Level Language Direct-Execution Microprocessor System

    Publication Year: 1976, Page(s):126 - 134
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2792 KB)

    It is our habit in writing an English composition that, as we write each word, each phrase, each sentence, and each paragraph, we consciously or unconsciously check the syntax and the semantics of the composition just written. Writing a computer program in a high-level language could be made similar to writing a composition in English. In this case, a highly interactive highlevel language system c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Study of High-Resolution Timing

    Publication Year: 1976, Page(s):135 - 137
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (472 KB)

    This correspondence describes an experimental comparison of timing information provided by a large multiprogramming operating system (OS/360 MVT) with timing information derived directly from a high-resolution hardware clock. The hardware clock was found to be a superior source of timing information. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to "Dynamic Improvement of Locality in Virtual Memory Systems"

    Publication Year: 1976, Page(s): 137
    Request permission for commercial reuse | PDF file iconPDF (96 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Organize a tutorial for your own IEEE Computer Society chapter

    Publication Year: 1976, Page(s): 137-a
    Request permission for commercial reuse | PDF file iconPDF (360 KB)
    Freely Available from IEEE
  • Announcing the IEEE Computer Society's Standing Subscription Plan [advertisement]

    Publication Year: 1976, Page(s): 137
    Request permission for commercial reuse | PDF file iconPDF (220 KB)
    Freely Available from IEEE
  • if your computer engineering library doesn't subscribe to all 3 it's not complete.

    Publication Year: 1976, Page(s): 137
    Request permission for commercial reuse | PDF file iconPDF (1340 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1976, Page(s): 137-d
    Request permission for commercial reuse | PDF file iconPDF (160 KB)
    Freely Available from IEEE
  • Computers... by the millions, for the millions

    Publication Year: 1976, Page(s): 137-e
    Request permission for commercial reuse | PDF file iconPDF (1280 KB)
    Freely Available from IEEE

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org