Sciweavers

15777 search results - page 689 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
CSEE
2011
Springer
14 years 10 months ago
Teaching software testing methods based on diversity principles
Software testing is the primary approach to support software quality assurance. Many novel software testing methods have been proposed to achieve various tasks in recent years. It...
Zhenyu Chen, Jinyu Zhang, Bin Luo
CIBSE
2009
ACM
16 years 1 months ago
A Service-Oriented Approach for Model Management
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
Jorge Luis Pérez-Medina, Dominique Rieu, So...
ECLIPSE
2004
ACM
16 years 18 days ago
FeaturePlugin: feature modeling plug-in for Eclipse
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
Michal Antkiewicz, Krzysztof Czarnecki
196
Voted
CSMR
2002
IEEE
16 years 3 days ago
On the Role of Design Patterns in Quality-Driven Re-engineering
Design patterns have been widely adopted and well investigated by the software engineering community over the past decade. However, their primary use is still associated with forw...
Ladan Tahvildari, Kostas Kontogiannis
VMCAI
2010
Springer
16 years 2 months ago
Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction
Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...