Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
UML is one of the modeling tools which gains wide area of usage in developing softwares. It consists of many diagrams which help developers of a software to produce better product. One of its diagrams is called Activity Diagram. It is a deliverable which is usually produced in the analysis phase of...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdf http://eprints.utm.my/id/eprint/18069/ http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:870?queryType=vitalDismax&query=Modelling+UML+activity+diagram+to+colored+petri+net+for+validation+and+verification+based+on+non+functional+parameters&public=true |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Internet
http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdfhttp://eprints.utm.my/id/eprint/18069/
http://dms.library.utm.my:8080/vital/access/manager/Repository/vital:870?queryType=vitalDismax&query=Modelling+UML+activity+diagram+to+colored+petri+net+for+validation+and+verification+based+on+non+functional+parameters&public=true