Рассматриваются ключевые аспекты практического применения формальных методов инженерии программного обеспечения в современных информационных технологиях. К числу таких аспектов относятся:

• единство принципов использования текстовых, графических и структурных («гипертекстовых») формальных языков;
• возможность применять формальные методы в условиях гибких технологий разработки, таких как экстремальное программирование;
• эффективная формализация нефункциональных требований качества программных изделий;
• способность создавать или адаптировать математический аппарат «на заказ», т.е. под конкретные задачи;
• готовность формальных моделей и методов к многократному использованию в разнообразных технологических условиях.

Доклад подготовлен по материалам учебного пособия Ковалёв С. П. Формальный подход к разработке программных систем: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2004. 180 с..