Scheduled System Maintenance
On Tuesday, February 28, IEEE Xplore will undergo scheduled maintenance from 1:00-5:00 PM ET (18:00-22:00 UTC).
During this time, there may be intermittent impact on performance. We apologize for any inconvenience.
By Topic

IEE Colloquium on Application of CASE Tools

5 Apr 1990

Filter Results

Displaying Results 1 - 8 of 8
  • Zork: a type-checker for Z from York

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

    Z specifications have been written at York for some years. However, the tool support was minimal: some troff macros to draw schema boxes, and fancy characters that were formed by overlaying existing characters. The aim of the authors' work was to rectify this situation, without requiring major changes to the existing specifications. They started by improving the typesetting tools by drawing a Z fo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CASE tool for demonstrating Z specifications

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

    The CASE tool described, is designed to enable software engineers to produce a faithful animation of specifications written in Z. Desirable properties which animations of this kind should possess, and which have guided the authors in developing the tool, are the following: the executable code (i.e., the animation) must be easy to produce; the structure of the code should not be too far removed fro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEE Colloquium on `Application of CASE Tools' (Digest No.058)

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

    The following topics were dealt with: formal development of robot software; application of tools to IPSE; μral, formal development support environment; CASE tool for Z specifications; type-checker for Z; and computer aided animation tool set View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal description techniques in robot programming

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

    A study is reported whose aim was to produce a system to facilitate offline programming of robots and to provide a testbed for alternative algorithms for the services provided. The system was specified using the formal description technique LOTOS (language of temporal ordering specification). LOTOS is best known for its use in the description of OSI protocols and is supported by an ISO standard. L... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • μral-a formal development support environment

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

    The μral system has been developed as a part of the Alvey/SERC funded IPSE 2.5 project. It consists of two components, a specification support tool and a proof assistant. Together these provide support for the construction of and formal reasoning about formal specifications. The system attempts to emulate `paper and pencil' specification and proof by making extensive use of workstation/windowin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A computer aided animation tool set

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

    Computer based support for the animation of object oriented formal specifications is desirable and technically feasible. This has been brought about by the arrival of new formal notation similar to Z but employing object oriented principles. Initial work on an animation tool set which in addition to the usual editing and type checking facilities also provides tools for developing animations, is de... View full abstract»

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

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

    A description is given of the use of the formal method VDM (C.B. Jones, 1986), in the development of a piece of control software for a simple robotics problem taken from W.E. Snyder (1985). The problem concerns the transfer of blocks from a conveyor belt to a pallet. An abstract specification of the problem is constructed which is then refined to a more implementation-oriented specification. The l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The application of tools to an IPSE

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

    An IPSE (integrated project support environment), is a generalisation of computer aided software engineering techniques to include all the activities and information within a project. It is implemented on a distributed computer system and contains the following major functions: information and procedure management and tools for information creation and transformation. The author proposes that an I... View full abstract»

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