Pages that link to "Item:Q5946570"
From MaRDI portal
The following pages link to Feature integration using a feature construct (Q5946570):
Displayed 11 items.
- A general framework for architecture composability (Q736458) (← links)
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- Conflict-Tolerant Features (Q3512496) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)