By Topic

IEEE Transactions on Software Engineering

Issue 4 • Date July 1980

Filter Results

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

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

    Publication Year: 1980, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (248 KB)
    Freely Available from IEEE
  • The Implementation of Run-Time Diagnostics in Pascal

    Publication Year: 1980, Page(s):313 - 319
    Cited by:  Papers (2)  |  Patents (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2888 KB)

    This paper considers the role of run-time diagnostic checking in enforcing the rules of the Pascal programming language. Run-time diagnostic checks must be both complete (covering all language requirements) and efficient. Further, such checks should be implemented so that the cost of enforcing the correct use of a given construct is borne by users of that construct. This paper descxibes simple and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Separate Compilation and Partial Specification in Pascal

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

    Separate compilation is a useful tool in the development, debugging, testing, and integration of modular systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Static Analysis of the NAG Library

    Publication Year: 1980, Page(s):329 - 333
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1760 KB)

    This paper reports results obtained from a static analysis of the NAG Mark 4 Fortran numerical algorithms library. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Macro-Based Cross Assemblers

    Publication Year: 1980, Page(s):334 - 340
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1560 KB)

    The problem of implementing cross assemblers by means of a macro expansion technique is addressed. Various problems caused by the implementation technique proper, as well as the target machine instruction set, are identified. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Overhead Storage Considerations and a Multilinear Method for Data File Compression

    Publication Year: 1980, Page(s):340 - 347
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2392 KB)

    The paper is concerned with the reduction of overhead storage, i.e., the stored compression/decompression (C/D) table, in field-level data file compression. A large C/D table can occupy a lage fraction of maim memory space during compression and decompression, and may cause excessve page swapping in virtual memory systems. A two-stage approach is studied, including the reuired additional C/D table... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Fast Transaction-Oriented Logging Scheme for Undo Ro overy

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

    A special UNDO log algorithm combining the advantages of update in place strategies with the shadow page concept is introduced. It is to support applications demanding high rates of possibly long update transactions as well as fast UNDO recovery. By doubling the disk space for the database, UNDO loggng can be performed with a minimum of additional I/O operations. Thus, we gain a performance compar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ambiguity in Processing Boolean Queries on TDMS Tree Structures: A Study of Four Different Philosophies

    Publication Year: 1980, Page(s):357 - 372
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3416 KB)

    This paper defines and demonstrates four philosophies for processing queries on tree structures; shows that the data semantics of queries shuld be described by designating sets of nodes from which v values for attnbutes may be returned to the data consumer; shows that the data semantics of database processing can be specified totally independent of any madhine, file structure, or implementation; s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Isolation Method in a Network of Queues

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

    In this paper a new method for analyzing complex queueing networks is proposed: the isolation method. As an example, we study packet switching networks with finite buffer size at each node. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Incorporating System Overhead in Queuing Network Models

    Publication Year: 1980, Page(s):381 - 390
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2888 KB)

    Multiclass queuing network models of multiprogramming computer systems are frequently used to predict the performance of computing systems as a function of user workload and hardware configuration. This paper examines three different methods for incorporating operating system overhead in multiclass queuing network models. The goal of the resultant model is to provide an accurate account of the pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modula and a Question of Time

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

    The programming language Modula is reviewed for its ability to support the wide variety of time usages required in a process control system. It is shown that in many instances concurrent languages supporting device control and multiprogramming may need additional facilities for the support of time. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Analogy Between Electrical Networks and Flowcharts

    Publication Year: 1980, Page(s):391 - 394
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (776 KB)

    A recently proposed analogy between discrete systems and flowcharts is discussed. It is pointed out that the analog of Kirchhoff's voltage law does not apply to flowcharts, and that the analogy is likely to be of limited value as an aid to program analysis. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Presentation and Correction of Errors in Operating System Measurements

    Publication Year: 1980, Page(s):395 - 398
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (752 KB)

    This cofrespondence presents two ldnds of errors which occur when data supplied by software monitors are gathered. Various ways of assessing their effects are suggested. View full abstract»

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

    Publication Year: 1980, Page(s):398-a - 398-b
    Request permission for commercial reuse | PDF file iconPDF (360 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1980, Page(s): 398-c
    Request permission for commercial reuse | PDF file iconPDF (240 KB)
    Freely Available from IEEE
  • CompCon 80 Fall

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