By Topic

Software Engineering Journal

Issue 1 • Date Jan 1992

Filter Results

Displaying Results 1 - 7 of 7
  • File system caching in large point-to-point networks

    Publication Year: 1992 , Page(s): 65 - 80
    Cited by:  Papers (1)  |  Patents (7)
    Click to expandAbstract | PDF file iconPDF (1048 KB)  

    The design of a file system for a general-purpose scalable parallel computing engine, based on an extensible mesh of processors is examined. Although many distributed file systems have already been developed, none have properly addressed the characteristics that are special to these computing engines, namely dynamic load-balancing and point-to-point networks. Client caching is identified as a key ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling of visualised data-flow diagrams using Petri net model

    Publication Year: 1992 , Page(s): 4 - 12
    Click to expandAbstract | PDF file iconPDF (876 KB)  

    An approach to the modelling and implementation of data-flow diagrams (DFDs) using Petri nets is introduced. A direction is identified where visualisation and high-level semantics can be incorporated into data-flow diagrams to facilitate direct manipulation, interpretation and validation. At the automation level, visualised DFDs generate layouts for data-flow vectors and use Petri nets to safeguar... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An empirical evaluation (and specification) of the all-du-paths testing criterion

    Publication Year: 1992 , Page(s): 43 - 51
    Cited by:  Papers (4)
    Click to expandAbstract | PDF file iconPDF (524 KB)  

    The all-du-paths structural testing criterion is one of the most discriminating of the data-flow testing criteria. Unfortunately, in the worst case, the criterion requires an intractable number of test cases. In a case study of an industrial software system, it is found that the worst-case scenario is rare. Eighty percent of the subroutines require ten or fewer test cases. Only one subroutine out ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The complexity of software testing

    Publication Year: 1992 , Page(s): 13 - 24
    Click to expandAbstract | PDF file iconPDF (872 KB)  

    The futility of using a general-purpose metric to characterise `the' complexity of a program has been argued to support the design of specific metrics for the different stages of the software life-cycle. An analysis of the module testing activity is performed, providing evidence of the absurdity of all-purpose metrics, as well as a methodical means with which to measure testing complexity. Several... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two object-based decomposition methodologies: a case study

    Publication Year: 1992 , Page(s): 35 - 42
    Click to expandAbstract | PDF file iconPDF (440 KB)  

    An interesting and little documented problem is the influence of a design methodology on program architecture. In the case study, the authors compared two design methodologies and their impact on both development process and the resulting program architecture. The methodologies are object-based variants of refinement methodology and structured design, respectively. Both methodologies were applied ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Achieving high integrity of process control software by graphical design and formal verification

    Publication Year: 1992 , Page(s): 53 - 64
    Click to expandAbstract | PDF file iconPDF (696 KB)  

    The International Electrotechnical Commission is standardising four compatible languages for designing and implementing programmable logic controllers (PLCs). The language family includes a diagrammatic notation that supports the idea of software ICs to encourage graphical design techniques and systematic software reuse. The authors present an interactive system with a graphical interface for cons... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Vista: a user interface for a distributed object-oriented software engineering environment

    Publication Year: 1992 , Page(s): 25 - 34
    Cited by:  Patents (1)
    Click to expandAbstract | PDF file iconPDF (1268 KB)  

    A prototype user interface for a distributed software engineering environment is described, where the components of the environment are autonomous agents with some inherent decision-making capabilities. Agents may be distributed across a local- or wide-area network. Two forms of interaction are supported; namely, direct manipulation and message passing. Synchronous interaction is supported via the... View full abstract»

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