By Topic

IEEE Transactions on Software Engineering

Issue 4 • April 1987

Filter Results

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

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

    Publication Year: 1987, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (200 KB)
    Freely Available from IEEE
  • Concurrent Certifications by Intervals of Timestamps in Distributed Database Systems

    Publication Year: 1987, Page(s):409 - 419
    Cited by:  Papers (22)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3272 KB)

    This paper introduces, as an optimistic concurrency control method, a new certification method by means of intervals of timestamps, usable in a distributed database system. The main advantage of this method is that it allows a chronological commit order which differs from the serialization one (thus avoiding rejections or delays of transactions which occur in usual certification methods or in clas... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Information-Based Model for Failure-Handling in Distributed Database Systems

    Publication Year: 1987, Page(s):420 - 431
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4864 KB)

    We consider the failure atomicity problem of distributed transactions in conjunction with the maximization of database availability. We propose a new information-based model for the distributed transaction-execution, which explicitly expresses the information at each stage during a protocol. In addition to rederiving certain existing results, we prove a fundamental relation among the site failures... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Paradigm for Developing Information Systems

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

    This paper describes a paradigm for implementing software in which 1) a database is used to maintain virtually all recorded information about the application and 2) the executable product is generated directly from the formal specifications. A specific environment, TEDIUM®, defined for a specific application class, the interactive information system, is presented as a proof of concept. The be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Bases for the Flexible Composition of Application Systems

    Publication Year: 1987, Page(s):440 - 460
    Cited by:  Papers (11)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4744 KB)

    In various application areas, classes of computer programs can be identified such that each program belonging to a class, can be considered as a special variant of a generic program. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Application of Structural Modeling to Software Requirements Analysis and Design

    Publication Year: 1987, Page(s):461 - 471
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2992 KB)

    In software development, it has been pointed out that software engineers must pay attention to software requirements definition. One of the important problems in software engineering is to rationalize the processes from requirements definition to design. Computer tools are most useful and efficient for this purpose. This paper proposes a computer-aided software design system (CASDS), which support... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Refinement Methodology for Ada

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

    This paper presents Refinement Methodology (RM) for the design of Ada® programs. The methodology combines stepwise refinement and the information hiding principle. The steps of the methodology are explained and illustrated by an example. A part of the methodology is a collection of rules by which procedures acquire parameters (called first and second rules for parameters). View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance Criteria for Constrained Nonlinear Programming Codes

    Publication Year: 1987, Page(s):479 - 489
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4192 KB)

    A set of performance criteria for evaluating optimization software with respect to efficiency, reliability, and accuracy is presented and discussed. A numerical comparison of five constrained nonlinear programming codes is described, which was carried out in order to test the usefulness and general applicability of the proposed performance criteria. The results of the numerical comparison are disc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Program Structure Charts for Applicative Languages

    Publication Year: 1987, Page(s):490 - 493
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (576 KB)

    A framework for a system of charts compatible with the use of applicative programming languages is proposed and illustrated. The charts are similar in spirit to the structured flowcharts that have sometimes been used with algorithmic languages. They are based on a method of representing the structure of nested expressions of arbitrary complexity. This method is adaptable to the incorporation of gr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic Identification of Software System Differences

    Publication Year: 1987, Page(s):493 - 497
    Cited by:  Patents (16)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1184 KB)

    A well-known method for software version control on the source file level is the incremental change technique, which isolates the differences, commonly called a delta, between two versions of a source module, and then stores only the delta. Any version of a source module can then be reconstructed from the original by successive application of deltas. The significant advantages of this approach inc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CSM: A Distributed Programming Language

    Publication Year: 1987, Page(s):497 - 500
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (760 KB)

    This paper presents an overview of a distributed programming language called Communicating Sequential Modules or CSM, intended to support distributed computing. Developed from Modula-2 and CSP, CSM has been implemented on the ZCZ distributed microcomputer system consisting of several LSI-11 microcomputers. Its implementation is also described. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols

    Publication Year: 1987, Page(s):501 - 505
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1080 KB)

    Formal description techniques (FDT's) are being developed for the specification of communication protocols and other distributed systems. Some of them (namely SDL and Estelle) are based on an extended state transition model and promote a "transition-oriented" specification style. Another one (namely Lotos) and most highlevel programming languages promote a style which is called "structured." The c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Call for papers

    Publication Year: 1987, Page(s): 506
    Request permission for commercial reuse | PDF file iconPDF (154 KB)
    Freely Available from IEEE
  • In this issue

    Publication Year: 1987, Page(s): 506
    Request permission for commercial reuse | PDF file iconPDF (1402 KB)
    Freely Available from IEEE
  • Membership Application

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

    Publication Year: 1987, Page(s): 506-c
    Request permission for commercial reuse | PDF file iconPDF (328 KB)
    Freely Available from IEEE
  • Beyond the Basics: A Software Publication Series for Successful Computer Professionals From the IEEE Computer Society

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