By Topic

IEEE Transactions on Software Engineering

Issue 1 • March 1976

Filter Results

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

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

    Publication Year: 1976, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (214 KB)
    Freely Available from IEEE
  • On the Design and Development of Program Families

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

    Program families are defined (analogously to hardware families) as sets of programs whose common properties are so extensive that it is advantageous to study the common properties of the programs before analyzing individual members. The assumption that, if one is to develop a set of similar programs over a period of time, one should consider the set as a whole while developing the first three appr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Higher Order Software—A Methodology for Defining Software

    Publication Year: 1976, Page(s):9 - 32
    Cited by:  Papers (45)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (7424 KB)

    The key to software reliability is to design, develop, and manage software with a formalized methodology which can be used by computer scientists and applications engineers to describe and communicate interfaces between systems. These interfaces include: software to software; software to other systems; software to management; as well as discipline to discipline within the complete software develop... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Specification of Assemblers

    Publication Year: 1976, Page(s):33 - 40
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2616 KB)

    The problem of applying formal techniques of program specification and verification to large complex programs is considered. It is argued that a practical solution requires a variety of techniques, including both procedural and nonprocedural specifications, hierarchical program organization, and the use of program transformations. In particular, a case is made for flexible problem-oriented choice ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Structured Programming With and Without go to Statements

    Publication Year: 1976, Page(s):41 - 54
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3624 KB)

    While "Dijkstra flow-chart schemes" (built out of assignment statement schemes by means of composition, IF—THEN and WHILEDO) are simple and perspicuous, they lack the descriptive power of flow-chart schemes (provided additional "variables" are not permitted). On the other hand, the analogous multiexit composition binary alternation-conditional iteration (CACI) schemes introduced below, which... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic Improvement of Locality in Virtual Memory Systems

    Publication Year: 1976, Page(s):54 - 62
    Cited by:  Papers (27)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4008 KB)

    Replacement algorithms for virtual memory systems are typically based on temporal measures of locality, while predictive loading and program restructuring are based on spatial measures of locality. This paper suggests some techniques for dynamically improving the spatial locality of a program via predictive loading and virtual space restructuring, and presents the results of applying these techniq... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Picture-Building System

    Publication Year: 1976, Page(s):62 - 66
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3136 KB)

    The picture-building system (PBS) deals with the problem of creating and manipulating data structures for applications using computer graphics. PBS has a data definition facility that enables one to specify structures needed for a given application, a manipulation facility for loading and editing the data, and displaying the image stored in the structures. The structures are defined in a relationa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comments on "Structured Programming in a Production Programming Environment"

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

    Publication Year: 1976, Page(s):67 - 68
    Request permission for commercial reuse | PDF file iconPDF (197 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEEE Computer Society Publications

    Publication Year: 1976, Page(s): 68-a
    Request permission for commercial reuse | PDF file iconPDF (152 KB)
    Freely Available from IEEE
  • Management Auditing of Computer Operations

    Publication Year: 1976, Page(s): 68-b
    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