Title :
WIFT ´98 working group report: incorporating formal methods into industrial processes
Author_Institution :
Software & Syst. Eng. Res. Labs., Motorola Inc., Schaumburg, IL, USA
Abstract :
This working group met as part of the 1998 Workshop on Industrial-Strength Formal Specification Techniques (WIFT ´98) in Boca Raton, Florida. As the working group title suggests, we discussed lessons learned, open issues and general suggestions surrounding the incorporation of formal methods in industrial development processes
Keywords :
formal specification; 1998 Workshop on Industrial-Strength Formal Specification Techniques; WIFT ´98 working group report; formal methods; industrial development processes; Computer industry; Crisis management; Engineering management; Food technology; Formal specifications; Insulation; Project management; Software systems; Software testing; Systems engineering and theory;
Conference_Titel :
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location :
Boca Raton, FL
Print_ISBN :
0-7695-0081-1
DOI :
10.1109/WIFT.1998.766307
