Research ArticleOpen accessPhrase in the titleSNL2Z: 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 PDFCite
Research ArticleOpen accessEvery word in the titleCSCW 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 PDFCite
Research ArticleOpen accessIn the keywordsFormal 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 PDFCite
Research ArticleOpen accessIn the keywordsA Design Method of SPEM-based Feature Methodology FrameworkChee-Yang Song, Eun-Sook ChoExisting feature methodologies have been presented primarily at the research level, lacking generalized frameworks suitable for commercial application. Critically, the absence of SPEM (Software & Systems Process Engineering Metamodel) standard compliance limits their standardization and systematization, hindering practical adoption. Furthermore, work-product-based feature methodology frameworks that facilitate methodological structuring are needed to address the evolving complexity of software development processes. This … …Journal of Computer Science, Vol. 21, Issue 11 · 26 Dec 2025 · 1,719 accessesView PDFCite
Research ArticleOpen accessIn the abstractSemSimp: A Parametric Method for Evaluating the Semantic Similarity of Digital ResourcesAntonio De Nicola, Anna Formica, Ida Mele, Francesco TaglinoAbioui, H., Idarrou, A., Bouzit, A., & Mammass, D. (2018). Towards a Novel and Generic Approach for OWL Ontology Weighting. Procedia Computer Science, 127, 426–435. https://doi.org/10.1016/j.procs.2018.01.140 Adhikari, A., Dutta, B., Dutta, A., Mondal, D., & Singh, S. (2018). An intrinsic information content-based semantic similarity measure considering the disjoint common subsumers of concepts of an ontology. Journal of the Association for … …Journal of Computer Science, Vol. 20, Issue 8 · 27 May 2024 · 5,773 accessesView PDFCite
Research ArticleOpen accessIn the abstractExplicit Allocation Strategy with Deadline and Budget Constraint Algorithm in Bag of Tasks GridM. Suresh Kumar, T. PurusothamanProblem statement: This study is for effective scheduling of grid jobs based on economy for space shared resources in Bag of tasks grid. Grid Computing aims in combining the power of heterogeneous, geographically distributed, multi-domain computational resources to provide high performance or high throughput. Approach: Space shared resources are parallel supercomputers and clusters of workstations that provides a great amount … …Journal of Computer Science, Vol. 8, Issue 7 · 7 Jun 2012 · 6,229 accessesView PDFCite
Research ArticleOpen accessIn the abstractDistributed Real Time Architecture for Data Placement in Wireless Sensor NetworksSanjeev Gupta, Mayank DaveProblem statement: Application scenarios of Wireless Sensor Networks (WSN) create interesting design challenges since the sensor nodes used to collect and communicate data may fail suddenly and unpredictably. The issue of real-time and reliable data delivery is extremely important for taking effective decisions in WSN. Approach: In this study we proposed architecture for reliable and real-time approach for data placement … …Journal of Computer Science, Vol. 5, Issue 12 · 31 Dec 2009 · 6,633 accessesView PDFCite
Research ArticleOpen accessIn the abstractSecurity Policy Development: Towards a Life-Cycle and Logic-Based Verification ModelLuay A. Wahsheh, Jim Alves-FossAlthough security plays a major role in the design of software systems, security requirements and policies are usually added to an already existing system, not created in conjunction with the product. As a result, there are often numerous problems with the overall design. In this paper, we discuss the relationship between software engineering, security engineering, and policy engineering and present … …American Journal of Applied Sciences, Vol. 5, Issue 9 · 30 Sep 2008 · 7,338 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe 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,532 accessesView PDFCite