Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

18 results for “Z. Shukur”
Set a search alert
Research ArticleOpen accessIn the author namesA Study of Mashup as a Software Application Development Technique with Examples from an End-User Programming PerspectiveLiu Na, Ahmed Patel, Rodziah Latih et al.The purpose of this study is to present, introduce and explain the principles, concepts and techniques of mashups through an analysis of mashup tools from End-user Development (EuD) software engineering perspectives, since it is a new programming paradigm. Problem statement: Although mashup tools supporting the creation of mashups rely heavily on data integration, they still require users to have reasonable … …Journal of Computer Science, Vol. 6, Issue 12 · 2 Nov 2010 · 8,429 accessesView PDFCite
Research ArticleOpen accessIn the author namesAnimation of Natural Language Specifications of Authentication ProtocolsMabroka A. Mayouf, Zarina ShukurProblem Statement: A few visualization tools have been created for protocol design and analysis. Although these tools provide an environment for designing security protocols, each one has its own protocol definition language (its also called informal specification language). The problem is that the user should understand the language which related to the used tool in order to define an exist … …Journal of Computer Science, Vol. 4, Issue 7 · 31 Jul 2008 · 6,736 accessesView PDFCite
Research ArticleOpen accessIn the author namesThe Conceptual Design of Module Documentation Based Testing ToolSalmi Baharom, Zarina ShukurSoftware testing plays an important role to assure the quality of software and can be highly effective if performed rigorously. Studies found that testing can benefit from formal specification as it provides precise description of expected software behavior and most importantly, it is in a form that it can be manipulated easily for automation purpose. Grey-box testing approach usually based … …Journal of Computer Science, Vol. 4, Issue 6 · 30 Jun 2008 · 6,534 accessesView PDFCite
Research ArticleOpen accessIn the author namesThe Design of ADAT: A Tool for Assessing Automata-Based AssignmentsZarina Shukur, Nurul Fatihah MohamedThis study describes the design of an automatic assessment system for assessing an automata-based assignment. Automata concept is taught in several undergraduate computing courses such as Theory of Computation, Automata and Formal Languages and Compilers. We take two elements into consideration when assessing the student's answers; static element and dynamic element. The static element involves the number of states (initial … …Journal of Computer Science, Vol. 4, Issue 5 · 31 May 2008 · 7,013 accessesView PDFCite
Research ArticleOpen accessIn the author namesCSCW for Preparing Formal Software Specifications: Issues and ImplementationMohamed A. Sullabi, Zarina ShukurIn this study, we concern with how a group of rectifiers can be worked on preparing and producing correct formal software specification and how can they communicate with each other. To address these subjects, we come into view of two different issues, collaborative issues and formal specification issues. Each of these issues is taken into consideration when we propose the … …Journal of Computer Science, Vol. 4, Issue 4 · 30 Apr 2008 · 6,584 accessesView PDFCite
Research ArticleOpen accessIn the author namesSNL2Z: Tool for Translating an Informal Structured Software Specification into Formal SpecificationMohamed A. Sullabi, Zarina ShukurIn the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool … …American Journal of Applied Sciences, Vol. 5, Issue 4 · 30 Apr 2008 · 7,145 accessesView PDFCite
Research ArticleOpen accessIn the author namesFormal Validation of the Safety Property of Sack Protocol Using Theorem Proving TechniqueZ. Shukur, N. Alias, M. H. Mohamed Halip, B. IdrusThis paper demonstrates the formal validation process of safety properties of Selective ACKnowledgment (SACK) protocol. SACK is a complex communication protocol as it is used in various types of distributed computer systems and networks. This acknowledgment mechanism is used with sliding window protocol that allows the receiver to acknowledge packets received out of order, but within the correct sliding window. … …Journal of Computer Science, Vol. 3, Issue 6 · 30 Jun 2007 · 6,231 accessesView PDFCite
Research ArticleOpen accessIn the author namesCuticular Chitin of the Wild Silkworm Saturnia Pyri: A Renewable Source for Applications Across Industrial SectorsZarintaj Shukurova, Yusif Shukurlu, Zarbali Khalilov, Madina SharifovaIn the context of a developing sustainable bioeconomy, the search for renewable sources of biopolymers as alternatives to traditional ones is of crucial importance. In this regard, insect cuticular waste represents a promising yet insufficiently explored raw material for obtaining chitin and chitosan. This study aimed to perform a comparative assessment of the extraction efficiency and quality of chitin and … …OnLine Journal of Biological Sciences, Vol. 26, Issue 3 · 7 Aug 2026 · 950 accessesView PDFCite