Publication | Closed Access
Design and validation of variability in product lines
14
Citations
15
References
2011
Year
Unknown Venue
Model-checking TechniquesEngineeringIndustrial EngineeringVerificationSoftware EngineeringProduct LinesSoftware AnalysisFormal VerificationSafety-critical SystemReliability EngineeringSystems EngineeringProduct LineManaging VariabilityQuantitative ManagementSolution TechniqueSoftware System SafetyDesignSoftware Product LineSoftware DesignSafety EngineeringIndustrial DesignSoftware TestingProcess ControlBusinessProduct Line EngineeringProduct Modeling
We propose an emerging solution technique, pushing the application of model-checking techniques to the design and validation of variability in a product line (PL), mainly aimed at those industrial domains where model-based development is adopted for the development of safety-critical systems.
| Year | Citations | |
|---|---|---|
Page 1
Page 1