Software Product Line Engineering
From MaRDI portal
Publication:5692278
DOI10.1007/3-540-28901-1zbMath1075.68575MaRDI 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
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68U99: Computing methodologies and applications
68N99: Theory of software
Related Items
Unnamed Item, Unnamed Item, Multi-level Model Product Lines, From EU Projects to a Family of Model Checkers, Abstract delta modelling, Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints, Exact algorithms for the product configuration problem, Augmenting measure sensitivity to detect essential, dispensable and highly incompatible features in mass customization, Trustworthy variant derivation with translation validation for safety critical product lines, 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, A theory of software product line refinement, A document driven methodology for developing a high quality parallel mesh generation toolbox, On the weaving process of aspect-oriented product family algebra, Resource-usage-aware configuration in software product lines, Product line process theory, Decision-making coordination and efficient reasoning techniques for feature-based configuration, Preserving correctness during business process model configuration, A core calculus for dynamic delta-oriented programming, Extensible structural analysis of Petri net product lines, Language family engineering with product lines of multi-level models, Lifted structural invariant analysis of Petri net product lines, Generalized abstraction-refinement for game-based CTL lifted model checking, FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation, A verification-driven framework for iterative design of controllers, Improving software product line using an ontological approach, Transformational supervisor synthesis for evolving systems, Revealing Commonalities Concerning Maintenance of Software Product Line Platform Components, Service Based Development of a Cross Domain Reference Architecture, Validating Timed Models of Deployment Components with Parametric Concurrency, Verification of Software Product Lines with Delta-Oriented Slicing, Modular Modelling of Software Product Lines with Feature Nets, The Data Interoperability Problem as an Exemplary Case Study in the Development of Software Collaboration Environments, Model Checking Value-Passing Modal Specifications, The Composition of Event-B Models
