Research ArticleOpen accessIn the abstractAutomatic 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 accessIn the abstractSecured 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 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 abstractSynthesizing 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 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
Research ArticleOpen accessIn the abstractA Software Agent for Automatic Creation of a PLC ProgramWalid Mohamed AlyUsing structured design techniques to design a Programmable Logical Control (PLC) program would decrease the time needed for debugging and produces a concise bug free code. This study is concerned with the design of a software agent for automatic creation of code for a PLC program that can be downloaded on a Siemens Step 7 series. The code is generated … …Journal of Computer Science, Vol. 4, Issue 5 · 31 May 2008 · 6,710 accessesView PDFCite
Research ArticleOpen accessIn the abstractMapping 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 accessIn the abstractThe Design of a Complex Software System with ArchjavaDjamal Bennouar, Tahar Khammaci, Abderrezak HenniSoftware development by assembling components represents a very promising way for the design of high quality software at lower costs. The assembly is specified by the Architecture Description Languages (ADL). ArchJava is an ADL that is characterized by its independence from the application domain and its close position to the implementation level, thus making it very attractive for practitioners. Until … …Journal of Computer Science, Vol. 2, Issue 11 · 30 Nov 2006 · 6,414 accessesView PDFCite
Research ArticleOpen accessIn the abstractMEDiator: A Tool for Automatic Management of Event DomainsMarkus Aleksy, Lisa Köblitz, Martin SchaderIn this study, we describe our software component MEDiator. Our development is based on OMG’s Management of Event Domains specification. It allows the efficient management and simplified operation of different CORBA Notification Services running concurrently. After a brief introduction into the specifications of the Notification Service and the Management of Event Domains, we describe their architecture and discuss the most … …Journal of Computer Science, Vol. 2, Issue 6 · 30 Jun 2006 · 6,492 accessesView PDFCite