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:
主要作者: | |
---|---|
格式: | Thesis |
語言: | English |
出版: |
2008
|
主題: | |
在線閱讀: | http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdf |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|