Мета магістерської роботи – провести дослідження можливостей застосування методу виявлення дублювання математичних описів вимог до інформаційної системи для різних варіантів математичних описів вимог.
Об'єктом дослідження в рамках магістерської кваліфікаційної роботи, є дослідження методів виявлення дублювання функціональних вимог до ІТ -продукту у вигляді математичних виразів для замовника. Предметом дослідження, є методи виявлення дублювання функціональних вимог до ІТ-продукту