Probe : a formal specification-based testing system /

Probe : a formal specification-based testing system /

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	al-Amayreh, Ahmed Abedl Rahman
التنسيق:	أطروحة كتاب
اللغة:	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