%T A CASE Tool for Designing Deadlock\-Free OCCAM Programs %A W. D. Crowe, R. Hasson, P. E. D. Strain\-Clark %E J. Wexler %B OUG\-11: Developing Transputer Applications %X This paper describes a Computer Aided Software Engineering (CASE) tool aimed at producing correct OCCAM programs. We use variants of CSP and OCCAM2 notation , a strong form of protocols on channels and standard forms for processes in order to lessen the combinatorial problems which arise while investigating deadlock. The CASE tool is graphical in nature and two versions of it are currently being implemented. One version is written in PROLOG and runs on Mackintosh computers while the another is written in a mixture of PROLOG and C and runs on Sun workstations.