By Topic

Software Engineering Journal

Issue 2 • Date Mar 1995

Filter Results

Displaying Results 1 - 5 of 5
  • Industrial perspective on static analysis

    Publication Year: 1995 , Page(s): 69 - 75
    Cited by:  Papers (1)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (556 KB)  

    Static analysis within industrial applications provides a means of gaining higher assurance for critical software. This survey notes several problems, such as the lack of adequate standards, difficulty in assessing benefits, validation of the model used and acceptance by regulatory bodies. It concludes by outlining potential solutions and future directions View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generalised approach to software structure metrics

    Publication Year: 1995 , Page(s): 61 - 67
    Cited by:  Papers (1)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (412 KB)  

    The aim of this paper is to generalise the Fenton-Whitty-Kaposi (FWK) approach to structure software metrics by considering arbitrary sets of decomposition operations for flowgraphs. In the FWK approach, decomposition of flowgraphs is unique, but the number of associated metric functions is not finite and these functions are all independent. In general, the decomposition of flowgraphs is not uniqu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining formal specification and CORE: an experimental investigation

    Publication Year: 1995 , Page(s): 31 - 42
    Cited by:  Patents (2)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (740 KB)  

    CORE is an established requirements modelling method which employs diagrams and natural language supporting text to express the requirements of a system. The paper reports on a project that has investigated the use of formal specification techniques to strengthen CORE. It focuses on the use of the Vienna development method (VDM) with CORE and outlines an experimental investigation of a proposed CO... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using Z to support the design of interactive safety-critical systems

    Publication Year: 1995 , Page(s): 49 - 60
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (812 KB)  

    Mathematically-based specification techniques are increasingly being recruited to support the development of safety-critical systems. Formal notations, such as Z and VDM, provide precise and concise means of representing a design without forcing commitment to implementation strategies during the early stages of development. Unfortunately, interface requirements are not normally considered within f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Professional competence in safety-related software engineering

    Publication Year: 1995 , Page(s): 43 - 48
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (452 KB)  

    If a software failure leads to injury or death, legal liability may fall on manufacturers, designers and software engineers. Allegations of negligence may result, and a demonstration of competence is likely to be important in a defence of such allegations. In the absence of authoritative case law, the authors examine other fields of engineering to obtain an indication as to how, in an action of ne... View full abstract»

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