By Topic

IEEE Transactions on Software Engineering

Issue 2 • Date March 1978

Filter Results

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

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

    Publication Year: 1978, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (232 KB)
    Freely Available from IEEE
  • Control Computations and the Design of Loop Control Structures

    Publication Year: 1978, Page(s):81 - 89
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2672 KB)

    The control computation for a loop in a program is that part of the program concerned with the initialization, incrementation, and testing of the variables that determine the flow of control into, through, and out of the loop. The elements of loop control computations are idenified and their role in structuring our understanding of loops is analyzed. It is argued, through examples drawn from a Pas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Multiple Assignment Statement

    Publication Year: 1978, Page(s):89 - 93
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2592 KB)

    The conventional axiomatic definitions are given for multiple assignment to simple variables and for assignment to a single subscripted variable, along with examples to illustrate their use. The original contributions of this paper are the extension of the definition to include multiple assignment to several subscripted variables, and the development of a nontrivial, practical algorithm in which m... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Informality in Program Specifications

    Publication Year: 1978, Page(s):94 - 103
    Cited by:  Papers (54)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3520 KB)

    This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would still be difficult to write in such a language in the absence of formulation tools. The key to overcoming these diffic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Analysis of Competing Software Reliability Models

    Publication Year: 1978, Page(s):104 - 120
    Cited by:  Papers (137)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4552 KB)

    This paper examines the most widely used reliability models. The models discussed fall into two categories, the data domain and the time domain. Besides tracing the historical development of the various models their advantages and disadvantages are analyzed. This includes models based on discrete as weil as continuous probability distributions. How well a given model performs its purpose in a spec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Comparative Study of Set Associative Memory Mapping Algorithms and Their Use for Cache and Main Memory

    Publication Year: 1978, Page(s):121 - 130
    Cited by:  Papers (45)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2640 KB)

    Set associative page mapping algorithms have become widespread for the operation of cache memories for reasons of cost and efficiency. We show how to calculate analytically the effectiveness of standard bit-selection set associative page mapping or random mapping relative to fully associative (unconstrained mapping) paging. For two miss ratio models, Saltzer's linear model and a mixed geometric mo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance of Storage Management in an Implementation of SNOBOL4

    Publication Year: 1978, Page(s):130 - 137
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3552 KB)

    Results of measuring the performance of the storage management subsystem in an implementation of SNOBOL4 are described. By instrumenting the storage management system, data concerning the size, lifetime, and use of storage blocks were collected. These data, like those obtained from conventional time measurement techniques, were used to locate program inefficiencies. In addition, these measurements... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sorting on STAR

    Publication Year: 1978, Page(s):138 - 146
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2824 KB)

    This paper gives timing comparisons for three sorting algorithms written for the CDC STAR computer. One algorithm is Hoare's Quicksort, which is the fastest or nearly the fastest sorting algorithm for most computers. A second algorithm is a vector version of Quicksort that takes advantage of the STAR's vector operations. The third algorithm is an adaptation of Batcher's sorting algorithm, which ma... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Interactive Use of a Macroprocessor to Generate Operating System Batch Streams

    Publication Year: 1978, Page(s):146 - 148
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1512 KB)

    A technique is described which uses a general-purpose macroprocessor to interactively generate command streams for an operating system. This technique, although not without disadvantages, permits the easy implementation of new and useful high-evel operating system commands. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Call for Papers

    Publication Year: 1978, Page(s): 148
    Request permission for commercial reuse | PDF file iconPDF (1163 KB)
    Freely Available from IEEE
  • Advance Program

    Publication Year: 1978, Page(s): 148
    Request permission for commercial reuse | PDF file iconPDF (435 KB)
    Freely Available from IEEE
  • Call for Papers

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

    Publication Year: 1978, Page(s): 148-e
    Request permission for commercial reuse | PDF file iconPDF (200 KB)
    Freely Available from IEEE
  • Information about the Society

    Publication Year: 1978, Page(s): 148-f
    Request permission for commercial reuse | PDF file iconPDF (184 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