Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10366586 | Information and Software Technology | 2013 | 23 Pages |
Abstract
This paper defines a general formal framework for software product lines. We have defined three different semantics that are equivalent; this means that depending on the context we can choose the most convenient approach: operational, denotational or axiomatic. The framework is flexible enough because it is closely related to process algebras. Process algebras are a well-known paradigm for which many extensions have been defined.
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
César Andrés, Carlos Camacho, Luis Llana,