By Topic

Application of Computer Aided Software Engineering Tools, IEE Colloquium on

Date 17 Feb 1989

Filter Results

Displaying Results 1 - 8 of 8
  • Review of CASE experience on the BART ICS project

    Publication Year: 1989, Page(s):5/1 - 5/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (300 KB)

    BART is a rapid transit system for the San Francisco Bay Area. The ICS project will provide an integrated control system to enable the train service to be upgraded. The ICS system has a strong real time element and it is essential that the ICS system is reliable, since this has a direct effect on the service provided. Logica was commissioned to undertake the development of this system. They decide... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool support for software proof

    Publication Year: 1989, Page(s):8/1 - 8/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (60 KB)

    With software increasingly being employed in safety-critical applications, there is much speculation on the nature of procedures and tools for achieving software quality. The authors explore the use of the SPADE toolset, including the SPADE Proof Checker, together with appropriate procedures for achieving a high degree of confidence in the correctness of a piece of software with respect to a speci... View full abstract»

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

    Publication Year: 1989, Page(s):4/1 - 4/5
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (276 KB)

    A major ongoing development is the Z environment (ZEN) project which provides a support environment for the creation and animation of specifications written using the Z technique. A prototype has been completed and work is underway to produce a system for the production and animation of specifications on a regular basis. There are two major support areas possible: assistance with the creation of t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEE Colloquium on `The Application of Computer Aided Software Engineering Tools' (Digest No.24)

    Publication Year: 1989
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (44 KB)

    The following topics were dealt with: CASE for reliable software development; YSM and VDM used together in system lifecycle; Z environment support tool; use of CASE in rapid transit system control project; rigorous system development using the formal language OBJ; software traceability enabling strategy; and software tool support for program correctness proving View full abstract»

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

    Publication Year: 1989, Page(s):7/1 - 7/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (224 KB)

    When a software system is delivered, the customer can only assess it by the symptoms exhibited during its acceptance tests. The executable code is uninspectable. The actual execution is for practicable purposes magic, while the inspectable sources are probably too voluminous and this is totally unacceptable for safety critical systems. In addition to acceptance testing a customer should therefore ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using the Yourdon structured method (YSM) and Vienna development method (VDM) together during the system lifecycle

    Publication Year: 1989, Page(s):2/1 - 2/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (188 KB)

    A description is given of how it would be possible to use the Yourdon structured method (YSM) and the Vienna development method (VDM) together during the system lifecycle, and the advantages of this approach. The YSM is a graphical method while VDM is a mathematical method. Overviews of each method are presented, together with an explanation of how they can be used together View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Answering the systems developer's dilemma: the ObjEx-Malpas rigorous systems development strategy

    Publication Year: 1989, Page(s):6/1 - 6/2
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (96 KB)

    The author illustrates how users of the ObjEx-Malpas tool-set combination are capturing user-requirements in a formal machine executable specification. It is this executability that allows the animation of specifications, thereby enabling users actually to see what is being proposed, so giving both the specifier and the user confidence in the validity of the proposed end system View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Will CASE help me develop more reliable software?

    Publication Year: 1989, Page(s):1/1 - 1/4
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (248 KB)

    The production of highly reliable engineering software using CASE needs some specific techniques which are not in common use in conventional software development. The authors look briefly at some of these techniques and the automated tools needed to support them. These techniques on their own are not sufficient, however: all the usual issues of project planning, coordination, configuration managem... View full abstract»

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