By Topic

IEEE Transactions on Software Engineering

Issue 3 • Date May 1977

Filter Results

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

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

    Publication Year: 1977, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (216 KB)
    Freely Available from IEEE
  • Constructive Methods in Program Verification

    Publication Year: 1977, Page(s):193 - 209
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3920 KB)

    Most current approaches to mechanical program verification transform a program and its specifications into first-order formulas and try to prove these formulas valid. Since the first-order predicate calculus is not decidable, such approaches are inherently limited. This paper proposes an alternative approach to program verification: correctness proofs are constructively established by proof justif... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending Concurrent Pascal to Allow Dynamic Resource Management

    Publication Year: 1977, Page(s):210 - 217
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2856 KB)

    In Concurrent Pascal, the syntactic and semantic definition of the language prevents the inadvertent definition of a program that might violate the integrity of a shared data object. However, the language also does not allow the dynamic allocation of reusable resources among processes, and this restriction seems unnecessarily stingent. This paper proposes the addition to Concurrent Pascal of a new... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Use of Psychological Experimentation as an Aid to Development of a Query Language

    Publication Year: 1977, Page(s):218 - 229
    Cited by:  Papers (11)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3840 KB)

    This paper describes a series of psychological experiments used to test a new data base query language. The intent is to make psychological testing of a language part of the design and development process. By testing a language while it is still under development, features that require changing can bs identified and the changes made. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Management of Software Development

    Publication Year: 1977, Page(s):229 - 242
    Cited by:  Papers (24)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5968 KB)

    This paper describes four major aspects of software management: development statistics, development process, development objectives, and software maintenance. The control of both large and smal software projects is included in the analysis. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compiler Analysis of the Value Ranges for Variables

    Publication Year: 1977, Page(s):243 - 250
    Cited by:  Papers (25)  |  Patents (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3112 KB)

    Programs can be analyzed to determine bounds on the ranges of values assumed by variables at various points in the program. This range information can then be used to eliminate redundant tests, verify correct operation, choose data representations, select code to be generated, and provide diagnostic information. Sophisticated analyses involving the proofs of complex assertions are sometimes requir... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Study of the Physical Structure of Algorithms

    Publication Year: 1977, Page(s):250 - 258
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4024 KB)

    A theory of the structural composition of an algoithm is presented which allows the frequencies of occurrence of the individual operators and operands to be estimated. It provides justification for some recent hypotheses which suggest certain functional relationships between properties of algorithms. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing a Pseudorandom Number Generator on a Minicomputer

    Publication Year: 1977, Page(s):259 - 262
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (664 KB)

    Three contemporary pseudorandom number generators: Tausworthe, GFSR, and Lehmer are implemented on a 16-bit minicomputer. Practical comparisons are made in terms of 1) ease of implementation, 2) length of period, 3) execution speed, 4) program storage space, and 5) statistical quality. Although the results are conjectured to apply to any 16-bit word, limited memory capacity, and limited instructio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"

    Publication Year: 1977, Page(s): 262
    Request permission for commercial reuse | PDF file iconPDF (184 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Call for Papers

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

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

    Publication Year: 1977, Page(s): 262-c
    Request permission for commercial reuse | PDF file iconPDF (200 KB)
    Freely Available from IEEE
  • Compcon77 Fall

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