Probe : a formal specification-based testing system /

Probe : a formal specification-based testing system /

Saved in:

书目详细资料
主要作者:	al-Amayreh, Ahmed Abedl Rahman
格式:	Thesis 图书
语言:	English
出版:	Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997.
主题:	Computer software > Testing. PROBE Project. Prolog (Computer program language).
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

A knowledge based system for machine tool replacement /
由: Mohd. Amin Abd. Majid
出版: (1993)

Query proof structure caching for incremental evaluation of tabled PROLOG programs /
由: Ali, Taher Muhammad
出版: (2013)

Computational lexicography : constructing a lexical database in prolog /
由: Ooi, Beng Yeow
出版: (1987)

Materials characterization and modification with scanning probe techniques /
由: Lei, Zhou
出版: (1998)

Development of a Diagnostic Oligonucleotide DNA Probe for the Rapid Detection of Vibrio Cholerae O139
由: Khaw, Aik Kia
出版: (2001)

Mathematical modelling of mass transport in linear, shunt and concentric microdialysis probes
由: Siti Kartini, Enche Ab Rahim

Test case generation from state machine with OCL constraints using search-based techniques /
由: Saeed, Aneesa Ali Ali
出版: (2017)

TISPS : a tool for information system project selection /
由: Geetha Baskaran
出版: (2005)

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

Development of a software testing tool for applications on Android mobile devices /
由: Kam, Kah Kiang
出版: (2013)

Meaningful test data generation based on statistical methods /
由: Hameed, Shihab Ahmed
出版: (2000)

Molecular characterization of high-risk human papillomaviruses in renal cell carcinoma
由: Ali Farhadi Andar Abi,
出版: (2013)

Software architecture in project management /
由: Looi, Kum Yeng
出版: (2001)

Fabrication and characterization of submicrometer structures and devices using soft lithography and scanning probe microscopy /
由: Ng, Hou Tee
出版: (2001)

Electrochemical removal of mercury from aqueous solution using task-specific ionic liquid immobilised on palm shell activated carbon /
由: Hawaiah Imam Maarof
出版: (2022)

Object oriented testing : an automated testing tool for C++ classes : C++ class implementation, specification & testing system (CIST) /
由: Chong, Philip Yee Fatt
出版: (1995)

Development of a web-based software project management application using oracle application express /
由: Dar, Irshad ur Rehman
出版: (2011)

Conceiver : a program understanding system /
由: al-Omari, Hani Moh'd Ahmad
出版: (1999)

A test-to-code traceability method for facilitating software maintenance /
由: Rafati, Azadeh
出版: (2014)

Design considerations for problem based learning support tools /
由: Amayreh, Khaled
出版: (2006)

Requirements management tools /
由: Ameran Jaffar
出版: (2004)

Continuous integration for automated test execution with Jenkins /
由: Azriana Sanimin
出版: (2013)

Courseware for primary school Science syllabus in plants life process / Muhammad Hareez Ibrahim
由: Ibrahim, Muhammad Hareez
出版: (2015)

Multi-threading technique for authorization of credit card system using .Net and Java /
由: Wong, Yew Ming
出版: (2008)

JCASE : Java based case tool skeleton /
由: Chen, Ai-Min
出版: (1997)

A design tool for a software system /
由: Ow, Siew Hock
出版: (1989)

A case tool for code inspection /
由: Siti Hajar Alias
出版: (2002)

Companalyser : sistem penganalisa kekompleksan aturcara C (kuantitatif) /
由: Rose Hafsah Ab. Rauf
出版: (1997)

Mining stack overflow to recommend Java API classes using word embedding and topic modelling /
由: Lee, Wai Keat
出版: (2019)

Extending a word processor for a literate programming system /
由: Lim, Peng Heng
出版: (1997)

Maintenance of software product line using software testing optimization techniques /
由: Muhammad Abid Jamil
出版: (2020)

Invariants generation for method overriding using abstract interpretation /
由: Siti Hafizah Ab. Hamid
出版: (2013)

Electron beam testing of integrated circuits using a modified scanning electron microscope /
由: Sim, Kian Sin
出版: (1990)

Program query language PQL system /
由: Wang, Guo Sheng
出版: (1996)

The evaluation of software requirement specifications for software testers / Rifhan A Rahim
由: A Rahim, Rifhan
出版: (2017)

A cloud testing solution on android devices for compatibility and portability issues /
由: Lanui, Ammar
出版: (2018)

Program query & transformation system for software re-engineering projects /
由: Ding, Xin
出版: (1996)

Effective query translation technique in Hausa cross-language information retrieval system /
由: Ibrahim, Muhamad Sani
出版: (2017)

The implementation of BaLinda C and C++ for sun systems /
由: Wang, Qun
出版: (1997)

A risk model focusing on communication and stakeholder management for agile projects /
由: Charapiyev, Aidan
出版: (2021)

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