14 articles for “Z. Shukur”

Also matching:4 authors

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,581 accessesView PDF Cite

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,139 accessesView PDF Cite

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,227 accessesView PDF Cite

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 · 947 accessesView PDF Cite