# IEE Colloquium on Application of CASE Tools

## Filter Results

Displaying Results 1 - 8 of 8
• ### A computer aided animation tool set

Publication Year: 1990, Page(s):7/1 - 7/4
| | PDF (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»

• ### Zork: a type-checker for Z from York

Publication Year: 1990, Page(s):6/1 - 6/5
| | PDF (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»

• ### A CASE tool for demonstrating Z specifications

Publication Year: 1990, Page(s):5/1 - 5/4
| | PDF (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»

• ### μral-a formal development support environment

Publication Year: 1990, Page(s):4/1 - 4/2
| | PDF (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»

• ### The formal development of robot software

Publication Year: 1990, Page(s):2/1 - 2/4
Cited by:  Patents (1)
| | PDF (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»

• ### IEE Colloquium on Application of CASE Tools' (Digest No.058)

Publication Year: 1990
| | PDF (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»

• ### The application of tools to an IPSE

Publication Year: 1990, Page(s):3/1 - 3/3
| | PDF (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»

• ### Formal description techniques in robot programming

Publication Year: 1990, Page(s):1/1 - 1/6
| | PDF (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»