420 search results - page 5 / 84 » Model-driven software product lines |
TOSEM
2012
13 years 2 months ago
2012
101
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
107
Voted
JIT
2004
Springer
15 years 5 months ago
2004
Springer
Software product lines have a demonstrated potential for cost-effective development of software families. Product lines have to support and coordinate variabilities between the di...
115
Voted
SERP
2008
15 years 1 months ago
2008
Model Transformation is the key aspect of Model Driven Engineering (MDE), a model-centric software development approach aiming at improving the quality and productivity of softwar...
115
click to vote
SPLC
2008
15 years 1 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...