DocumentCode
279924
Title
IEE Colloquium on `Application of CASE Tools´ (Digest No.058)
fYear
1990
fDate
32968
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;
fLanguage
English
Publisher
iet
Conference_Titel
Application of CASE Tools, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
190005
Link To Document