FMWG Report Outline

Version: Tuesday July 11, 1655

• Introduction
• Role of AB?
• Intended audience / focus of report
• People new to formal methods
• People who want to shift levels, i.e. begin using more
• What is FMs? And Why?
• “They are all around us”
• Should be an ethical concern
• Problems and challenges
• Student preparation
• Faculty resistance
• Lack of educational tools
• Curriculum guidance and support
• Industry demand (recruiters aren’t interested in FM)
• Formal Methodists like to pretend that FM is hard and those that don’t understand are stupid!!
• People from other fields like to claim that FM is useless or unnecessary
• Current state
• Curriculum issues
• CC ’91, CC 2001
• SWEBOK
• Resource issues
• FM Ed site
• Tools / AB statements
• Neville’s survey
• Lack of good educational tools
• A new web resource
• Overview of planned content
• Method for maintenance
• How to encourage contributions
• How to publicize
• Conclusions
• Acknowledgements

Appendices

• CC ’91 / CC 2001 matrix
• SWEBOK matrix
• Sample web site layout
• Sample flyer
• AB list of contributions