Looking for coders to translate some business requirements to
specifications using UML State diagrams, Harel's Statecharts, and the Z specification language. The emphasis of using UML State diagrams and Harel's Statecharts is to illustrate the real time and dynamic properties of a typical order in a B2B e-commerce system. The zip file attached contains the detailed
1) Complete and fully-functional working program(s) in executable form as well as complete source code of all work done.
2) Installation package that will install the software (in ready-to-run condition) on the platform(s) specified in this bid request.
3) Exclusive and complete copyrights to all work purchased. (No GPL, 3rd party components, etc. unless all copyright ramifications are explained AND AGREED TO by the buyer on the site).
UML, Statecharts and Z.