Incorporating Formal Methods into Industrial Processes
at the 1998 Workshop on Industrial-Strength Formal Specification
Techniques
WIFT'98
Moderator: Frank Weil ( frankw@comm.mot.com)
This working group will address the issues surrounding the incorporation
of formal methods into industrial processes. Suggested topics for discussion
and position papers include, but are not limited to:
What are the necessary prerequisites for technology adoption?
Who are the real customers? Is it management? The product groups? The "company"?
How does one handle legacy processes, systems, code, and models?
How important is the development maturity level of the target organization?
How does one foster management and grass-roots support?
Is it really necessary to have methods champions?
How are methods champions selected, trained, and certified?
How does one justify the inclusion of the formal method in the process?
What sorts of metrics are appropriate for determining success?
What is the appropriate model for rollout from the methods organization
to the product groups?
What are the other open issues?
What are the lessons learned from success stories?
What are the lessons learned from failure stories?
Other relevant topics are welcome and encouraged.
Please see the general working group call
for papers for instructions on preparing and submitting a position
paper.