By Topic

IEEE Transactions on Software Engineering

Issue 9 • Sept. 1987

Filter Results

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

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

    Publication Year: 1987, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (208 KB)
    Freely Available from IEEE
  • Semiautomatic Implementation of Communication Protocols

    Publication Year: 1987, Page(s):989 - 1000
    Cited by:  Papers (17)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4840 KB)

    The use of formal specifications in software development allows the use of certain automated tools during the specification and software development process. Formal description techniques have been developed for the specification of communication protocols and services. This paper describes the partial automation of the protocol implementation process based on a formal specification of the protoco... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Edmas: An Object-Oriented, Locally Distributed Mail System

    Publication Year: 1987, Page(s):1001 - 1009
    Cited by:  Papers (3)  |  Patents (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3344 KB)

    The Eden Project conducts research in the design and implementation of a distributed computing environment for a local area network. A specific goal in designing Eden was to provide users the advantages of both physical distribution and logical integration. Edmas, the Eden mail system, provided an early test of Eden as a base for building distributed applications. This paper discusses Edmas, and s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software and Hardware in Data Processing Budgets

    Publication Year: 1987, Page(s):1010 - 1017
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2888 KB)

    This paper develops a microeconomic framework for the determination of data-processing budgets over time, and, in particular, the allocation of these budgets between software and hardware. The model dynamically balances the value and cost of information services, given the prevailing cost trends. It regards software and hardware as inputs to the process of producing information services, and ident... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance Analysis of Disk Modulo Allocation Method for Cartesian Product Files

    Publication Year: 1987, Page(s):1018 - 1026
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2376 KB)

    Cartesian product files have been shown to exhibit attractive properties for partial match queries. The Disk Modulo (DM) allocation method is shown to have good performance on the distribution of Cartesian product files into an m-disk system. However, there was no explicit expression made before to represent the DM method's response time to a given partial match query. In this paper, based upon di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cleanroom Software Development: An Empirical Evaluation

    Publication Year: 1987, Page(s):1027 - 1037
    Cited by:  Papers (59)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3880 KB)

    The Cleanroom software development approach is intended to produce highly reliable software by integrating formal methods for specification and design, nonexecution-based program development, and statistically based independent testing. In an empirical study, 15 three-person teams developed versions of the same software system (800-2300 source lines); ten teams applied Cleanroom, while five applie... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Very High Level Concurrent Programming

    Publication Year: 1987, Page(s):1038 - 1046
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2192 KB)

    Concurrent systems are typically large and complex, requiring long, development time and much labor. They are, therefore, prime candidates for simplification and automation of the design and programming process. Their major application areas include real time systems, operating systems and cooperative computation. New applications are emerging with the trends towards wide usage of personal compute... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Extension of "Representative Instances and γ-Acyclic Relational Schemes"

    Publication Year: 1987, Page(s):1047 - 1048
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    Let R be a γ-acyclic relational scheme, and let F be the set of functional dependencies (FD's) embodied in R. Given an existence constrained database r over R, it was shown in [1] that it is possible to connect tuples from different relations in r and construct a universal instance L, possibly containing null values δ, such that the total projection of L onto R yields exactly the set r. ... 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: 1987, Page(s): 1048-a
    Request permission for commercial reuse | PDF file iconPDF (240 KB)
    Freely Available from IEEE
  • The Computer Society

    Publication Year: 1987, Page(s): 1048-b
    Request permission for commercial reuse | PDF file iconPDF (224 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