By Topic

Software Engineering Journal

Issue 5 • Date Sept. 1993

Filter Results

Displaying Results 1 - 5 of 5
  • Hierarchical metrics and the prime generation problem

    Publication Year: 1993, Page(s):246 - 252
    Cited by:  Papers (2)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (874 KB)

    The field of software metrication can be divided between those program measurement techniques that are largely textual and those that are more structural, i.e. based on the hierarchical decomposition structure of the underlying flow graph. The author is concerned with the latter, but only from the control flow perspective. The decomposition is of two varieties; sequence and nesting, each extended ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A compendium of formal techniques for software maintenance

    Publication Year: 1993, Page(s):253 - 262
    Cited by:  Papers (4)  |  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (2783 KB)

    Software maintenance is an important area in practical software engineering that has been largely overlooked by many theoretical computer scientists. This paper gives an overview of formal techniques developed recently to aid the software maintenance process, and in particular reverse engineering and re-engineering. In the future, it is suggested that specifications, rather than programs, should b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An integrating common framework for measuring cognitive software complexity

    Publication Year: 1993, Page(s):263 - 272
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1134 KB)

    The author presents a new framework integrating diverse aspects of cognitive complexity. Methods based on communication theory are used to compute a reasonable measurement of comprehensibility integrating the contribution of diverse aspects, such as control flow, data flow, modularity or even compliance with standards, in a single value. In contrast to most published metrics, the approach is based... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying temporal requirements for distributed real-time systems in Z

    Publication Year: 1993, Page(s):273 - 283
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (791 KB)

    It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems, to provide a specification of timeliness properties. Unfortunately, the main methods which seem to provide this form of requirement appear to be based solely on a global model of time, which are inappropriate for the specification of asynchronous distributed systems. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying new scheduling theory to static priority pre-emptive scheduling

    Publication Year: 1993, Page(s):284 - 292
    Cited by:  Papers (325)  |  Patents (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (709 KB)

    The paper presents exact schedulability analyses for real-time systems scheduled at runtime with a static priority pre-emptive dispatcher. The tasks to be scheduled are allowed to experience internal blocking (from other tasks with which they share resources) and (with certain restrictions) to release jitter, such as waiting for a message to arrive. The analysis presented is more general than that... View full abstract»

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