Title :
IEE Colloquium on `Application of CASE Tools´ (Digest No.058)
Abstract :
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
Keywords :
formal specification; programming environments; project support environments; robot programming; software tools; CASE tool; IPSE; Z specifications; computer aided animation tool set; formal development; formal development support environment; mu ral; robot software; type-checker;
Conference_Titel :
Application of CASE Tools, IEE Colloquium on
Conference_Location :
London
