Publication | Closed Access

CORAMOD: a checklist-oriented model-based requirements analysis approach

Software MaintenanceSoftware RequirementEngineeringRequirement EngineeringSoftware TestingDesignRequirement ModelingSystems EngineeringSoftware EngineeringSoftware AnalysisSoftware DesignFormal Verification