%T Developement methods and occam
%A  David M. Gee,  Barry P. Worrall,  W. D. Henderson
%E  Janet Edwards
%B Proceedings of WoTUG\-14: Occam and the Transputer\-Current Developments
%X Existing structured methods for real\-time systems are
   critically reviewed with respect to their suitability for
   direct implementation in occam without transformation. All
   are found to have weaknesses in some respects; consequently
   new notations are proposed. Use of these within an
   appropriate tool framework could assist in the automatic
   generation of occam code.