enter search term and/or author name
The past decade has witnessed increasing demands on data-driven business intelligence that led to the proliferation of data-intensive applications. A managed object-oriented programming language such as Java is often the developer’s choice...
Detecting the Behavior of Design Patterns through Model Checking and Dynamic Analysis
Andrea De Lucia, Vincenzo Deufemia, Carmine Gravino, Michele Risi
Article No.: 13
We present a method and tool (ePAD) for the detection of design pattern instances in source code. The approach combines static analysis, based on visual language parsing and model checking, and dynamic analysis, based on source code...
Configuring Software Product Lines by Combining Many-Objective Optimization and SAT Solvers
Yi Xiang, Yuren Zhou, Zibin Zheng, Miqing Li
Article No.: 14
A feature model (FM) is a compact representation of the information of all possible products from software product lines. The optimal feature selection involves the simultaneous optimization of multiple (usually more than three) objectives in a...