By Topic

IEEE Transactions on Software Engineering

Issue 6 • Date Nov. 1983

Filter Results

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

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

    Publication Year: 1983, Page(s): c2
    Request permission for commercial reuse | PDF file iconPDF (296 KB)
    Freely Available from IEEE
  • Software Metrics: Guest Editor's Introduction

    Publication Year: 1983, Page(s):637 - 638
    Cited by:  Papers (3)
    Request permission for commercial reuse | PDF file iconPDF (1920 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation

    Publication Year: 1983, Page(s):639 - 648
    Cited by:  Papers (567)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3184 KB)

    One of the most important problems faced by software developers and users is the prediction of the size of a programming system and its development effort. As an alternative to "size," one might deal with a measure of the "function" that the software is to perform. Albrecht [1] has developed a methodology to estimate the amount of the "function" the software is to perform, in terms of the data it ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Measuring the Productivity of Computer Systems Development Activities with Function Points

    Publication Year: 1983, Page(s):648 - 652
    Cited by:  Papers (44)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3416 KB)

    The function point method of measuring application development productivity developed by Albrecht is reviewed and a productivity improvement measure introduced. The measurement methodology is then applied to 24 development projects. Size, environment, and language effects on productivity are examined. The concept of a productivity index which removes size effects is defined and an analysis of the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Metric Analysis and Data Validation Across Fortran Projects

    Publication Year: 1983, Page(s):652 - 663
    Cited by:  Papers (57)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4896 KB)

    The desire to predict the effort in developing or explain the quality of software has led to the proposal of several metrics in the literature. As a step toward validating these metrics, the Software Engineering Laboratory has analyzed the Software Science metrics, cyclomatic complexity, and various standard program measures for their relation to 1) effort (including design through acceptance test... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Empirical Study of a Syntactic Complexity Family

    Publication Year: 1983, Page(s):664 - 672
    Cited by:  Papers (68)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3032 KB)

    A family of syntactic complexity metrics is defined that generates several metrics commonly occurring in the literature. The paper uses the family to answer some questions about the relationship of these metrics to error-proneness and to each other. Two derived metrics are applied; slope which measures the relative skills of programmers at handling a given level of complexity and r square which is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Toolpack—An Experimental Software Development Environment Research Project

    Publication Year: 1983, Page(s):673 - 685
    Cited by:  Papers (26)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4144 KB)

    This paper discusses the goals and methods of the Toolpack project and in this context discusses the architecture and design of the software system being produced as the focus of the project. Toolpack is presented as an experimental activity in which a large software tool environment is being created for the purpose of general distribution and then careful study and analysis. The paper begins by e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Mathematical Framework for the Investigation of Testing

    Publication Year: 1983, Page(s):686 - 709
    Cited by:  Papers (30)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (6128 KB)

    Testing has long been in need of mathematical underpinnings to explain its value as well as its limitations. This paper develops and applies a mathematical framework that 1) unifies previous work on the subject, 2) provides a mechanism for comparing the power of methods of testing programs based on the degree to which the methods approximate program verification, and 3) provides a reasonable and u... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal Specification and Verification of Distributed Systems

    Publication Year: 1983, Page(s):710 - 722
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3368 KB)

    Computations of distributed systems are extremely difficult to specify and verify using traditional techniques because the systems are inherently concurrent, asynchronous, and nondeterministic. Furthermore, computing nodes in a distributed system may be highly independent of each other, and the entire system may lack an accurate global clock. View full abstract»

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

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

    The formalism of temporal logic has been suggested to be an appropriate tool for expressing the semantics of concurrent programs. This paper is concerned with the application of temporal logic to the specification of factors affecting the synchronization of concurrent processes. Towards this end, we first introduce a model for synchronization and axiomatize its behavior. SYSL, a very high-level la... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Software System Design Representation Using Modified Petri Nets

    Publication Year: 1983, Page(s):733 - 745
    Cited by:  Papers (23)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (4808 KB)

    A model for representing and analyzing the design of a distributed software system is presented. The model is based on a modified form of Petri net, and enables one to represent both the structure and the behavior of a distributed software system at a desired level of design. Behavioral properties of the design representation can be verified by translating the modified Petri net into an equivalent... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Order and Difficulty of Debugging

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

    The earlier findings of Shooman and Bolsky, that the difficulty of detecting or correcting a software bug is independent of its order of detection, is challenged by new data which shows definite tendencies for early bugs to need less time to be detected and more to be corrected than later bugs. View full abstract»

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

    Publication Year: 1983, Page(s): 747
    Request permission for commercial reuse | PDF file iconPDF (1354 KB)
    Freely Available from IEEE
  • Preliminary Announcement

    Publication Year: 1983, Page(s): 747
    Request permission for commercial reuse | PDF file iconPDF (306 KB)
    Freely Available from IEEE
  • Call for Papers Small Computer (R)Evolution

    Publication Year: 1983, Page(s): 747
    Request permission for commercial reuse | PDF file iconPDF (2323 KB)
    Freely Available from IEEE
  • Join Us in the Quest for Technical Excellence

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

    Publication Year: 1983, Page(s): 747-n
    Request permission for commercial reuse | PDF file iconPDF (208 KB)
    Freely Available from IEEE
  • Advance Announcement Tutorial Week East84

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