Sciweavers

420 search results - page 5 / 84
» Model-driven software product lines
Sort
View
TOSEM
2012
11 years 9 months ago
Type checking annotation-based product lines
Christian Kästner, Sven Apel, Thomas Thü...
ICSE
2007
IEEE-ACM
14 years 7 months ago
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
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...
Josh Dehlinger, Meredith Humphrey, Lada Suvorov, P...
JIT
2004
Springer
153views Database» more  JIT 2004»
14 years 21 days ago
Managing Product Line Variability by Patterns
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...
Jürgen Meister, Ralf Reussner, Martin Rohde
SERP
2008
13 years 8 months ago
Metamodel based Model Transformation Framework
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...
Xiaoping Jia, Hongming Liu, Lizhang Qin, Adam Stee...
SPLC
2008
13 years 8 months ago
Calculating and Modeling Common Parts of Software Product Lines
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 ...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...