By Topic

IEEE Transactions on Software Engineering

Issue 6 • Date Nov. 1977

Filter Results

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

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

    Publication Year: 1977, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (212 KB)
    Freely Available from IEEE
  • The Evolution of Programs: Automatic Program Modification

    Publication Year: 1977, Page(s):377 - 385
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2680 KB)

    An attempt is made to formulate techniques of program modification, whereby a given program that achieves one goal can be transformed into a new program that uses the same principles to achieve a different goal. For example, a program that uses the binary search paradigm to calculate the square root of a number may be modified to divide two numbers in a similar manner, or vice versa. The essence o... View full abstract»

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

    Publication Year: 1977, Page(s):386 - 393
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2344 KB)

    In recent years, applications of graph theory to computer software have given fruitful results and attracted more and more attention. A program graph is a graph structural model of a program exhibiting the flow relation or connection among the elements (statements) in the program. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment

    Publication Year: 1977, Page(s):394 - 405
    Cited by:  Papers (15)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3080 KB)

    The problem of designing compilers for a multiprocessing environment is approached. We show that by modeling an existing sequential compiler, we gain an understanding of the modifications necessary to transform the sequential structure into a pipeline of processes. The pipelined compiler is then evaluated through measurements and simulation. Properties of the model, a generalized Petri Net, are al... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Argument in Favor of Mechanized Software Production

    Publication Year: 1977, Page(s):406 - 415
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3344 KB)

    A new software engineering methodology called program control structuring is proposed. Its development is justified by the need to offer the designer the capability to improve the productivity and quality of software development in the conditions of a "highly imperfect" environment. Such an environment is shown to involve the use of transient and inexperienced programmers, frequent alterations to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Definition Mechanism for Standard PL/I

    Publication Year: 1977, Page(s):416 - 450
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5512 KB)

    The mechanism used to define the programming language PL/I in the recently adopted American National Standard is presented. This method provides a rigorous though semiformal specification of the language. If uses the model of translation of programs into an abstract form to define the context-free and context-sensitive syntax. The semantics are defined by the interpretation of the abstract form of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of the Multiple-Attribute-Tree Data-Base Organization

    Publication Year: 1977, Page(s):451 - 467
    Cited by:  Papers (7)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3120 KB)

    The multiple-attribute-tree (MAT) data-base organization is modeled and analyzed. Average retrieval time per query is obtained using a statistical estimation procedure and computationally efficient cost equations are presented. These cost equations are validated using a small experimental data base. Several real-life and generated data bases are used to demonstrate the effectiveness of the multipl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Parallel Processor Operating System Comparison

    Publication Year: 1977, Page(s):467 - 475
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3992 KB)

    Three different operating system strategies for a parallel processor computer system are compared, and the most effective strategy for given job loads is determined. The three strategies compare uniprogramming versus multiprogramming and distributed operating systems versus dedicated processor operating systems. The level of evaluation includes I/O operations, resource allocation, and interprocess... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Contrast Between Language Level Measures

    Publication Year: 1977, Page(s):476 - 478
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (520 KB)

    Software science techniques have been used to provide a framework for evaluation of problem solving systems. In that effort, two methods for calculating the level of a language (L and L̂) were used, it was suspected that L̂, while adequate in that application, might be inferior to L. By using a set of hypothetical languagesj each with different intrinsic data structures and operators, it... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Computing with Impure Numbers: Automatic Consistency Checking and Units Conversion Using Computer Algebra

    Publication Year: 1977, Page(s):478 - 480
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB)

    This note shows how computer-algebra systems may be used to include symbolic physical units in computer calculations, with automatic detection of dimensionally-inhomogeneous formulas and automatic conversion of inconsistent units in a dimensionally-homogeneous formula. Inhomogeneity errors are a prevalent type that is undetected in traditional programming languages, and the user is relieved of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1977 Index IEEE Transactions on Software Engineering Vol. SE-3

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

    Publication Year: 1977, Page(s): 480-e
    Request permission for commercial reuse | PDF file iconPDF (144 KB)
    Freely Available from IEEE
  • Announcing Computer Technology: Status, Limits, Alternatives

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