IEEE Transactions on Software Engineering

Issue 2 • March 1981

Filter Results

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

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

    Publication Year: 1981, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (256 KB)
    Freely Available from IEEE
  • Editor's Notice

    Publication Year: 1981, Page(s): 161
    Request permission for commercial reuse | PDF file iconPDF (1160 KB)
    Freely Available from IEEE
  • Persistent Software Errors

    Publication Year: 1981, Page(s):162 - 168
    Cited by:  Papers (75)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2160 KB)

    Persistent software errors-those which are not discovered until late in development, such as when the software becomes operational-are by far the most expensive kind of error. Via analysis of software problem reports, it is discovered that the predominant number of persistent errors in large-scale software efforts are errors of omitted logic..., that is, the code is not as complex as required by t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Principles of Program Design Induced from Experience with Small Public Programs

    Publication Year: 1981, Page(s):169 - 174
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2592 KB)

    The art of programming is taught, learned, and often practiced as if programs are disposable, personal objects owned, solely by the programmer. This paper uses examples to illustrate why real software is neither personal nor disposable; it shows how even simple programs are shared by others. From the examples, the paper extracts four principles for program development. Finally, it draws conclusion... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Communication Issues in the Design and Analysis of Parallel Algorithms

    Publication Year: 1981, Page(s):174 - 188
    Cited by:  Papers (46)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6328 KB)

    As multiple processor systems become more widely accepted the importance of parallel programming increases. In this paper, approaches to the design and analysis of parallel algorithms are investigated. Through several examples, the importance of interprocessor communication in parallel processing is demonstrated. Various techniques that are applicable in the design and analysis of parallel algorit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Method for the Syntax Directed Design of Multiprograms

    Publication Year: 1981, Page(s):189 - 196
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2736 KB)

    A method of program design is described which leads naturally to the expression of a program as a pipeline network of simple processes. Starting from the problem statement the valid inputs and outputs are specified by grammars, which can be combined to define the requisite translation. A notation for translation grammars is described informally which allows a translation to take into account seman... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Determination of Loop Invariants for Programs with Arrays

    Publication Year: 1981, Page(s):197 - 206
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2416 KB)

    This paper describes a method for the generation of loop predicates (or invariant assertions) for programs operating on arrays. The technique described is an application of difference equations. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Inference Rules for Program Annotation

    Publication Year: 1981, Page(s):207 - 222
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3616 KB)

    Methods are presented whereby an Algol-like program given together with its specifications can be documented automatically. The program is incrementaly annotated with invariant relations that hold between program variables at intermediate points in the program text and explain the actual workings of the program regardless of whether it is correct. Thus, this documentation can be used for proving c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tidier Drawings of Trees

    Publication Year: 1981, Page(s):223 - 228
    Cited by:  Papers (164)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2112 KB)

    Various algorithms have been proposed for producing tidy drawings of trees–drawings that are aesthetically pleasing and use minimum drawing space. We show that these algorithms contain some difficulties that lead to aesthetically unpleasing, wider than necessary drawings. We then present a new algorithm with comparable time and storage requirements that produces tidier drawings. Generalizati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal Grammar and Human Factors Design of an Interactive Graphics System

    Publication Year: 1981, Page(s):229 - 240
    Cited by:  Papers (104)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4784 KB)

    Formal grammatical description has not generally been applied in the human factors area, which traditionally draws on behavioral science for its methodology. This paper illustrates, by means of a detailed example, how formal grammatical description can be used as a predictive tool to compare alternative designs for ease of use and to identify design choices which could cause users to make mistakes... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simplifld Alfu-N2merik FOnetiks (Sanf)

    Publication Year: 1981, Page(s):241 - 248
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2944 KB)

    A simplified alpha-numeric phonetic alphabet is proposed. It uses digits, standard keyboard symbols, and upper-and lowercase letters to give a computer-compatible unambiguous single-character phonetic writing of English. Such a phonetic spelling, in conjunction with a pronouncing dictionary giving standardized pronunciation of English words in this phonetic alphabet, together with appropriate comp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance Analyses of Paging Algorithms for Compilation of a Highly Modularized Program

    Publication Year: 1981, Page(s):248 - 254
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3680 KB)

    Previous works on paging behavior have mainly concentrated on procedures, not on data. This paper is an attempt to clarify the paging behavior of data referenced by a newly developed language processor, and theoretically analyze the performance of several page replacement algorithms with no loss of generality. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PRIM: A Fast Matrix Transpose Method

    Publication Year: 1981, Page(s):255 - 257
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1504 KB)

    An efficient algorithm called PRIM is proposed for transposing an arbitraxy R ×C matrix which is too large to be stored in its entirety in working memory and which instead is stored by rows on disk. PRIM facilitates the execution of numerical matrix algorithms which operate both by rows and by columns. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Press

    Publication Year: 1981, Page(s):257-a - 257-b
    Request permission for commercial reuse | PDF file iconPDF (1520 KB)
    Freely Available from IEEE
  • Announcement & Call for Papers

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

    Publication Year: 1981, Page(s): 257-d
    Request permission for commercial reuse | PDF file iconPDF (176 KB)
    Freely Available from IEEE
  • Call for Papers

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