Software Product Line Engineering
From MaRDI portal
Publication:5692278
DOI10.1007/3-540-28901-1zbMath1075.68575OpenAlexW2477378326MaRDI QIDQ5692278
Frank M. J. van der Linden, Klaus Pohl, Günter Böckle
Publication date: 28 September 2005
Full work available at URL: https://doi.org/10.1007/3-540-28901-1
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computing methodologies and applications (68U99) Theory of software (68N99)
Related Items (36)
Improving software product line using an ontological approach ⋮ Multi-level Model Product Lines ⋮ Model Checking Value-Passing Modal Specifications ⋮ Augmenting measure sensitivity to detect essential, dispensable and highly incompatible features in mass customization ⋮ A core calculus for dynamic delta-oriented programming ⋮ Trustworthy variant derivation with translation validation for safety critical product lines ⋮ Transformational supervisor synthesis for evolving systems ⋮ Exact algorithms for the product configuration problem ⋮ Generalized abstraction-refinement for game-based CTL lifted model checking ⋮ On the weaving process of aspect-oriented product family algebra ⋮ Resource-usage-aware configuration in software product lines ⋮ Product line process theory ⋮ Unnamed Item ⋮ The Composition of Event-B Models ⋮ A proof system for adaptable class hierarchies ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ A formal framework for dependability and resilience from a software engineering perspective ⋮ Decision-making coordination and efficient reasoning techniques for feature-based configuration ⋮ Abstract delta modelling ⋮ Preserving correctness during business process model configuration ⋮ A theory of software product line refinement ⋮ Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components ⋮ Service Based Development of a Cross Domain Reference Architecture ⋮ Extensible structural analysis of Petri net product lines ⋮ FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation ⋮ A document driven methodology for developing a high quality parallel mesh generation toolbox ⋮ Validating Timed Models of Deployment Components with Parametric Concurrency ⋮ Verification of Software Product Lines with Delta-Oriented Slicing ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ Unnamed Item ⋮ Modular Modelling of Software Product Lines with Feature Nets ⋮ Language family engineering with product lines of multi-level models ⋮ The Data Interoperability Problem as an Exemplary Case Study in the Development of Software Collaboration Environments ⋮ A verification-driven framework for iterative design of controllers ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ From EU Projects to a Family of Model Checkers
This page was built for publication: Software Product Line Engineering
