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

142 articles for “Z specification”
Set a search alert
Research ArticleOpen accessEvery word in the titleVHDL Specification Methodology from High-level SpecificationM. Benmohammed, S. MernizDesign complexity has been increasing exponentially this last decade. In order to cope with such an increase and to keep up designers' productivity, higher level specifications were required. Moreover new synthesis systems, starting with a high level specification, have been developed in order to automate and speed up processor design. This study presents a VHDL specification methodology aimed to extend … …Journal of Computer Science, Vol. 1, Issue 2 · 30 Jun 2005 · 6,937 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleStrong Dependence at the Long Run and the Cyclical Frequencies in the Specification of the US Unemployment RateL. A. Gil-AlanaThis study deals with the presence of long range dependence at the long run and the cyclical frequencies in the specification of the US unemployment rate. We use a parametric procedure that permits us to test unit and fractional roots in raw time series. The results show that both the long run and the cyclical structures present a component of … …American Journal of Applied Sciences, Vol. 2, Issue 2 · 28 Feb 2005 · 6,501 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleSpecification of the Outlier Univariate ModelN. P. OlewueziProblem statement: An outlier is an observation that deviates so much from other observations so as to arouse suspicion that it was generated by a different mechanism. Approach: In this study, outlier univariate model was specified based on statistical measures, Outlier Free (OF) and Outlier Contaminated (OC) models were Stated and compared. Results: The number of expected outliers obtained and … …Journal of Mathematics and Statistics, Vol. 7, Issue 4 · 3 Nov 2011 · 6,905 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 keywordsPersonal Legacy Information Management System for Muslim in Malaysia: A Preliminary DesignHanis Salwan Mobidin, Rossilawati Sulaiman, Zarina Shukur, Noorazean Mohd AliThere is an alarming amount of frozen and unclaimed assets in Malaysia. Among the factors that contribute to this situation is the failure of the decedent to leave a will to the heirs of the estate or to leave the important documents necessary to initiate the distribution of the estate. This lack of preparation will inimitably put the heirs in … …Journal of Computer Science, Vol. 15, Issue 12 · 4 Dec 2019 · 7,333 accessesView PDFCite
Research ArticleOpen accessIn the keywordsVisually Impaired Children's Acceptances on Assistive CoursewareNurulnadwan Aziz, Nur Hazwani Mohamad Roseli, Ariffin Abdul MutalibProblem statement: The government of Malaysia is considering serious efforts in promoting the usage of computers among disabled people. Currently, the availability of computer applications especially related to creative contents for disabled people in Malaysia is infancy and very expensive. Research and expertise in the area of Assistive Technology (AT) in Malaysia is still uncommon and not extensively utilized. Therefore … …American Journal of Applied Sciences, Vol. 8, Issue 10 · 7 Sep 2011 · 7,277 accessesView PDFCite
Research ArticleOpen accessIn the keywordsSpecifying Processes: Application to Electrical Power DistributionSabah Al-Fedaghi, Lina Al-SalehProblem statement: This study deals with the problem of how to specify processes. Many process specification methodologies have been determined to be incomplete; for example, ISO 9000:2005 defines process as transforming media inputs into outputs. Nevertheless, the author of the Quality Systems Handbook, declares that such a definition is incomplete because processes create results and not necessarily by transforming inputs. … …Journal of Computer Science, Vol. 7, Issue 11 · 6 Sep 2011 · 6,662 accessesView PDFCite
Research ArticleOpen accessIn the keywordsSynthesizing Behavioral Model of Event-Based RequirementsSeyyed M. BabamirProblem Statement: in the software engineering field, satisfaction of user's requirements by software has been a matter of concern. Therefore, monitoring software behavior against user's high-level requirements has already received a considerable and significant attention. However, the gap between low-level software behavior and high-level requirements has put an obstacle in the way of monitoring. Approach: to overcome the obstacle, we … …Journal of Computer Science, Vol. 4, Issue 7 · 31 Jul 2008 · 6,667 accessesView PDFCite
Research ArticleOpen accessIn the keywordsThe 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
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