Sciweavers

1108 search results - page 28 / 222
» Model Driven Development of Software Product Lines
Sort
View
95
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 6 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
CSEE
2008
Springer
15 years 3 months ago
A Case Study in Software Product: Lines An Educational Experience
In order to attend the industry needs, it is necessary to provide more practical issues of real software development in the academic curricula. This paper describes an educational...
Liana Barachisio Lisboa, Leandro Marques Nasciment...
107
Voted
OOPSLA
2009
Springer
15 years 8 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
161
Voted
SPLC
2000
15 years 3 months ago
Development/maintenance/reuse: software evolution in product lines
The evolution tree model is a two-dimensional model that describes how the versions of the artifacts of a software product evolve. The propagation graph is a data structure that c...
Stephen R. Schach, Amir Tomer