Formal methods
- Posted by Bayes Jun 12, 2009
- 1205 views
This isn't specific to euphoria, but I'm wondering what techniques people use to design programs. I'm thinking about doing a course in formal methods, because I'm tired of hunting bugs in my programs, and formal techniques seem like a good approach to constructing programs systematically. I know they haven't caught on much except in academia and safety critical code, and for most programs it may be like using a sledgehammer to crack a nut, but maybe once you've learned the methods they wouldn't be so time-consuming or difficult. At the moment I use a "top-down" approach with successive refinement, it works well much of the time, but I still get those annoying bugs which for me take the fun out of programming, although some people seem to enjoy tracking them down. Does anyone use formal methods? what are effective techniques for program design?
