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

Modeling 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/9533/1/HosseinNematzadehBalagatabiMFSKSM2008.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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

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

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

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)

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

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

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)

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

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

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

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

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)

Logical approach : consistency rules between activity diagram and class diagram
由: Sulaiman, Noraini
出版: (2015)

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)

Improved funnel-gsea using adaptive elastic-net penalization method to identify significant gene sets
由: Mohd. Hasri, Nurul Nadzirah
出版: (2021)

Adaptive hybrid segmentation model based on watershed and enhanced u-net for endothelial human cornea cells
由: Sami, Ahmed Saifullah
出版: (2021)

An improvement of RGB color image watermarking technique using ISB stream bit and Hadamard matrix
由: Mohammed, Ramadhan Ali
出版: (2014)

Redesign, optimization and validation of keyseat
由: Muttaqin, Hilman
出版: (2008)

Application of Fuzzy C-Means with YCbCr and DenseNet-201 for Automated Corn Leaf Disease Detection
由: Chyntia Jaby, Entuni
出版: (2021)

Offline signature verification using ordinal structure fuzzy logic and integrated features based on single signature
由: Abdulfattah, Ghassan Marwan
出版: (2019)

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

RGB color image watermarking using Discrete Wavelet Transform DWT technique and 4-bits plan by histogram stretching
由: Kadhim, Karrar Abdul Ameer
出版: (2013)

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