Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
The objective of this paper is to identify existing Software Process Improvement (SPI) models and techniques used by small and medium Web companies. We performed a systematic review of studies that applied SPI models and techniques to Web companies. Four papers applied SPI techniques or models to Web companies, and our results showed that none suggested any customized model or technique to measure...
Electronic Control Unit (ECU) calibration is a procedure to optimize control parameters to meet some specified requirements such as performance, fuel consumption and emissions. It is more important to calibrate several ECUs simultaneously than calibrating only one ECU at a time. We developed a distributed calibration system based on the Universal Measurement and Calibration Protocol (XCP) which is...
We propose a technique that recognizes occurrences of a pattern in a design using both static and dynamic information. To tolerate pattern instantiations with certain degree of variability, we adapt an XML document retrieval technique. Our technique has the advantage of basing the design pattern identification not only on static, structural information of a pattern but also on the methods of the pattern...
Test case prioritization techniques schedule test cases for execution in an order that attempts to increase their effectiveness at meeting some performance goal. Various goals are possible; one involves rate of fault detection i.e. the measure of how quickly faults are detected within the testing process. To improve the performance of regression testing two objectives to be achieved. I.e. test case...
The paper presents an aspect-oriented design for embedded control software such as automotive control. In the control logic design phase, we build a control model with a CAD/CAE tool such as MATLAB/Simulink, in which “zero-time execution” is assumed. In the software design phase, we design timing issues such as task structures and mechanisms for data integrity to execute the control software in the...
We discuss in this paper the consistency of time Petri net semantics when assuming a monoserver hypothesis. This hypothesis assumes that for a given marking of the net, only one instance of an enabled transition should be considered. We show that for unsafe nets, the standard semantics is not sound and may induce false behaviors in presence of conflicting transitions. To fix this problem, we propose...
Despite the success that Component-Based Development has achieved so far, component mismatch remains as a major hurdle for wider and smoother component reuse due to the lack of effective and automated approaches to component specification and retrieval. This paper presents a novel ontology-based approach to solve the above problem via holistic, semantic-based and adaptation-aware component specification...
In order to develop desirable software, defining problems is the most important among all software development activities. In this paper, we propose a model, namely Butterfly model, which defines various kinds of problems by means of contradiction relationships. Our Butterfly model is based on TRIZ and is useful for creative problem solving. By using the proposed model, we review 4 problems and then,...
This paper presents about a study conducted to investigate the current state of Requirements Engineering (RE) problems and practices amongst the software development companies in Malaysia. The main objective of the study is to determine areas in RE process that should be addressed in future research in order to improve the process. Information required for the study was obtained through a survey,...
The consistency checking of designed UML artifacts for real-time systems is a difficult task because of the imprecise dynamic semantics of UML diagrams and the expressiveness gap between them. In this setting, this paper proposes a formal methodology for semantical and time consistency checking between the behavioral models of StateCharts and scenario-based specifications.
The smartphone segment has been witnessed the fastest growth in the handset market.Traditional phones will be replaced by smart phones. At the same time, smart phones may be used for fraud, forgery and defamation and other criminal activities.Symbian smartphones forensics is relatively a new field of interest among scientific and law enforcement.There are various mobile phones forensics process models...
Non-Functional Requirements (NFRs) are very important in software system. Reliability is one of NFRs and should be satisfied for providing high quality service. Many reliability analysis approaches are proposed but they have some limitations such as modeling limitation or analysis limitation. In this paper, we propose reliability analysis method with supporting traceability using UML. This approach...
In order to achieve the sustainable growth of the development of software industry, it must begin with the Software Process Improvement at personal level. In this paper, we present a new method for software process improvement that focuses on three areas of concern to the process improvement in personal level, the process improvement in project level and the process improvement in organization level...
Software Architecture plays major role in s successful software. It is one of the key artifacts of modern software development. This paper demonstrates the use of Architecture Requirements Engineering Error and Accuracy ¬ The Analysis Method (AREA¬TEAM) to evaluate an online banking system. This research paper presents the detailed case study of the system and the overall evaluation process that has...
Software architecture is the blue print of software and guides the development and evolution of the software. A good design produces quality software and careful evolution of software leads to a longer life of the software whereas a bad design and careless evolution leads to decay of the software. This paper discusses the phenomenon of architectural decay and gives an account of the practices suggested...
Fault localization is an important task in software testing process. The aim is to find latent semantic faults which do not violate program syntactic rules. Statistical debugging techniques are amongst best methods for identifying faults in the program source code. However, they have some drawbacks. They require a large number of executions to identify faults. Furthermore, they do not consider the...
Continuous improvement of the software processes, including both production and maintenance, is a necessary condition to ensure fundamental software quality. An improvement opportunity comes from the availability of innovative process components to be integrated in a working software process. Formal methods are more and more used for modeling and verifying software systems. In this paper formal methods...
Because of its complexity, software system verification is a hard task and very often neglected for complex distributed component-based architectures with high degree of dynamism. Monitoring and verification of these systems are important even when they have to be running with a high level of availability and low halt time. Model checking is an automatic technique to verify compliance of the system...
The aim has been to develop a model for dynamic updating of software. A major difficulty with dynamic updating is the execution time overhead required for running the extra code embedded within the updatable version of the program. In order to resolve the difficulty, the dynamic updating model, suggested in this paper, activates the updatable version whenever updates are ready. When the updating is...
Since the introduction of object-oriented (OO) development techniques into industrial practices for software development, many Function Point (FP) technique adaptations have been proposed to improve estimations on the size of a software application. Most research works only deal with OO modifications to the previous version of the FP Counting Practices Manual (4.1) or they do not include some important...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.