Scheduled System Maintenance
On Saturday, December 10, single article sales and account management will be unavailable from 5:00 AM-7:30 PM ET.
We apologize for the inconvenience.
By Topic

Software Engineering Journal

Issue 3 • May 1994

Filter Results

Displaying Results 1 - 4 of 4
  • Specification scheme for the visualisation of data structures

    Publication Year: 1994, Page(s):127 - 133
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1219 KB)

    The paper describes a general principle for program visualisation, based on the concept of structure models. We propose a specification scheme that can be used to implement the general principle without requiring a change of the program code. Two aspects of the scheme are discussed in detail; the specification of critical entities and their graphical representations. Its use is illustrated by mean... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A program for animating CCS specifications

    Publication Year: 1994, Page(s):117 - 125
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (698 KB)

    The paper describes the operation of a program which enables the behaviours admitted by a specification in the Calculus of Communicating Systems (CCS) to be investigated. Two specifications in the calculus are presented to illustrate the issues under discussion, and program output from the animation of these specifications is shown, both to elucidate the program's value and limitations and to high... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparative review of functional complexity assessment methods for effort estimation

    Publication Year: 1994, Page(s):107 - 116
    Cited by:  Papers (11)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (891 KB)

    Budgetary constraints are placing increasing pressure on project managers to effectively estimate development effort requirements at the earliest opportunity. With the rising impact of automation on commercial software development, the attention of researchers developing effort estimation models has recently been focused on functional representations of systems, in response to the assertion that d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timed Petri net approach to performance modelling with the MOON method

    Publication Year: 1994, Page(s):95 - 106
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1292 KB)

    MOON is a design method suitable for real-time systems that supports concurrency and asynchronous communication. A MOON design specifies the structure of the software system, the hardware resources and the allocation of software components to hardware resources. Performance evaluation is very important throughout the development of a real-time system. Program resource mapping nets (PRM-Nets) are a... View full abstract»

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