Publication | Closed Access

REquirements TRacing On target (RETRO): improving software maintenance through traceability recovery

Software MaintenanceSoftware RequirementEngineeringRequirement EngineeringProgram AnalysisSoftware TestingFormal MethodsSoftware Architecture RecoverySystems EngineeringSoftware EngineeringRequirement ManagementSoftware Requirement SpecificationTraceability RecoverySoftware AnalysisSystem SoftwareSoftware DesignFormal Verification