Linking integrated formal method with UML /

Linking integrated formal method with UML /

Saved in:

書目詳細資料
主要作者:	Liu, Jing
格式:	Thesis 圖書
語言:	English
出版:	2001.
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Usability of semi-formal and formal methods integration : empirical assessments /
由: Rozilawati Razali
出版: (2008)

Formalization of medical informatics UML and Z specifications
由: Rajoo, Mageswari

A visual composition tool for UML components /
由: Alavijeh, Elham Ebrahimi
出版: (2010)

A reverse engineering UML modelling tool /
由: Sarojini Devi Nagappan
出版: (2008)

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

A case tool for UML via meta-modeling approach /
由: Rosnafisah Sulaiman
出版: (1999)

Pemodelan sistem legasi kepada sistem berasaskan Web menggunakan UML
由: Abdul Rasid Mamat

Software installation formal assessment routine (SIFAR) /
由: Galoh Rashidah Haron
出版: (2006)

Formal analysis of metamodel : an evaluation of an approach using ZOO templates to derive a Z model of part of EMOF /
由: Asmiza Abdul Sani
出版: (2007)

Collaborative model for preparing formal software specification document /
由: Sullabi, Mohamed Ahmed
出版: (2008)

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

Pembangunan E-Learning Menggunakan UML
由: Khairul Nizam, Saud
出版: (2002)

Mobile learning acceptance framework among Malaysian formal part-time learners /
由: Noor Maizatulshima Muhammad Sabri
出版: (2021)

Formal models and algorithms for DNA data analysis using Watson-Crick grammars /
由: Nurul Liyana binti Mohamad Zulkufli
出版: (2017)

An enhanced formal inspection process to improve the efficiency and effectiveness of software inspection process /
由: Taba, Navid Hashemi
出版: (2016)

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

A methodology to support UML-B model development
由: Jasser, Muhammed Basheer
出版: (2018)

An enhanced UML consistency checker using logical approach
由: Ibrahim, Noraini
出版: (2013)

Pemodelan Sistem Pesanan Berasaskan Internet Menggunakan UML
由: Hazaruddin, Harun
出版: (2000)

Penstrukturan data bagi video asas menggunakan kaedah formal untuk pengekstrakan dan perbandingan video
由: Fadilah Harun

Pemodelan aplikasi hipermedia menggunakan kombinasi UML dan HDM
由: Zakaria, Nor Hidayati
出版: (2002)

Predicting the survivability of links in an ad hoc network /
由: Lim, Vivi
出版: (2006)

The implementation of Balinda C++ on a linked PC system /
由: Wang, Haichen
出版: (1999)

Adaptive low power error control for wireless links /
由: Abdullah Muhammed
出版: (2003)

Improving consistency of UML and its implementation using reverse engineering approach
由: Kaliappan, Vasanthi
出版: (2018)

UML-based behavior specification of interactive multimedia applications / Johann Ashaary
由: Ashaary, Johann
出版: (2004)

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

Pemodelan Sistem Legasi Kepada Sistem Berasaskan Web Menggunakan UML
由: Abd. Rasid, Mamat
出版: (2002)

Developing an Integrated Public Transport Information System (IPTIS) for Kuala Lumpur using Service Oriented Architecture (SOA) /
由: Wang, Jing
出版: (2013)

Traffic scheduling and link sharing mechanisms for controlled load service /
由: Chin, Yun Choong
出版: (2000)

Forensic investigation of link fabrication attack in software defined networks /
由: Khan, Suleman
出版: (2017)

Implementation of parallel Quasi-Newton methods for solving nonlinear optimization problems /
由: Zhang, Jing
出版: (2000)

Hybrid concept-based lattice mining model using formal concept analysis (FCA) and adjacency matrix for Al-Qur'an text retrieval
由: Hasni binti Hassan

Pengaruh pendidikan formal dan non-formal terhadap prestasi usahawan
由: Badrul Hisham Haji Alang Osman
出版: (1995)

Formal method for landmark saliency measurement based on social network analysis
由: Najafpour, Hamed
出版: (2012)

Integrated safety method for collision avoidance in vehicle AD-HOC networks /
由: Aboki, Rozita
出版: (2015)

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

Enhancement of UML-based web engineering for metamodels : homepage development case study
由: Said, Karzan Wakil
出版: (2013)

A UML extension for web design model for interaction process and user interface
由: Mubin, Siti Azreena
出版: (2017)

An architecture for augmenting the SCORM run-time environment with a personalised link service /
由: Nor Aniza Abdullah
出版: (2006)

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