The design is required to demonstrate the design behind a proxy server written in C, i have visio and it allows me to flow, process flow and decision trees etc, it also supports Jackson diagrams. The designs are to be included in a thesis and i would like to use a variety of formal design methodoligies..
Any suggestions appreciated
thanks