Invariants generation for method overriding using abstract interpretation / Siti Hafizah Ab. Hamid

Software verification is an important element of software reliability. The significance and importance of verification have been recognized by Bill Gates in his speech in WinHEC 2002. The software verification allows program’s specification to be formally proved to ensure the specification verified...

書誌詳細
第一著者:	Ab. Hamid, Siti Hafizah
フォーマット:	学位論文
出版事項:	2013
主題:	QA76 Computer software

類似資料

Pakej pembelajaran matematik UPSR (M3UPSR) / Radziah Ab. Hamid
著者:: Radziah, Ab. Hamid
出版事項: (2001)

Smart bin for wet waste detection using ESP8266 NodeMCU / Siti Nur Athirah Ab Hamid
著者:: Ab Hamid, Siti Nur Athirah
出版事項: (2020)

Text extraction from invariant complex image
著者:: Al Hashi, Nouri Ali Al Mabrouk
出版事項: (2009)

Kejadian khalwat di Bandaraya Pulau Pinang (Perbincangan khas dengan Bukit Mertajam) / Ab. Halim Ab. Hamid
著者:: Ab. Halim , Ab. Hamid
出版事項: (1978)

Noisy product: user's response on form design / Abu Hanifa Ab. Hamid
著者:: Ab. Hamid, Abu Hanifa
出版事項: (2014)

Sistem pengurusan jenazah / Nik Izan Hafizah Nik Husin
著者:: Nik Izan Hafizah , Nik Husin
出版事項: (2000)

Marangoni convection in a horizontal liquid layer with insoluble surfactant / Ainon Syazana Ab Hamid
著者:: Ab Hamid, Ainon Syazana
出版事項: (2013)

Academic Advisor System (AAS) / Hafizah Ismail
著者:: Hafizah, Ismail
出版事項: (2005)

Reuse oriented approach for reliable software product / Maziah Abdul Hamid
著者:: Abdul Hamid, Maziah
出版事項: (2005)

Islamic abstractive motifs interpretation in Persian art: A historical study of Herat school painting / Neda Zoghi
著者:: Neda , Zoghi
出版事項: (2019)

Performance measurement framework for local authorities in Sarawak / Siti Mardinah Abdul Hamid
著者:: Abdul Hamid, Siti Mardinah
出版事項: (2019)

Models of integrated inventory system with stock-dependent demand / Hafizah Zulkipli
著者:: Zulkipli, Hafizah
出版事項: (2013)

Budaya berfikir kritis: Kajian di era pemerintahan Khalifah ‘Umar bin ‘Abd-‘Al-Aziz (99-101H) / Norafifah Ab. Hamid
著者:: Norafifah , Ab. Hamid
出版事項: (2010)

Courseware on learning science for preschooler / Noor Hafizah Che Ali
著者:: Che Ali, Noor Hafizah
出版事項: (2006)

Generic nodal abstraction for enhancing human-agent collaborative model with an integrated security and trust aspects
著者:: Mohammed, Khudair Abbas
出版事項: (2019)

Sikap dan aktiviti politik di kalangan masyarakat luar bandar: Satu kajian kes di Mukim Jerangau, Dungun, Terengganu / Mursiedy Ab. Hamid
著者:: Mursiedy , Ab. Hamid
出版事項: (1985)

Weighted central moment for image invarianceness
著者:: Pamungkas, Rela Puteri
出版事項: (2011)

Framework for pose-invariant face recognition
著者:: Shahdi, Seyed Omid
出版事項: (2012)

Feature extraction and clustering of trademark images : a comparison between geometric moment invariant and zernike moment invariant
著者:: Abd. Halim, Shahliza
出版事項: (1999)

IT and productivity in Malaysia : firm-level evidence / Nor Hafizah Mohd. Arop
著者:: Mohd Arop, Nor Hafizah
出版事項: (2002)

Formal features of co-operative talk amongst Malay female speakers / Hafizah Ahamad
著者:: Ahamad, Hafizah
出版事項: (2004)

Oral health needs and barriers to care in children with congenital heart disease / Hafizah Mohammad
著者:: Hafizah , Mohammad
出版事項: (2024)

Outdoor education program participation on UiTM students' leadership practices / Siti Fadhilah Abdul Hamid
著者:: Abdul Hamid, Siti Fadhilah
出版事項: (2014)

Sejarah dan identiti senibina kolonial Inggeris di bandar Taiping Perak / Hafizah Badaruzaman
著者:: Hafizah, Badaruzaman
出版事項: (1988)

Production of polysaccharide from Ganoderma neojaponicum imazeki / Nik Hafizah Nik Ubaidillah
著者:: Nik Hafizah , Nik Ubaidillah
出版事項: (2017)

Bending behaviour of timber beams strenghthened using bonded-in plates / Hafizah Muhamad Azlan
著者:: Muhamad Azlan, Hafizah
出版事項: (2013)

An integrated value management (IVM) framework for contractors in design and build (D&B) projects / Siti Hamidah Abdul Hamid
著者:: Abdul Hamid, Siti Hamidah
出版事項: (2014)

Stabilities and encapsulation of cattleya bowringiana anthocyanin extracts in calcium alginate beads / Noor Hafizah Abdullah
著者:: Abdullah, Noor Hafizah
出版事項: (2009)

Method and tool to generate requirement traceability Matrix for scrum development methodology
著者:: Duraisamy, Gunavathi
出版事項: (2014)

Higher Order Centralised Scale-Invariants for Unconstrained Isolated Handwritten Digits
著者:: Shamsuddin, Siti Mariyam
出版事項: (2000)

Laman web Info Unix / Mohd Shazwim S. Hamid Marican
著者:: Mohd Shazwim, S. Hamid Marican
出版事項: (2002)

Multi-objective flow measurement in software defined networks (SDN) for datacenter / Hamid Tahaei
著者:: Hamid , Tahaei
出版事項: (2018)

Saudi car plate recognition using invariant moment
著者:: A. Altalhi, Ahmed Salem
出版事項: (2009)

Human activities recognition under camera position-invariant
著者:: Hosseini, Behnam
出版事項: (2010)

Evaluating the avoidance factors in counselling using fuzzy analytical hierarchy process (AHP) / Nurul Hafizah Alias
著者:: Alias, Nurul Hafizah
出版事項: (2020)

Patients’ satisfaction with physiotherapy for low back pain among elderly in Institutional care / Hafizah Abdul Aziz
著者:: Abdul Aziz, Hafizah
出版事項: (2016)

Interval estimation of the concentration parameter and missing value imputation in the von mises distribution / Nor Hafizah Moslim
著者:: Nor Hafizah , Moslim
出版事項: (2022)

The effects of sonification on interpretation of geo-visualization of complex dengue data
著者:: Lee, Lilian Yen Wei
出版事項: (2018)

Commutativity degrees and related invariants of some finite nilpotent groups
著者:: Abd. Manaf, Fadila Normahia
出版事項: (2013)

Summation Invariants Of Objects Under Projective Transformation Group With Application
著者:: Azhir, Nasereh
出版事項: (2016)