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...

Full description

Bibliographic Details
Main Author:	Ab. Hamid, Siti Hafizah
Format:	Thesis
Published:	2013
Subjects:	QA76 Computer software

Similar Items

Pakej pembelajaran matematik UPSR (M3UPSR) / Radziah Ab. Hamid
by: Radziah, Ab. Hamid
Published: (2001)

Smart bin for wet waste detection using ESP8266 NodeMCU / Siti Nur Athirah Ab Hamid
by: Ab Hamid, Siti Nur Athirah
Published: (2020)

Text extraction from invariant complex image
by: Al Hashi, Nouri Ali Al Mabrouk
Published: (2009)

Kejadian khalwat di Bandaraya Pulau Pinang (Perbincangan khas dengan Bukit Mertajam) / Ab. Halim Ab. Hamid
by: Ab. Halim , Ab. Hamid
Published: (1978)

Noisy product: user's response on form design / Abu Hanifa Ab. Hamid
by: Ab. Hamid, Abu Hanifa
Published: (2014)

Sistem pengurusan jenazah / Nik Izan Hafizah Nik Husin
by: Nik Izan Hafizah , Nik Husin
Published: (2000)

Marangoni convection in a horizontal liquid layer with insoluble surfactant / Ainon Syazana Ab Hamid
by: Ab Hamid, Ainon Syazana
Published: (2013)

Academic Advisor System (AAS) / Hafizah Ismail
by: Hafizah, Ismail
Published: (2005)

Reuse oriented approach for reliable software product / Maziah Abdul Hamid
by: Abdul Hamid, Maziah
Published: (2005)

Islamic abstractive motifs interpretation in Persian art: A historical study of Herat school painting / Neda Zoghi
by: Neda , Zoghi
Published: (2019)

Performance measurement framework for local authorities in Sarawak / Siti Mardinah Abdul Hamid
by: Abdul Hamid, Siti Mardinah
Published: (2019)

Models of integrated inventory system with stock-dependent demand / Hafizah Zulkipli
by: Zulkipli, Hafizah
Published: (2013)

Budaya berfikir kritis: Kajian di era pemerintahan Khalifah ‘Umar bin ‘Abd-‘Al-Aziz (99-101H) / Norafifah Ab. Hamid
by: Norafifah , Ab. Hamid
Published: (2010)

Courseware on learning science for preschooler / Noor Hafizah Che Ali
by: Che Ali, Noor Hafizah
Published: (2006)

Generic nodal abstraction for enhancing human-agent collaborative model with an integrated security and trust aspects
by: Mohammed, Khudair Abbas
Published: (2019)

Sikap dan aktiviti politik di kalangan masyarakat luar bandar: Satu kajian kes di Mukim Jerangau, Dungun, Terengganu / Mursiedy Ab. Hamid
by: Mursiedy , Ab. Hamid
Published: (1985)

Weighted central moment for image invarianceness
by: Pamungkas, Rela Puteri
Published: (2011)

Framework for pose-invariant face recognition
by: Shahdi, Seyed Omid
Published: (2012)

Feature extraction and clustering of trademark images : a comparison between geometric moment invariant and zernike moment invariant
by: Abd. Halim, Shahliza
Published: (1999)

IT and productivity in Malaysia : firm-level evidence / Nor Hafizah Mohd. Arop
by: Mohd Arop, Nor Hafizah
Published: (2002)

Formal features of co-operative talk amongst Malay female speakers / Hafizah Ahamad
by: Ahamad, Hafizah
Published: (2004)

Oral health needs and barriers to care in children with congenital heart disease / Hafizah Mohammad
by: Hafizah , Mohammad
Published: (2024)

Outdoor education program participation on UiTM students' leadership practices / Siti Fadhilah Abdul Hamid
by: Abdul Hamid, Siti Fadhilah
Published: (2014)

Sejarah dan identiti senibina kolonial Inggeris di bandar Taiping Perak / Hafizah Badaruzaman
by: Hafizah, Badaruzaman
Published: (1988)

Production of polysaccharide from Ganoderma neojaponicum imazeki / Nik Hafizah Nik Ubaidillah
by: Nik Hafizah , Nik Ubaidillah
Published: (2017)

Bending behaviour of timber beams strenghthened using bonded-in plates / Hafizah Muhamad Azlan
by: Muhamad Azlan, Hafizah
Published: (2013)

An integrated value management (IVM) framework for contractors in design and build (D&B) projects / Siti Hamidah Abdul Hamid
by: Abdul Hamid, Siti Hamidah
Published: (2014)

Stabilities and encapsulation of cattleya bowringiana anthocyanin extracts in calcium alginate beads / Noor Hafizah Abdullah
by: Abdullah, Noor Hafizah
Published: (2009)

Method and tool to generate requirement traceability Matrix for scrum development methodology
by: Duraisamy, Gunavathi
Published: (2014)

Higher Order Centralised Scale-Invariants for Unconstrained Isolated Handwritten Digits
by: Shamsuddin, Siti Mariyam
Published: (2000)

Laman web Info Unix / Mohd Shazwim S. Hamid Marican
by: Mohd Shazwim, S. Hamid Marican
Published: (2002)

Multi-objective flow measurement in software defined networks (SDN) for datacenter / Hamid Tahaei
by: Hamid , Tahaei
Published: (2018)

Saudi car plate recognition using invariant moment
by: A. Altalhi, Ahmed Salem
Published: (2009)

Human activities recognition under camera position-invariant
by: Hosseini, Behnam
Published: (2010)

Evaluating the avoidance factors in counselling using fuzzy analytical hierarchy process (AHP) / Nurul Hafizah Alias
by: Alias, Nurul Hafizah
Published: (2020)

Patients’ satisfaction with physiotherapy for low back pain among elderly in Institutional care / Hafizah Abdul Aziz
by: Abdul Aziz, Hafizah
Published: (2016)

Interval estimation of the concentration parameter and missing value imputation in the von mises distribution / Nor Hafizah Moslim
by: Nor Hafizah , Moslim
Published: (2022)

The effects of sonification on interpretation of geo-visualization of complex dengue data
by: Lee, Lilian Yen Wei
Published: (2018)

Commutativity degrees and related invariants of some finite nilpotent groups
by: Abd. Manaf, Fadila Normahia
Published: (2013)

Summation Invariants Of Objects Under Projective Transformation Group With Application
by: Azhir, Nasereh
Published: (2016)

Cannot write session to /tmp/vufind_sessions/sess_pvei8eqjkiotn1v02e0pdi5ujj