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

5 articles for “formal validation”
Set a search alert
Research ArticleOpen accessPhrase in the titleFormal 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
Review ArticleOpen accessIn the abstractA Systematic Review of Artificial Intelligence and Deep Learning Approaches for Cocoa Pod Disease DetectionHenry Techie-Menson, Michael Asante, Yaw Marfo Missah et al.Cocoa pod diseases destroy an estimated 700,000 metric tons of cocoa annually, threatening 40–50 million smallholder farmers across tropical regions. Accurate field diagnosis remains constrained by symptom similarity, labour-intensive scouting, and limited specialist access in remote communities. This paper presents a PRISMA-guided systematic review of 25 peer-reviewed studies on automated cocoa pod disease detection and classification (2016–2026), addressing architectural approaches, … …Journal of Computer Science, Vol. 22, Issue 8 · 8 Sep 2026 · 733 accessesView PDFCite
Research ArticleOpen accessIn the abstractCombining Model-Based Testing and Failure Modes and Effects Analysis for Test Case Prioritization: A Software Testing ApproachAtifi Meriem, Marzak AbdelazizDue to The complexity of modern software projects and the increasing size of software systems, it becomes difficult to manually perform tests with limited resources. Also, manual testing cannot assure that the software is tested using all possible combinations of inputs. Therefore, automate software testing activities have become primordial in the Software Development Life Cycle (SDLC). Model-based testing is a … …Journal of Computer Science, Vol. 15, Issue 4 · 4 Apr 2019 · 8,216 accessesView PDFCite
Research ArticleOpen accessIn the abstractA Petri Net Based Agent Behavioral TestingZina Houhamdi, Belkacem AthamenaIn Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults … …American Journal of Applied Sciences, Vol. 9, Issue 11 · 10 Sep 2012 · 6,682 accessesView PDFCite
Research ArticleOpen accessAll words, across the recordA 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