Sciweavers

4349 search results - page 206 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
WER
2010
Springer
15 years 1 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
ICITA
2005
IEEE
15 years 9 months ago
DREAM: A Practical Product Line Engineering Using Model Driven Architecture
Both product line engineering (PLE) and model driven architecture (MDA) are emerging as effective paradigms for building a family of applications in cost effective way. PLE suppor...
Soo Dong Kim, Hyun Gi Min, Jin Sun Her, Soo Ho Cha...
ISESE
2003
IEEE
15 years 8 months ago
An Empirical Study of Web-Based Inspection Meetings
Software inspections are a software engineering “best practice” for defect detection and rework reduction. In this paper, we describe an empirical evaluation with using a tool...
Filippo Lanubile, Teresa Mallardo
ICSM
2007
IEEE
15 years 9 months ago
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
Xiao Qu, Myra B. Cohen, Katherine M. Woolf
BIRTHDAY
2007
Springer
15 years 9 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner