Research ArticleOpen accessEvery word in the titleSpecification of Dynamic Time Series Model with Volatile-Outlier Input SeriesT. A. Lasisi, D.K. Shangodoyin, O. O. Sangodoyin et al.Problem statement: This study considers the precision of the output series generated from aberrant input series in the context of the distribution of the dynamic estimate and also investigate relative merit of analyzing residuals with outliers for a volatility input dynamic model. Approach: The study developed a methodology for checking volatility at every time point and evaluates the influence of … …American Journal of Applied Sciences, Vol. 8, Issue 11 · 1 Oct 2011 · 7,102 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleInvestment, Taxes and the Cost of Capital: An Euler Equation Specification TestHuntley SchallerProblem statement: Previous studies (primarily employing goodness-of-fit tests) have found it difficult to provide clear and direct evidence that taxes and the interest rate have a strong influence on investment. Approach: The objective of this study was to test whether the cost of capital, which includes taxes and the interest rate, affects investment. This study used the Euler equation for … …American Journal of Economics and Business Administration, Vol. 2, Issue 3 · 30 Sep 2010 · 7,616 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleAnimation 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,731 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 accessEvery word 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 titleMarine Slow-Speed Diesel Engine Diagnosis with View to Cylinder Oil SpecificationSergey Victorovich Sagin, Oleksandr Vladymyrovich SemenovThe possibility of marine slow-speed diesel engine cylinder-piston group diagnosis with view to the specification of waste oil taken from the under-piston space has been discussed. The specifics of using high-base cylinder oils in marine slow-speed diesel engines to prevent sulfur corrosion of the cylinders have been described. Typical challenges, arising in the process of using oils for lubricating the … …American Journal of Applied Sciences, Vol. 13, Issue 5 · 25 May 2016 · 7,812 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleAutomatic Specification Evaluator for Effective MigrationP. Sudhakar, P. SakthivelProblem statement: Software Reengineering is an effective technique for reuse the older application in the new environment. Nowadays, Reengineering techniques are increasing in spite of many difficulties and issues arise when the older application is converted to newer one. So there is a need to enhance the new system to satisfy the user requirements and quality aspects. Approach: For this … …Journal of Computer Science, Vol. 8, Issue 6 · 14 Mar 2012 · 6,751 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleSecured Requirement Specification Framework (SRSF)R.A. Khan, K. MustafaGenerally, software engineers are poorly trained to elicit, analyze and specify security requirements, often confusing them with the architectural security mechanisms that are traditionally used to fulfill them. One of the most ignored parts of a security-enhanced software development lifecycle is the security requirements engineering process. Security should begin at the requirements level and must cover both overt functional security … …American Journal of Applied Sciences, Vol. 5, Issue 12 · 31 Dec 2008 · 6,872 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleMapping UML Component Specifications to JEE ImplementationsJyhjong LinComponent-based Software Engineering (CbSE) has become a well-accepted approach for developing complex software systems due to its significant advantages on composition and reuse. In practice, however, its use still requires the conjunction of a component specification method that describes how system requirements are satisfied in terms of software components. Such a component specification is then implemented in a variety of … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,478 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleFrom Design Specification to SystemCRachid Boudour, Mohamed T. KimourIn this paper, we present a framework for transforming the design model into SystemC code. Such a framework uses as input UML state machine and object diagrams, which are more and more used as design models in embedded systems. To do this, we have firstly used Poseidon tool for editing the design model and generating the XMI representation, and secondly … …Journal of Computer Science, Vol. 2, Issue 2 · 28 Feb 2006 · 7,202 accessesView PDFCite