By Topic

IEEE Transactions on Software Engineering

Issue 2 • March 1980

Filter Results

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

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

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

    Publication Year: 1980, Page(s): 117
    Request permission for commercial reuse | PDF file iconPDF (1176 KB)
    Freely Available from IEEE
  • A User-Oriented Software Reliability Model

    Publication Year: 1980, Page(s):118 - 125
    Cited by:  Papers (242)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2600 KB)

    A user-oriented reliability model has been developed to measure the reliability of service that a system provides to a user community. It has been observed that in many systems, especially software systems, reliable service can be provided to a user when it is known that errors exist, provided that the service requested does not utilize the defective parts. The reliability of service, therefore, d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Approach to Concurrent Control Flow Checking

    Publication Year: 1980, Page(s):126 - 137
    Cited by:  Papers (71)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3408 KB)

    A control flow checking scheme capable of detecting control flow errors of programs resulting from software coding errors, hardware malfunctions, or memory mutilation during the execution of the program is presented. In this approach, the program is partitioned into loop-free intervals and a database containing the path information in each of the loop-free intervals is derived from the detailed de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance Abstract Data Types as a Tool in Software Performance Analysis and Design

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

    The concept of abstract data types is extended to associate performance information with each abstract data type representation. The resulting performance abstract data type contains a functional part which describes the functional properties of the data type and a performance part which describes the performance characteristics of the data type. The performance part depends upon 1) the algorithms... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Generalized Implementation Method for Relational Data Sublanguages

    Publication Year: 1980, Page(s):152 - 162
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2560 KB)

    A set of primitive operations on tuples is derived; it is shown that these operations are necessary and sufficient for the implementation tion of any language equivalent in power to the relational algebra. The translation of queries from a variety of relational languages into these tuple operations is discussed and illustrated with several examples. A method is given for the conversion of such a t... View full abstract»

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

    Publication Year: 1980, Page(s):162 - 169
    Cited by:  Papers (70)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3872 KB)

    An approach to functional testing is described in which the design of a program is viewed as an integrated collection of functions. The selection of test data depends on the functions used in the design and on the value spaces over which the functions are defined. The basic ideas in the method were developed during the study of a collection of scientific programs containing errors. The method was ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Development of Iterative Programs from Function Specifications

    Publication Year: 1980, Page(s):170 - 182
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2128 KB)

    A systematic approach to the development of totally correct iterative programs is investigated for the class of accumulation problems. In these problems, the required output information is usually obtained by accumulation during successive passes over input data structures. The development of iterative programs for accumulation problems is shown to involve successive generalizations of the data do... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State Restoration in Systems of Communicating Processes

    Publication Year: 1980, Page(s):183 - 194
    Cited by:  Papers (74)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3408 KB)

    In systems of asynchronous processes using messagelists with SEND–RECEIVE primitives for interprocess communication recovery primitives are defined to perform state restoration: MARK saves a particular point in the execution of the program; RESTORE resets the system state to an earlier point (saved by MARK); and PURGE discards redundant information when it is no longer needed for possible st... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Communication Port: A Language Concept for Concurrent Programming

    Publication Year: 1980, Page(s):194 - 204
    Cited by:  Papers (21)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3864 KB)

    A new language concept–communication port (CP), is introduced for programming on distributed processor networks. Such a network can contain an arbitrary number of processors each with its own private storage but with no memory sharing. The processors must communicate via explicit message passing. Communication port is an encapsulation of two language properties: "communication non-determinis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Methodology for Structured Database Decomposition

    Publication Year: 1980, Page(s):205 - 218
    Cited by:  Papers (8)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3136 KB)

    We present a methodology for structured database decomposition based on the relational data model. It is argued that in the distributed database environment, structured database decomposition is attractive both for efficiency and for database security considerations. Techniques for parallel processing and hashed access of structurally decomposed database are presented. Techniques for structured da... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm

    Publication Year: 1980, Page(s):219 - 225
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1848 KB)

    A queuing analysis of a preemptive, priority-driven, time-sliced dispatcher algorithm, typical of those found in many time-sharing systems, is presented. A distinctive feature of the system being modeled is that a preempted task, when readmitted to the dispatcher, is reallocated a full time slice rather than the residual. The combination of preemption, time-slice renewal and class-dependent arriva... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Framework for Discipline in Programming

    Publication Year: 1980, Page(s):226 - 232
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1928 KB)

    Programmers, even in well-organized software environments which utilize some modern software engineering practices, are often lacking of a discipline in their individual programming effort. There has not been an emphasis on discipline in progamming practice, as is traditional in other engineering and scientific fields' instruction. A framework organized to be suitable for early presentation and de... View full abstract»

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

    Publication Year: 1980, Page(s): 232-a
    Request permission for commercial reuse | PDF file iconPDF (160 KB)
    Freely Available from IEEE
  • Call for Papers

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