By Topic

IEEE Transactions on Software Engineering

Issue 6 • Date Nov. 1980

Filter Results

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

    Publication Year: 1980, Page(s): c1
    Request permission for commercial reuse | PDF file iconPDF (425 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): 505
    Request permission for commercial reuse | PDF file iconPDF (1032 KB)
    Freely Available from IEEE
  • A Comparison of Measures of Control Flow Complexity

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

    In attempting to describe the quality of computer software, one of the more frequently mentioned measurable attributes is complexity of the flow of control. During the past several years, there have been many attempts to quantify this aspect of computer programs, approaching the problem from such diverse points of view as graph theory and software science. Most notable measures in these areas are ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Optimizing Pascal Compiler

    Publication Year: 1980, Page(s):512 - 519
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3520 KB)

    The architecture of a production optimizing compiler for Pascal is described, and the structure of the optimizer is detailed. The compiler performs both interprocedural and global optimizations, in addition to optimization of basic blocks. We have found that a high-level structured language such as Pascal provides unique opportunities for effective optimization, but that standard optimization tech... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Query-by-Pictorial-Example

    Publication Year: 1980, Page(s):519 - 524
    Cited by:  Papers (111)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2472 KB)

    Query-by-Pictorial-Example is a relational query language introduced for manipulating queries regarding pictorial relations as well as conventional relations. In addition to the manipulating capabilities of the conventional query languages, queries can also be expressed in terms of pictorial examples through a display tenninal. Example queries are used to illustrate the language facilities. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance

    Publication Year: 1980, Page(s):525 - 530
    Cited by:  Papers (33)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1888 KB)

    This paper presents a method for synthesizing or growing live and safe marked graph models of decision-free concurrent comutations. The approach is modular in the sense that subsystems r represented by arcs (and nodes) are added one by one without the need of redesigning the entire system. The foliowing properties of marked graph models can be prescribed in the synthesis: liveness (absence of dead... View full abstract»

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

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

    This paper explores the testing complexity of several classes of programs, where the testing complexity is measured in terms of the number of test data required for demonstrating program correctness by testing. It is shown that even for very restrictive classes of programs, none of the commonly used test criteria, namely, having every statement, branch, and path executed at least once, is nearly s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems

    Publication Year: 1980, Page(s):539 - 544
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1960 KB)

    In this paper, a net model for decentralized control of user accesses to a distributed database is proposed. It is developed in detail for the restricted case of updating distributed copies of a single database. Predicate/transition-nets, a first-order extension of Petri nets, are shown to provide suitable means for concise representation of complex decentralized systems and for their rigorous for... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some Stability Measures for Software Maintenance

    Publication Year: 1980, Page(s):545 - 552
    Cited by:  Papers (83)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2528 KB)

    Software maintenance is the dominant factor contributing to the high cost of software. In this paper, the software maintenance process and the important software quality attributes that affect the maintenance effort are discussed. One of the most important quality attributes of software maintainability is the stability of a program, which indicates the resistance to the potential ripple effect tha... View full abstract»

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

    Publication Year: 1980, Page(s):553 - 563
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3680 KB)

    This presentation describes the simultaneous development of Bliss compilers for three machine architectures. A highly unusual combination of characteristics makes this development of general interest to the software development community: the development involved extensive sharing of code among the several compilers; involved bootstrapping and transportable programming using a machine-oriented sys... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • *MOD—A Language for Distributed Programming

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

    Distributed programming is characterized by high communications costs and the inability to use shared variables and procedures for interprocessor synchronization and communication. *MOD is a high-level language system which attempts to address these problems by creating an environment conducive to efficient and reliable network software construction. Several of the *MOD distributed programming con... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Alphard Specification of a Correct and Efficient Transformation on Data Structures

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

    In this paper we study the problem of designing and specifying standard program components applicable to a wide variety of tasks; we choose for this study the specific problem domain of data structures for general searching problems. Within this domain Bentley and Saxe [1] have developed transformations for converting solutions of simple searching problems to solutions of more complex problems. We... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Redundancy in Data Structures: Improving Software Fault Tolerance

    Publication Year: 1980, Page(s):585 - 594
    Cited by:  Papers (55)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3272 KB)

    The increasing cost of computer system failure has stimulated interest in improving software reliability. One way to do this is by adding redundant structural data to data structures. Such redundancy can be used to detect and correct (structural) errors in instances of a data structure. The intuitive approach of this paper, which makes heavy use of examples, is complemented by the more formal deve... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Redundancy in Data Structures: Some Theoretical Results

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

    A companion paper, "Redundancy in Data Structures: Improving Software Fault Tolerance," provides an infonnal introduction to robust data structures. Here, we present the underlying theory for them, and use it to discuss the synthesis and cost effectiveness of robust data structures. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Experiment on Human Engineering of Interactive Software

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

    Improved human engineering can add significantly to the acceptance and use of computer technology. We report here an experiment in which users with varying degrees of interactive computing experience used two versions of an interactive text editor: one with an English-like command syntax, the other with a more notational syntax. User performance differences strongly favored the English-like editor... View full abstract»

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

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

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

    Publication Year: 1980, Page(s): 604
    Request permission for commercial reuse | PDF file iconPDF (203 KB)
    Freely Available from IEEE
  • Information about the Society

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

    Publication Year: 1980, Page(s): 604-i
    Request permission for commercial reuse | PDF file iconPDF (160 KB)
    Freely Available from IEEE
  • Advance Announcement... Tutorial Week80

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