By Topic

IEEE Transactions on Software Engineering

Issue 3 • Date Sept. 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 (361 KB)
    Freely Available from IEEE
  • IEEE Computer Society

    Publication Year: 1976, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (210 KB)
    Freely Available from IEEE
  • Constructing Programs from Example Computations

    Publication Year: 1976, Page(s):141 - 153
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3808 KB)

    An autoprogrammer is an interactive computer programming system which automatically constructs computer programs from example computations executed by the user. The example calculations are done in a scratch pad fashion at a computer display using a light pen or other graphic input device, and the system stores a detailed history of all of the steps executed in the process. Then the system automat... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structured Fortran—An Evolution of Standard Fortran

    Publication Year: 1976, Page(s):154 - 176
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5040 KB)

    Fortran is 21 years old; many would say that it has not reached adulthood but senility. Yet it remains the language of use in the overwhelming majority of scientific applications of computers and no end to this situation is in sight. Moreover, its evolution through the standards process is very slow, too slow to give any hope that Fortran will ever in this way become a language in which structured... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Portable Character Processing in Fortran and Fixed Integer Environments

    Publication Year: 1976, Page(s):176 - 185
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4360 KB)

    Many languages, including Fortran, and machines such as most minicomputers have little or no built-in character manipulation capability and yet are often required to process character information. This paper discusses the programming of character processing in such integer environments. Character representation, string-to-word coordinate transformation, packing, and unpacking using several arithme... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of Principal Component Analysis to Multikey Searching

    Publication Year: 1976, Page(s):185 - 193
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2632 KB)

    In this paper, we shall introduce a concept widely used by statisticians, the principal component analysis technique. We shall show that this principal component analysis technique can be used to create new keys from a set of old keys. These new keys are very useful in narrowing down the search domain. We shall also show that the projections on the first principal component direction can be viewed... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Guest Editorial A Case for Software Testin gOr Why Everything We Seem to Learn About Software Development Still Suggests the Need for Testing Or What to Do Until We Achieve "Perfection"

    Publication Year: 1976, Page(s): 194
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (1384 KB)
    Freely Available from IEEE
  • Observations of Fallibility in Applications of Modern Programming Methodologies

    Publication Year: 1976, Page(s):195 - 207
    Cited by:  Papers (18)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4232 KB)

    Errors, inconsistencies, or confusing points are noted in a variety of published algorithms, many of which are being used as examples in formulating or teaching principles of such modern programming methodologies as formal specification, systematic construction, and correctness proving. Common properties of these points of contention are abstracted. These properties are then used to pinpoint possi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reliability of the Path Analysis Testing Strategy

    Publication Year: 1976, Page(s):208 - 215
    Cited by:  Papers (95)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3072 KB)

    A set of test data T for a program P is reliable if it reveals that P contains an error whenever P is incorrect. If a set of tests T is reliable and P produces the correct output for each element of T then P is a correct program. Test data generation strategies are procedures for generating sets of test data. A testing strategy is reliable for a program P if it produces a reliable set of test data... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A System to Generate Test Data and Symbolically Execute Programs

    Publication Year: 1976, Page(s):215 - 222
    Cited by:  Papers (147)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3928 KB)

    This paper describes a system that attempts to generate test data for programs written in ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of constraints on the program's input variables. If the set of constraints is linear, linear programming techniques are employed to obtain a solution. A solution to the set of constraints is test data that will drive execu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Generation of Floating-Point Test Data

    Publication Year: 1976, Page(s):223 - 226
    Cited by:  Papers (39)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1776 KB)

    For numerical programs, or more generally for programs with floating-point data, it may be that large savings of time and storage are made possible by using numerical maximization methods instead of symbolic execution to generate test data. Two examples, a matrix factorization subroutine and a sorting method, illustrate the types of data generation problems that can be successfully treated with su... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Two Problems in the Generation of Program Test Paths

    Publication Year: 1976, Page(s):227 - 231
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2200 KB)

    In this paper we analyze the complexity of algorithms for two problems that arise in automatic test path generation for programs: the problem of building a path through a specified set of program statements and the problem of building a path which satisfies impossible-pairs restrictions on statement pairs. These problems are both reduced to graph traversal problems. We give an efficient algorithm ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Erratum and Corrigendum for "Structured Programming With and Without GO TO Statements"

    Publication Year: 1976, Page(s): 232
    Request permission for commercial reuse | PDF file iconPDF (224 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Advance Program

    Publication Year: 1976, Page(s): 232
    Request permission for commercial reuse | PDF file iconPDF (3157 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): 232
    Request permission for commercial reuse | PDF file iconPDF (1352 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1976, Page(s): 232-e
    Request permission for commercial reuse | PDF file iconPDF (152 KB)
    Freely Available from IEEE
  • Call for Papers

    Publication Year: 1976, Page(s): 232
    Request permission for commercial reuse | PDF file iconPDF (120 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