DocumentCode
2822832
Title
WIFT ´98 working group report: incorporating formal methods into industrial processes
Author
Weil, Frank
Author_Institution
Software & Syst. Eng. Res. Labs., Motorola Inc., Schaumburg, IL, USA
fYear
1998
fDate
1998
Firstpage
134
Lastpage
136
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location
Boca Raton, FL
Print_ISBN
0-7695-0081-1
Type
conf
DOI
10.1109/WIFT.1998.766307
Filename
766307
Link To Document