By Topic

IEEE Transactions on Software Engineering

Issue 5 • Date Sept. 1983

Filter Results

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

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

    Publication Year: 1983, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (288 KB)
    Freely Available from IEEE
  • A Survey of Software Engineering Practice: Tools, Methods, and Results

    Publication Year: 1983, Page(s):541 - 561
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3296 KB)

    The results of a survey of software development practice are reported and analyzed. The problems encountered in various phases of the software life cycle are measured and correlated with characteristics of the responding installations. The use and acceptance of the term "software engineer" is investigated, and the functions and background of persons identified as software engineers are reported. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Managing and Predicting the Costs of Real-Time Software

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

    The Putnam model can be used to predict and manage software development projects. It is a management tool that takes, as input, easily obtained manpower data and produces cost and schedule estimates. This paper examines data from two real-time software projects and analyzes the applicability of the Putnam model. We propose a variation ation of the model which more reliably follows the staffing cur... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analyzing Software Safety

    Publication Year: 1983, Page(s):569 - 579
    Cited by:  Papers (108)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4360 KB)

    With the increased use of software controls in critical realtime applications, a new dimension has been introduced into software reliability–the "cost" of errors. The problems of safety have become critical as these applcations have increasingly included areas where the consequences of failure are serious and may involve grave dangers to human life and property. This paper defines software s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Abstract requirements specification: A new approach and its application

    Publication Year: 1983, Page(s):580 - 589
    Cited by:  Papers (22)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3360 KB)

    An abstract requirements specification states system requirements precisely without describing a real or a paradigm implementation. Although such specifications have important advantages, they are difficult to produce for complex systems and hence are seldom seen in the "real" programming world. This paper introduces an approach to producing abstract requirements specifications that applies to a s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Casting Petri Nets into Programs

    Publication Year: 1983, Page(s):590 - 602
    Cited by:  Papers (34)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3840 KB)

    A programming system has been implemented in which annotated Petri nets are used as machine-processable high-evel design representations. The nets can be used to express the parallelism and the dynamic sequential dependencies found in complex software. They can then be interactively fired to facilitate debugging of the design. The nets are processed into a procedure language, called XL/1, to which... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timing Requirements for Time-Driven Systems Using Augmented Petri Nets

    Publication Year: 1983, Page(s):603 - 616
    Cited by:  Papers (89)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4272 KB)

    A methodology for the statement of timing requirements is presented for a class of embedded computer systems. The notion of a "time-driven" system is introduced which is formalized using a Petri net model augmented with timing information. Several subclasses of time-driven systems are defined with increasing levels of complexity. By deriving the conditions under which the Petri net model can be pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Problem of Equivalence for Entity-Relationship Diagrams

    Publication Year: 1983, Page(s):617 - 630
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4520 KB)

    We investigate the question of when two entity-relationship diagrams (ERD's) should be considered equivalent, in the sense of representing the same information. This question is very important for a database design process which uses the ERD model, and can be interpreted in various ways. We give three natural and increasingly stricter criteria for developing concepts of equivalence for ERD's. We f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Data Structure and an Algorithm for the Nearest Point Problem

    Publication Year: 1983, Page(s):631 - 634
    Cited by:  Papers (47)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2096 KB)

    In this paper we present a tree structure for storing points from a normed space whose norm is effectively computable. We then give an algorithm for finding the nearest point from the tree to a given query point. Our algorithm searches the tree and uses the triangle inequality to eliminate searching of the entirety of some branches of the tree whenever a certain predicate is satisfied. Our data st... 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: 1983, Page(s): 634
    Request permission for commercial reuse | PDF file iconPDF (139 KB)
    Freely Available from IEEE
  • Advance Program Summary Software Maintenance Workshop

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

    Publication Year: 1983, Page(s): 634-c
    Request permission for commercial reuse | PDF file iconPDF (216 KB)
    Freely Available from IEEE
  • Advance Announcement ... Tutorial Week West83

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