Associate Professor Yuqing Lin

Software product line engineering (SPLE) is a paradigm to promote systematic software reuse. A Feature Model (FM) is a common means to illustrate the commonality and variability of software products in a family. In most existing FM extraction approaches, keywords in the requirement document or certain types of system behavior or external events are considered features. The resulting FM is a combination of user activities and system actions (SAs), making it hard to understand. In this paper, we present an automatic approach to generate a product line FM from multiple requirement documents. We consider user activity and SAs separately in our approach and focus on the expected behaviors of the software system, together with the data being processed. The resulting FM clearly illustrates the expected functionalities of the software system and their variability in the product line. We also compared our approach with existing techniques by processing the same textual documents, and noted improvements in our results.

Diagnosability is a significant metric to measure the reliability of multiprocessor systems. In 2012, a new measure for fault tolerance of the system was proposed by Peng et al. This measure is called the g-good-neighbor diagnosability that restrains every fault-free node to contain at least g fault-free neighbors. The Cayley graph CK generated by the complete graph K has many good properties as other Cayley graphs. In this paper, we show that the connectivity of CK is [Formula presented], the 1-good-neighbor connectivity of CK is n -n-2 and the 1-good-neighbor diagnosability of CK under the PMC model is n -n-1 for n=4 and under the MM model is n -n-1 for n=5. n n n n n 2 2 * 2

The anti-forcing number of a connected graph G is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching. In this paper, we show that the anti-forcing number of every fullerene has at least four. We give a procedure to construct all fullerenes whose anti-forcing numbers achieve the lower bound four. Furthermore, we show that, for every even n = 20 (n 6= 22; 26), there exists a fullerene with n vertices that has the anti-forcing number four, and the fullerene with 26 vertices has the anti-forcing number five.

A (k, g)-cage is a graph that has the least number of vertices among all k-regular graphs with girth g. It has been conjectured (Fu et al. in J. Graph Theory, 24:187-191, 1997) that all (k, g)-cages are k-connected for every k = 3. A k-connected graph G is called superconnected if every k-cutset S is the neighborhood of some vertex. Moreover, if G-S has precisely two components, then G is called tightly superconnected. In this paper, we prove that every (4, g)-cage is tightly superconnected when g = 11 is odd. © 2011 Springer.

Software Product Line Engineering (SPLE) is a software development paradigm to improve systematic software reuse. SPLE is intended to develop a set of similar software systems which share great commonalities within a particular application domain. There are two key assets underpin Software Product Line (SPL) development: feature model and reference architecture. To deal with complex crosscutting behaviors in SPL and also manage the impact of Non-Functional Requirements (NFRs), we propose an aspect-oriented framework in this paper. The proposed framework is able to improve the modeling of interrelationships between design factors and representation of the variabilities in product families. We introduce a small case study to illustrate our approach at the end.

Software Product Line Engineering (SPLE) is a systematic software reuse approach that developing a set of similar software products as a family. All the visible characters of the products in a product family are represented as features and their relationships are modelled in a feature model. During application engineering, desired features are selected from the feature model in a configuration process based on the requirements. In this process, the quality of final product should be considered as early as possible which requires identifying and ranking associated features' contributions to related quality attributes before configuring member products. In this paper, we propose a ranking approach to address the issues in current qualitybased feature ranking approaches, we also include a case study to illustrate our approach at the end.

Software Product Line Engineering (SPLE) is a emerging software reuse paradigm. SPLE focuses on systematic software reuse from requirement engineering to product derivation throughout the software development life-cycle. Feature model is one of the most important reusable assets which represents all design considerations of a software product line. Feature model will be used in the product configuration process to produce a software. The product configuration is a decision-making process, where all kinds of relationships among configurable features will be considered to select the desired features for the product. To improve the efficiency and quality of product configuration, we are proposing a new approach which aims at identifying a small set of key features. The product configuration should always start from this set of features since, based on the feature dependencies, the decisions made on these features will imply decisions on the rest of the features of the product line, thus reduce the features visited in the configuration process. We have also conducted some experiments to demonstrate how the proposed approach works and evaluate the efficiency of the approach.

Li, Shiu, Chan and Chang [On the spectral radius of graphs with connectivity at most k, J. Math. Chem., 46 (2009), 340-346] studied the spectral radius of graphs of order n with ¿(G) = k and showed that among those graphs, the maximum spectral radius is obtained uniquely at , which is the graph obtained by joining k edges from k vertices of K to an isolated vertex. In this paper, we study the spectral radius of graphs of order n with ¿(G) = k and minimum degree d(G) = k. We show that among those graphs, the maximum spectral radius is obtained uniquely at K + (K ¿ K ). © 2013 Springer-Verlag. n - 1 k d-k+1 n-d-1