Методы исследования: формальные и эвристические подходы