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)

Cannot write session to /tmp/vufind_sessions/sess_hei2so7ik059lnqcaujbf1qovf