By Topic

IEEE Transactions on Software Engineering

Issue 2 • Date March 1983

Filter Results

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

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

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

    Publication Year: 1983, Page(s): 117
    Request permission for commercial reuse | PDF file iconPDF (1264 KB)
    Freely Available from IEEE
  • Guest Editorial: COMPSAC '81 Special Section

    Publication Year: 1983, Page(s):118 - 119
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1608 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Syntax-Directed Pretty Printing—A First Step Towards a Syntax-Directed Editor

    Publication Year: 1983, Page(s):119 - 127
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4280 KB)

    A language-independent syntax-directed pretty printer has been implemented as the first step towards building a language-independent syntax-directed editor. The syntax-directed pretty printer works in two phases: the grammar processing phase and the program processing phase. In the grammar processing stage, a grammar which contains a context-free grammar and information for the parser and pretty p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Locality of Reference in Hierarchical Database Systems

    Publication Year: 1983, Page(s):128 - 134
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2416 KB)

    Localized information referencing is a long-known and much-exploited facet of program behavior. The existence of such behavior in the data accessing patterns produced by database management systems is not currently supported by empirical results. We present experimental results which demonstrate that in certain environments and under certain important applications, locality of reference is an unde... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Selection of an Optimal Set of Indexes

    Publication Year: 1983, Page(s):135 - 143
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3904 KB)

    A problem of considerable interest in the design of a database is the selection of indexes. In this paper, we present a probabilistic model of transactions (queries, updates, insertions, and deletions) to a file. An evaluation function, which is based on the cost saving (in terms of the number of page accesses) attributable to the use of an index set, is then developed. The maximization of this fu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MIKE: A Network Operating System for the Distributed Double-Loop Computer Network

    Publication Year: 1983, Page(s):143 - 154
    Cited by:  Papers (16)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (5048 KB)

    This paper presents the framework and model of a network operating system (NOS) called MIKE for use in distributed systems in general and for use in the Distributed Double-Loop Computer Network (DDLCN) in particular. MIKE, which stands for Multicomputer Integrator KErnel, provides system-transparent operation for users and maintains cooperative autonomy among local hosts. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Science Revisited: A Critical Analysis of the Theory and Its Empirical Support

    Publication Year: 1983, Page(s):155 - 165
    Cited by:  Papers (21)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3632 KB)

    The theory of software science was developed by the late M. H. Halstead of Purdue University during the early 1970's. It was first presented in unified form in the monograph Elements of Software Science published by Elsevier North-Holland in 1977. Since it claimed to apply scientific methods to the very complex and important problem of software production, and since experimental evidence supplied ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Science and Cognitive Psychology

    Publication Year: 1983, Page(s):166 - 171
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2408 KB)

    Halstead proposed a methodology for studying the process of programming known as software science. This methodology merges theories from cognitive psychology with theories from computer science. There is evidence that some of the assumptions of software science incorrectly apply the results of cognitive psychology studies. HAlstead proposed theories relative to human memory models that appear to b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some Properties Derived from Structural Analysis of Program Graph Models

    Publication Year: 1983, Page(s):172 - 178
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2688 KB)

    It is considered interesting to identify, from the structure of control flow and of relationships among variables in a program, some properties allowing to point out possible sources of errors or of faulty behavior. In particular, it is found that information about termination of loops and about meaningfulness of acceptance tests in recopery block strategy can be extracted from such structural ana... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Very High-Level Interactive Graphical Trace for the Pascal Heap

    Publication Year: 1983, Page(s):179 - 185
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2560 KB)

    A very high-level trace for data structures is one which displays a data structure in the shape in which the user conceptualizes it, be it a tree, an array, or a graph. GRAPHTRACE is a system that facilitates the very high-level graphic display of interrelationships among dynamically allocated Pascal records. It offers the user a wide range of options to enable him to "see" the data structures on ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Anatomy of a Small Pascal Compiler

    Publication Year: 1983, Page(s):185 - 191
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3960 KB)

    An exceptionally compact Pascal Compiler was written. We explain how. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Engineering Approach to Software Test Data Design

    Publication Year: 1983, Page(s):191 - 200
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4560 KB)

    A systematic approach to test data design is presented based on both practical translation of theory and organization of professional lore. The approach is organized around five domains and achieving coverage (exercise) of them by the test data. The domains are processing functions, input, output, interaction among functions, and the code itself. Checklists are used to generate data for processing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling a Multiprocessor Architecture

    Publication Year: 1983, Page(s):201 - 210
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2624 KB)

    Instead of using a very expensive and powerful central processing unit, the Hypercube F8 uses independent parallel microprocessors that are slow and inexpensive. This architecture is modeled in order to determine the proper number of microprocessors and to validate the system. The model is hierarchical. Different levels of the model are considered. Each level model corresponds to a subsystem of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A System to Automatically Analyze Assembled Programs

    Publication Year: 1983, Page(s):210 - 213
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2016 KB)

    An original system to perform an automatic analysis of assembled programs is presented. Executable programs are analyzed from the description of the machine on which they run and are translated into an intermediate language taking into account the particularities of the considered machine. The system was primarily designed as the first step of a project for transferring programs from one machine t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Database Engineering

    Publication Year: 1983, Page(s): 213
    Request permission for commercial reuse | PDF file iconPDF (183 KB)
    Freely Available from IEEE
  • Nominations Invited for IEEE Awards

    Publication Year: 1983, Page(s):213-b - 213-c
    Request permission for commercial reuse | PDF file iconPDF (344 KB)
    Freely Available from IEEE
  • IEEE Computer Society Publications

    Publication Year: 1983, Page(s): 213-d
    Request permission for commercial reuse | PDF file iconPDF (216 KB)
    Freely Available from IEEE
  • Call for Papers

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