Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters

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:

書目詳細資料
主要作者:	Balagatabi, Hossein Nematzadeh
格式:	Thesis
語言:	English
出版:	2008
主題:	QA75 Electronic computers Computer science
在線閱讀:	http://eprints.utm.my/id/eprint/18069/1/HosseinNematzadehBalagatabiMFC2008.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
由: Balagatabi, Hossein Nematzadeh
出版: (2008)

Model-based semi-automated test case generation approach using UML diagrams
由: Mohamed Ali, Hussam Mohamed Bashir
出版: (2019)

Automatic model - based test case generation for uml diagrams using tree travelsal algorithm
由: Oluwatolani, Oluwagbemi
出版: (2016)

Modelling and reasoning of large scale fuzzy petri net using inference path and bidirectional methods
由: Zhou, Kaiqing
出版: (2015)

Evaluating the complexity of UML class diagrams
由: Shafiabady, Aida
出版: (2013)

Critic-based and collaborative approach for UML class diagram
由: Abdulkareem, Soran Mahmood
出版: (2015)

Detecting HCI design patterns using UML class diagrams /
由: Aminzadeh, Nazanin
出版: (2010)

Comparison of RLL, state diagram, grafcet and petri net for the realization of logic controller
由: Othman, Zulhairi
出版: (2005)

Automated model-based test case generation using UML activity diagram
由: Monim, Md Abdul
出版: (2018)

Modeling and implementation of visual language using petri net model /
由: Khoo, Siau Cheng
出版: (1987)

A model for validation and verification of disk imaging in computer forensic investigation
由: Palaniappan, P. Siva Shamala
出版: (2009)

Secure hash function based on chaotic neural net works
由: Daei, Pejman
出版: (2013)

Generating UML class diagram from source codes using multi-threading technique
由: Abdullah, Saif Khalid
出版: (2015)

A test case generation framework based on UML statechart diagram
由: Salman, Yasir Dawood
出版: (2018)

Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory
由: Mohamad Jan, Nurhidaya
出版: (2017)

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
由: Nuraini Abdulganiyyi, Nuraini
出版: (2014)

Requirement modeling for data warehouse using goal-UML approach: the case of health care
由: Sajaratul Huda, Mohd Shafie
出版: (2017)

Modelling and implementation business processes using UML state machine for web - based information systems
由: Serenkov, Andrey
出版: (2009)

An enhanced test case generation technique using activity diagram for system testing
由: Yudaya, Nansukusa
出版: (2013)

Stroke-to-stroke matching in on-line signature verification
由: Ahmad Jaini, Azhar
出版: (2010)

Fuzzy Petri Nets as a classification method for automatic speech intelligibility detection of children with speech impairments /
由: Fadhilah Rosdi
出版: (2016)

Apply color invariance in multichannel estimation of optic flow
由: Amirshakarami, Azam
出版: (2010)

Online signature verification based on dynamic feature discriminators
由: Omar, Nazaruddin
出版: (2009)

Two-dimensional barcodes for hardcopy document integrity verification
由: Teoh, Chin Yew
出版: (2008)

Test case prioritization technique using sequence diagram and labeled transition systems in regression testing
由: As’Sahra, Nur Fatimah
出版: (2015)

An enhanced color image encryption algorithm using LT-PRNG
由: Mohammed Ismael, Saba
出版: (2018)

Fruit recognition based on color and chain code shape descriptor
由: Shaker, Manhel Munir
出版: (2011)

Shadow and sky color rendering technique in augmented reality environments
由: Kolivand, Hoshang
出版: (2013)

Online signature verification using probabilistic modeling and neural network
由: Mohamed Ahsan , Amin
出版: (2010)

Mosaicking of torn image using graph algorithm and color pixel matching
由: Thorig, Ibrahim
出版: (2014)

Integration of chaotic map and confusion technique for color medical image encryption
由: Aboejaila Abokhdair , Nuha Omran
出版: (2010)

Account verification to prevent malicious users access in web-based forums
由: Tabar, Mahdi Taheri
出版: (2013)

Graph embedding techniques in face verification
由: Pang, Ying Han
出版: (2012)

Modeling of Petri Net (software development) / Abd. Malik Ab. Rahim
由: Ab. Rahim, Abd. Malik
出版: (1999)

Enhanced face detection framework based on skin color and false alarm rejection
由: Sharifara, Ali
出版: (2015)

Leveraging Ensemble Strategies in Identity Verification and Feature Optimisation for Phishing Website Detection
由: Tan, Colin Choon Lin
出版: (2021)

Agile development in cloud computing for eliciting non-functional requirements
由: Muhammad Younas, Muhammad Younas
出版: (2019)

A modified PSO with fuzzy inference system for solving the planar graph coloring problem
由: Erfani, Mostafa
出版: (2010)

Fusion features ensembling models using Siamese convolutional neural network for kinship verification
由: Mohammed Ali, Al Muashi
出版: (2021)

Kernel function and parameter selection evaluation based on analysis magnetic resonance imaging of brain images
由: Yudistira, Novanto
出版: (2011)

Services hosted by the Perpustakaan Sultan Abdul Samad, Universiti Putra Malaysia with Cooperation MySyL Group