By Topic

IEEE Transactions on Software Engineering

Issue 2 • Date March 1979

Filter Results

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

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

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

    Publication Year: 1979, Page(s): 73
    Request permission for commercial reuse | PDF file iconPDF (1096 KB)
    Freely Available from IEEE
  • In Memory of Maurice H. Halstead

    Publication Year: 1979, Page(s): 74
    Request permission for commercial reuse | PDF file iconPDF (240 KB)
    Freely Available from IEEE
  • Guest Editorial on Software Science

    Publication Year: 1979, Page(s):74 - 75
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1360 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Experiment on Unit Increase in Problem Complexity

    Publication Year: 1979, Page(s):76 - 79
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1432 KB)

    The effect of a variation in problem complexity and how the variation relates to programming complexity is predicted and measured. An experiment was conducted in which eighteen graduate students programmed two variations of the same smali algorithm where the problem complexity varied by 25 percent. Eight measurable program characteristics are compared with predicted values obtained using only two ... View full abstract»

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

    Publication Year: 1979, Page(s):79 - 90
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4464 KB)

    The sharply rising cost incurred during the production of quality software has brought with it the need for the development of new techniques of software measurement. In particular, the ability to objectively assess the clarity of a program is essential in order to rationally develop useful engineering guidelines for efficient software production and language development. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Frequency Distribution of Operators in PL/I Programs

    Publication Year: 1979, Page(s):91 - 95
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1352 KB)

    During the past few years, several investigators have noted definite patterns in the distribution of operators in computer programs. Their proposed models have provided explanations for other observed software phenomena and have suggested possible relationships between programming languages and natural languages. However, these models contain notable deficiencies. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics

    Publication Year: 1979, Page(s):96 - 104
    Cited by:  Papers (44)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2992 KB)

    Three software complexity measures (Halstead's E, McCabe's u(G), and the length as measured by number of statements) were compared to programmer performance on two software maintenance tasks. In an experiment on understanding, length and u(G) correlated with the percent of statements correctly recalled. In an experiment on modification, most significant correlations were obtained with metrics comp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Simple Experiment in Top-Down Design

    Publication Year: 1979, Page(s):105 - 109
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1672 KB)

    In this paper we: 1) discuss the need for quantitatively reproducible experiments in the study of top-down design; 2) propose the design and writing of tutorial papers as a suitably general and inexpensive vehicle; 3) suggest the software science parameters as appropriate metrics; 4) report two experiments validating the use of these metrics on outlines and prose; and 5) demonstrate that the exper... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Use of Software Science in Evaluating Modularity Concepts

    Publication Year: 1979, Page(s):110 - 120
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3184 KB)

    An investigation is made into the extent to which relationships from software science are useful in analyzing programming methodology principles that are concerned with modularity. Using previously published data from over 500 programs, it is shown that the software science effort measure provides quantitative answers to questions concerning the conditions under which modularization is beneficial.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Qualitative Justification for a Measure of Program Clarity

    Publication Year: 1979, Page(s):121 - 128
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1720 KB)

    Several measures of program clarity have been proposed which attempt to assess the clauity of a program as a function of easily measured properties of the code. Such measures include the number of variables or statements, or the density of GO TO's. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Designing Software for Ease of Extension and Contraction

    Publication Year: 1979, Page(s):128 - 138
    Cited by:  Papers (162)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3568 KB)

    Designing software to be extensible and easily contracted is discussed as a special case of design for change. A number of ways that extension and contraction problems manifest themselves in current software are explained. Four steps in the design of software that is more flexible are then discussed. The most critical step is the design of a software structure called the " uses" relation. Some cri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Design of a Message Switching System: An Application and Evaluation of Modula

    Publication Year: 1979, Page(s):138 - 147
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2936 KB)

    Modula is a new programming language for implementing dedicated, parallel systems. Following a systematic design technique, this paper illustrates the use of Modula for the design of a message switching communication system. A message switching system poses a number of interesting. problems: a high degree of concurrent activity exists, a variety of I/O devices need to be controlled, messages can h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programming with Verification Conditions

    Publication Year: 1979, Page(s):148 - 159
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3176 KB)

    This paper contains an exposition of the method of programming with verification conditions. Although this method has much in common with the one discussed by Dijkstra in A Disciplne of Programming, it is shown to have the advantage in simplicity and flexibility. The simplicity is the result of the method's being directly based on Floyd's inductive assertions The method is flexible becasue of the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Common Properties of Some Multiattribute File Systems

    Publication Year: 1979, Page(s):160 - 174
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3464 KB)

    This paper results from an attempt to unify several different file system design theories. We define a term "partial match pattern" and show that in order to produce file systems optimal with respect to partial match patterns, both the multikey hashing (MKH) method [16] and the multidimensional directory (MDD) method [11] must be in such a form that the number of subdivisions is the same for all d... 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: 1979, Page(s): 174
    Request permission for commercial reuse | PDF file iconPDF (1324 KB)
    Freely Available from IEEE
  • Advance Announcement

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

    Publication Year: 1979, Page(s): 174-c
    Request permission for commercial reuse | PDF file iconPDF (176 KB)
    Freely Available from IEEE
  • Advance Program Announcement

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