Building a tool for synthesis of correct design from interaction specifications

4.11 - 1251 ratings - Source

Using the File a ar New option, we create a new diagram based on the M2Code
template. ... the diagrams have been drawn, we can invoke the conversion
process by using the M2Code a Ar Generate State Machines menu option on
Visio.

Title

:

Building a tool for synthesis of correct design from interaction specifications

Author

:

Praveen Narasimha Moorthy

Publisher

:

- 2006

ISBN-13

:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.