conformance checking of results of separate phases of software development to requirements and restrictions stated for these results on previous phases | проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах (верификация ssn) |