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 |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
成为第一个发表评论!