Publication | Closed Access

A formal framework for software product lines

Software MaintenanceEngineeringProgram AnalysisFormal MethodsSoftware Product LineSoftware EngineeringComputer ScienceProduct Line EngineeringFormal FrameworkSoftware AnalysisSystem SoftwareSoftware DesignSystem Specification