I am looking for formal methods to express software design for applications in C, i have so far discovered Jackson Structure Diagrams, can anyone suggest any others?
I am looking for formal methods to express software design for applications in C, i have so far discovered Jackson Structure Diagrams, can anyone suggest any others?
Monday - what a way to spend a seventh of your life
Most design methods are pretty agnostic towards the implementation language.
What are you looking for?
If you dance barefoot on the broken glass of undefined behaviour, you've got to expect the occasional cut.
If at first you don't succeed, try writing your phone number on the exam paper.
There's one.....Visio I think it is? Maybe someone can help me here, I'm horrible with namesIt's flowcharting software, might not be exactly what you're looking for, but it could help.
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
Last edited by iain; 04-08-2005 at 11:31 AM. Reason: lack of concentration
Monday - what a way to spend a seventh of your life
OIC, you have the code, and you want to construct a "design" from it?
If you dance barefoot on the broken glass of undefined behaviour, you've got to expect the occasional cut.
If at first you don't succeed, try writing your phone number on the exam paper.
Oh, you know how it is Salem, you implement first and then work backwards...
In uni I'm currently doing a formal spec-related module, which uses VDM as a base. There's also Z notation, popular with IBM I believe. You'll need a library (as in books) to understand them though, they're pretty funky.
No
Monday - what a way to spend a seventh of your life
Sandbox and a stick to draw circles in the sand. For large designs, I suggest a beach
http://userpages.umbc.edu/~khoo/survey2.html
Would be a good list if it also mentioned UML.
http://www.tessella.com/Literature/S...design_UML.htm
Looks OK as well.
Since it's a one-off design, then I'd probably use a handy graphics/CAD package for keeping the diagrams all neat and tidy.
If you dance barefoot on the broken glass of undefined behaviour, you've got to expect the occasional cut.
If at first you don't succeed, try writing your phone number on the exam paper.
