Property-Preserving Petri Net Process Algebra in Software Engineering
In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume presents a component-based methodology for the creation and verification of design specifications.235I252. [PRE (1997)] R. S. Pressman.Software Engineering, A practionera#39;s Approach. McGraw- Hill, fourth edition, 1997. [AAL (2000)] W. M. P. van der Aalst. aWorkflow verification: Finding controlflow errors using Petri-net-based techniquesa.
| Title | : | Property-Preserving Petri Net Process Algebra in Software Engineering |
| Author | : | Hejiao Huang, Li Jiao, To-Yat Cheung |
| Publisher | : | World Scientific - 2012 |
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.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
