By Topic

IEEE Transactions on Software Engineering

Issue 6 • Date Nov. 1981

Filter Results

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

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

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

    Publication Year: 1981, Page(s): 529
    Request permission for commercial reuse | PDF file iconPDF (1056 KB)
    Freely Available from IEEE
  • Guest Editorial

    Publication Year: 1981, Page(s): 530
    Request permission for commercial reuse | PDF file iconPDF (1440 KB)
    Freely Available from IEEE
  • Operational Requirements Accommodation in Distributed System Design

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

    Operational requirements are qualities which influence a software system's entire development cycle. The investigation reported here concentrated on three of the most important operational requirements: reliability via fault tolerance, growth, and availability. Accommodation of these requirements is based on an approach to functional decomposition involving representation in terms of potentiafly i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application of a Methodology for the Development and Validation of Reliable Process Control Software

    Publication Year: 1981, Page(s):537 - 555
    Cited by:  Papers (38)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6056 KB)

    This paper discusses the necessity of a good methodology for the development of reliable software, especialy with respect to the final software validation and testing activities. A formal specification development and validation methodology is proposed. This methodology has been applied to the development and validation of a pilot software, incorporating typical features of critical software for n... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Model for Representing Programs Using Hierarchical Graphs

    Publication Year: 1981, Page(s):556 - 574
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3704 KB)

    In this paper a hierarchical graph model for programs based on the concepts of recursive graphs (RG's) and Codd relations is presented. The purpose of the model is to clearly represent the structure of a program implemented in a structured language, such as Pascal, Algol, or PL/1, so that the program can be analyzed and modifications to the program can be clearly specified. The model uses an RG re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Collision-Free Access Control for Computer Communication Bus Networks

    Publication Year: 1981, Page(s):574 - 582
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3928 KB)

    This paper considers access control for local area computer communication networks. We propose two distributed access control schemes for a bus network. The schemes are simple and asynchronous, and provide for collision-free communication among ports. In addition, one of the schemes provides a bounded, guaranteed time to transmisidon for each port. We also show that this scheme is efficient in the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Shortest Tree Algorithm for Optimal Assignments Across Space and Time in a Distributed Processor System

    Publication Year: 1981, Page(s):583 - 589
    Cited by:  Papers (54)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2232 KB)

    The problem of optimally assigning the modules of a program over the processors of an inhomogeneous distributed processor system is analyzed. The objective is to assign modules, wherever possible, to the processors on which they execute most rapidly while taking into account the overhead of interprocessor communication. Factors contributing to the cost of an assignment are 1) the amount of computa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Method for Representing Data Items of Unlimited Length in a Computer Memory

    Publication Year: 1981, Page(s):590 - 593
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1696 KB)

    In this paper, a recursive data structure is defined which permits a data item of-unlimited length to be represented in a computer memory. The encoded data are a linear string of symbols which contains a specification of the length of the data item and the data item itself. In a single forward scan of the encoded data string, the length of the data item can be determined and the data item located ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Information Flow Certification Using an Intermediate Code Program Representation

    Publication Year: 1981, Page(s):594 - 607
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3768 KB)

    This paper describes a compile-time information flow control (IFC) mechanism that certifies secure information flow within the collection of objects accessed by a program. The IFC mechanism is based on the lattice model and certification mechanism of Denning, who proposes the use of the mechanism during the analysis phase of compilation. However, IFC is placed after semantic analysis and before co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some Critical Comments on the Paper "An Optimal Approach to Fault Tolerant Software Systems Design" by Gannon and Shapiro

    Publication Year: 1981, Page(s):608 - 610
    Request permission for commercial reuse | PDF file iconPDF (800 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comments on the Critique of Lee, Lloyd, and Shrivastava

    Publication Year: 1981, Page(s):610 - 611
    Request permission for commercial reuse | PDF file iconPDF (312 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1981 Index IEEE Transactions on Software Engineering Vol. SE-7

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

    Publication Year: 1981, Page(s): 611-f
    Request permission for commercial reuse | PDF file iconPDF (320 KB)
    Freely Available from IEEE
  • Advance Announcement... Tutorial Week East82

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