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
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