Feature integration using a feature construct
From MaRDI portal
Publication:5946570
DOI10.1016/S0167-6423(00)00018-6zbMath0983.68236OpenAlexW2068847249MaRDI QIDQ5946570
Publication date: 14 October 2001
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00018-6
Related Items
Family-Based SPL Model Checking Using Parity Games with Variability, Statistical Model Checking for Variability-Intensive Systems, Traits: correctness-by-construction for free, Generalized abstraction-refinement for game-based CTL lifted model checking, Variability encoding: from compile-time to load-time variability, Flexible Correct-by-Construction Programming, Conflict-Tolerant Features, Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints, A general framework for architecture composability, Statistical model checking for variability-intensive systems: applications to bug detection and minimization, A Theory Agenda for Component-Based Design
Uses Software