By Topic

IEEE Transactions on Software Engineering

Issue 12 • Dec. 1992

Filter Results

Displaying Results 1 - 6 of 6
  • Guest editor's introduction: special issue on software maintenance

    Publication Year: 1992, Page(s): 1037
    Request permission for commercial reuse | PDF file iconPDF (146 KB)
    Freely Available from IEEE
  • A logic-based approach to reverse engineering tools production

    Publication Year: 1992, Page(s):1053 - 1064
    Cited by:  Papers (33)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1040 KB)

    Difficulties arising in the use of documents produced by reverse engineering tools are analyzed. With reference to intermodular data flow analysis for Pascal software systems, an interactive and evolutionary tool is proposed. The tool is based on the production of intermodular data flow information by static analysis of code, its representation in a Prolog program dictionary, and a Prolog abstract... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A hybrid knowledge representation as a basis of requirement specification and specification analysis

    Publication Year: 1992, Page(s):1076 - 1100
    Cited by:  Papers (36)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2508 KB)

    A formal requirement specification language, the frame-and-rule oriented requirement specification language FRORL, developed to facilitate the specification, analysis, and development of a software system is presented. The surface syntax of FRORL is based on the concepts of frames and production rules that may bear hierarchical relationships to each other, relying on multiple inheritance. To provi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Support for maintaining object-oriented programs

    Publication Year: 1992, Page(s):1045 - 1052
    Cited by:  Papers (39)  |  Patents (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    It is explained how inheritance and dynamic binding make object-oriented programs difficult to maintain, and a concrete example of the problems that arise is given. It is shown that the difficulty lies in the fact that conventional tools are poorly suited for work with object-oriented languages, and it is argued that semantics-based tools are essential for effective maintenance of object-oriented ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Maintenance support for object-oriented programs

    Publication Year: 1992, Page(s):1038 - 1044
    Cited by:  Papers (97)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF ( 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.
  • Program concept recognition and transformation

    Publication Year: 1992, Page(s):1065 - 1075
    Cited by:  Papers (71)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (968 KB)

    The automated recognition of abstract high-level conceptual information or concepts, which can greatly aid the understanding of programs and therefore support many software maintenance and reengineering activities, is considered. An approach to automated concept recognition and its application to maintenance-related program transformations are described. A unique characteristic of this approach is... View full abstract»

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

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