Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters /
Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2008
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/9533 |
| _version_ | 1826397096058552320 |
|---|---|
| author | 210820 Hossein Nematzadeh Balagatabi Safaai Deris, supervisor |
| author_facet | 210820 Hossein Nematzadeh Balagatabi Safaai Deris, supervisor |
| author_sort | 210820 Hossein Nematzadeh Balagatabi |
| collection | OCEAN |
| description | Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2008 |
| first_indexed | 2024-03-04T22:45:31Z |
| format | |
| id | KOHA-OAI-TEST:205431 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T22:45:31Z |
| publishDate | 2008 |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2054312020-12-19T17:05:54ZModelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / 210820 Hossein Nematzadeh Balagatabi Safaai Deris, supervisor 2008Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2008Include bibliographical referencesPRZSLObject-oriented methods (Computer science)UML (Computer science)Computer softwarehttp://eprints.utm.my/9533 |
| spellingShingle | Object-oriented methods (Computer science) UML (Computer science) Computer software 210820 Hossein Nematzadeh Balagatabi Safaai Deris, supervisor Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / |
| title | Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / |
| title_full | Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / |
| title_fullStr | Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / |
| title_full_unstemmed | Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / |
| title_short | Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters / |
| title_sort | modelling uml activity diagram to colored petri net for validation and verification based on non functional parameters |
| topic | Object-oriented methods (Computer science) UML (Computer science) Computer software |
| url | http://eprints.utm.my/9533 |
| work_keys_str_mv | AT 210820hosseinnematzadehbalagatabi modellingumlactivitydiagramtocoloredpetrinetforvalidationandverificationbasedonnonfunctionalparameters AT safaaiderissupervisor modellingumlactivitydiagramtocoloredpetrinetforvalidationandverificationbasedonnonfunctionalparameters |