This paper proposed a simulation for tufted carpet's appearance based on Direct3D. By analyzing the space structure of tufted carpet, using arranged loop pile 3D model on backcloth according to design pattern and ...
详细信息
Adopting, aspect-oriented technologies for software development requires revisiting the entire traditional software, lifecycle in order to identify and represent occurrences of crosscutting during software requirement...
详细信息
ISBN:
(纸本)0769524656
Adopting, aspect-oriented technologies for software development requires revisiting the entire traditional software, lifecycle in order to identify and represent occurrences of crosscutting during software requirements engineering and design, and to determine how concerns. are composed. In this work, we propose sets of quality measurements to be associated with the activities of aspect-oriented software. development (AOSD). The intended goal of the measurements is to assist stakeholders with quantitative evidences to better map or iterate system modules at different activities in the development process and to better set the design decisions for the analyzed requirements.
A software product line (SPL) enables stakeholders to derive different software products for a domain while providing a high degree of reuse of their code units. software products are derived in a configuration proces...
详细信息
ISBN:
(纸本)9780769534466
A software product line (SPL) enables stakeholders to derive different software products for a domain while providing a high degree of reuse of their code units. software products are derived in a configuration process 17), composing different code units. The configuration process becomes complex if SPLs contain hundreds of features. In many cases, a stakeholder is not only interested in functional but also in non-functional properties of a desired product. Because SPLs can be used in different application scenarios alternative implementations of already existing fucntionality are developed to meet special non-functional requirements, like restricted binary size and performance guarantees. To enable these complex configurations we discuss and present techniques to measure non-functional properties of software modules and use these values to compute SPL configurations optimized to the users needs.
The personality traits of developers can affect software development projects through their performance. The performance of developers can be estimated using these traits. In this study, we focused on grit as it is ex...
详细信息
ISBN:
(纸本)9781665455374
The personality traits of developers can affect software development projects through their performance. The performance of developers can be estimated using these traits. In this study, we focused on grit as it is expected to be effective in estimating productivity. For the estimation, we analyzed the relationship between grit and the time taken to create programs. Unlike previous studies in other fields, grit was not positively related to time (i.e., performance).
The demands on software continues to increase through the constant addition of functionalities and high expectations from users. In particular, performance has been the focus in many projects with the goal of fulfilli...
详细信息
ISBN:
(纸本)9781728195537
The demands on software continues to increase through the constant addition of functionalities and high expectations from users. In particular, performance has been the focus in many projects with the goal of fulfilling complex and hard requirements across a variety of domains. One way to achieve satisfactory levels of performance is through heterogeneous computing, i.e., systems that contain more than one type of processing unit, such as CPUs, GPUs, and FPGAs. However, applications are typically designed to be executed on CPUs, and re-architecting software for execution on such heterogeneous hardware architectures entails several challenges that must be addressed. In this paper, we propose a framework that supports engineers in the process of making architectural decisions to re-architect software for execution on heterogeneous platforms. We present several relevant aspects that should be addressed in the process, along with suggestions on how to create design solutions using different existing approaches. The framework was developed based on multiple interactions with three industrial partners and evaluated through a computer vision application in the automotive domain.
Informal and semi-formal specifications are commonly adopted for requirements engineering (RE), especially for customer-oriented system development projects, but their validity with respect to the user's requireme...
详细信息
ISBN:
(纸本)9781467396448
Informal and semi-formal specifications are commonly adopted for requirements engineering (RE), especially for customer-oriented system development projects, but their validity with respect to the user's requirements is usually difficult to perform. The common reason for the difficulty is that the specifications are often misinterpreted by the stakeholders due to the ambiguity of the natural language or graphical notation used in writing the specifications. This paper describes a tool to assist the animation of informal and semi-formal specifications intuitively and comprehensively for their validation. The underlying animation principle is called SOFL Requirements Specification Animation Framework (SOFL-RSAF). The framework integrates specification animation into the SOFL method for constructing specifications and is supported by a prototype add-in tool.
Although the general benefits of agile methods have been shown, it is not always clear what makes the application of agile successful or not in a company. With this motivation, we investigate agile success factors, pa...
详细信息
ISBN:
(纸本)9781728119700
Although the general benefits of agile methods have been shown, it is not always clear what makes the application of agile successful or not in a company. With this motivation, we investigate agile success factors, particularly from the viewpoint of teams. We conduct in-company surveys to collect and rank agile team success factors, comparing these results with success factors found in the literature. Our results introduce new success factors not previously discussed in related work. The findings emphasize the importance of team environment, team spirit, and team capability as opposed to previous work which emphasizes project management process and customer involvement. These findings can help find issues and improve the performance of agile teams.
This paper presents a case study of migration to software product line development of automotive body parts from clone-and-own development at Aisin Seiki, an automotive body parts supplier. Feature analysis was conduc...
详细信息
ISBN:
(纸本)9781728119700
This paper presents a case study of migration to software product line development of automotive body parts from clone-and-own development at Aisin Seiki, an automotive body parts supplier. Feature analysis was conducted to recover the objectives of specification items, namely requirements, lost in the documents, and then separation of abstraction levels and concerns of the specification items and description of dependencies among the specification items were conducted. The results of the feature analysis provided guidance for structured analysis and development with data flow and state transition analyses to rebuild the product line architecture. These activities reduced the impact ratio of software structural changes for the targeted product to one-eighth of the conventional one and the development cost required for a variant to one-third than before. The costs required for these activities were recovered after the release of the third variant.
software for embedded systems goes through a scheduling phase where it is subjected to optimizing transformations. In such a scenario, validating the preservation of semantics across the transformation is essential. I...
详细信息
ISBN:
(纸本)9781665437844
software for embedded systems goes through a scheduling phase where it is subjected to optimizing transformations. In such a scenario, validating the preservation of semantics across the transformation is essential. In this paper, we present PNPEq (Petri Net Program Equivalence), an ongoing work on a novel translation validation technique to handle various schedule-time conditional optimizations among others. The method makes use of a reduced size Petri net model integrating SMT solvers for validating arithmetic transformations. The approach is illustrated with a simple program and its translation, and further validated with a preliminary example suite.
Techniques for automatically generating test input values by symbolic execution have been studied. However, the existing symbolic execution tool has a problem that it is difficult to apply it to enterprise application...
详细信息
ISBN:
(纸本)9781728119700
Techniques for automatically generating test input values by symbolic execution have been studied. However, the existing symbolic execution tool has a problem that it is difficult to apply it to enterprise applications because there are several reasons, for example, that a program using the function of the enterprise application framework can not be analyzed. In this paper, we propose a method for generating test input values for enterprise applications using symbolic execution, without having to modify the symbolic execution tool, by the preprocessing that converts enterprise application programs into programs to be accepted by existing symbolic execution tools. In addition, we implement the proposed method as a test input generation system and show how to combine the proposed preprocessing and existing symbolic execution techniques.
暂无评论