|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Salmi Baharom, Zarina Shukur |
An experimental assessment of module documentation-based testing.  |
Information & Software Technology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Surya Ismail, Sufian Bin Idris, Abu Bakar Marini, Zarina Shukur |
Initial design of an application programming interface for a university operating system. |
ICEEI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zarina Shukur, Norasikin Fabil, Juhana Salim, Shahrul Azman Noah |
Visualization of the Hadith Chain of Narrators. |
IVIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mabroka Ali Mayouf, Zarina Shukur |
Using Animation in Active Learning Tool to Detect Possible Attacks in Cryptographic Protocols. |
IVIC |
2009 |
DBLP DOI BibTeX RDF |
possible attacks, animation, active learning, cryptographic protocols, visual metaphor |
| 1 | Mohammed Sullabi, Zarina Shukur |
Web-based Collaborative Model for Preparing Formal Software Specifications. |
iiWAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zarina Shukur, Abdullah Mohd Zin, Ainita Ban |
M2Z: A Tool for Translating a Natural Language Software Specification into Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Formal methods, machine translation, Z, linguistic |
| 1 | Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin |
A Knowledge-based Automated Debugger in Learning System. |
AADEBUG |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")