34972188
Enhancing Software Product Line Maintenance with Source Code Mining
Large-scale reuse and accelerated software development have been some of the key attractions behind software product lines. Various strategies and processes have been developed to facilitate product line development, maintenance, and evolution. However, experiences with software product lines also showed that it is a rather challenging task to maintain software product lines and families over a long period of time. The time and effort needed to manage and maintain product lines increase and quality degrades as product lines evolve. Without proper methods and tools to support the evolution, the cost can outweigh the benefits. 
 
This paper describes an approach to simplifying the maintenance of software product lines and improving software quality by integrating traditional software maintenance practices with pattern-based source code mining for defect detection and correction. Our case studies were performed in an industrial setting where the evolution of multiple mobile phone models of a product line was investigated.
16442444
A Context-Aware Policy Model to Support Autonomic Networking
Autonomic networking requires that the services and resources offered by the network at any specific time adapt to evolving changes in user needs, business goals and environmental conditions. This paper describes a rich and extensible context-aware policy model as part of the FOCALE autonomic network architecture. This context-aware policy model is built explicitly to support context-awareness that in turn enables the control loops in FOCALE to be adaptive.
10449221
C-SAW and genAWeave: a two-level aspect weaving toolsuite
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which unites a <i>model transformation</i> tool with a <i>program transformation</i> engine. From models representing an avionics application, it will be shown how changes to model properties trigger corresponding adaptations to the related source code. The second half of the demonstration is focused on using a program transformation engine to perform the task of aspect weaving. In particular, several crosscutting concerns will be woven into an Object Pascal application.
137468627
Large area nanosize array stamp for UV-based nanoimprint lithography fabricated by size reduction process
A novel size reduction process using electron beam lithography (EBL) combining with wet etching technique is developed as a possible solution for producing large area and low cost nanopattern stamp for UV-based nanoimprint lithography (UV-NIL). In the first step, a microstructure stamp with 1.4@mm periodical pore array and aspect ratio of 1:1 was formed over a 1inch^2 area on a quartz substrate. This process was carried out using common electron beam lithography (EBL) equipment, which was easily available in the modern integrated circuits (IC) semiconductor factory. Afterwards, with a controlled wet etching technique, the pore array was changed into tip patterns with the line width below 100nm and the period keeping as before. The uniformities and nanopattern accuracies were investigated to identify its possibility as a UV-NIL stamp by AFM and SEM. Finally, as a demonstration, the as obtained stamp was used as a positive stamp to replicate the nanotips into UV-curable resist successfully by a UV-NIL process. The method developed for the mold of nanoimprint lithography would be a simple and low price approach to fabricate large area UV-NIL stamp and the nanotip array structures would be widely used in two dimensional (2D) photonic crystal application.
8649770
Service Quality Evaluation for Brand Retailers Based on Fuzzy Comprehensive Appraisal
Evaluation of service quality is becoming more important in the field of retailers, as in other fields. This pilot study is a preliminary attempt to develop an evaluation model by using Exploratory Factor Analysis (EFA), Analytic Hierarchy Process (AHP) and Fuzzy Comprehensive Appraisal (FCA). And then it addresses issues associated with determining the service quality in a retail store environment based on this model. Firstly, by summarizing the dynamic situation of service quality evaluation, a factor structure for Retail Service Quality (RSQ) using EFA is proposed, which consists of prestige, reliability, responsiveness, recovery and tangibles. Secondly, Owing to the characteristic of retail service, this article applies AHP and membership function to determine the weight of criteria and hierarchical structure. And then FCA is used to evaluate the service quality of brand retail stores. Finally, an example is shown to illustrate above method.
8194176
AMOEBA-RT: Run-Time Verification of Adaptive Software
Increasingly, software must dynamically adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Assurance that the adaptive software correctly satisfies its requirements is crucial if the software is to be used in high assurance systems, such as command and control or critical infrastructure protection systems. Adaptive software development for these systems must be grounded upon formalism and rigorous software engineering methodology to gain assurance. In this paper, we briefly describe AMOebA-RT , a run-time monitoring and verification technique that provides assurance that dynamically adaptive software satisfies its requirements.
15009651
Model-Driven Program Transformation of a Large Avionics Framework
Model-driven approaches to software development, when coupled with a domain-specific visual language, assist in capturing the essence of a large system in a notation that is familiar to a domain expert. From a high-level domain-specific model, it is possible to describe concisely the configuration features that a system must possess, in addition to checking that the model preserves semantic properties of the domain. With respect to large legacy applications written in disparate programming languages, the primary problem of transformation is the difficulty of adapting the legacy source to match the evolving features specified in the corresponding model. This paper presents an approach for uniting model-driven development with a mature program transformation engine. The paper describes a technique for performing widespread adaptation of source code from transformation rules that are generated from a domain-specific modeling environment for a large avionics framework.