новости и события14.11.2005 18:00:00О формальном подходе к разработке программных систем<div class="smn-ict"><div class="smn-author">Ковалёв С.П.</div><div class="smn-speaker">Ковалёв С.П.</div><div class="smn-institute">ИВТ СО РАН</div><div class="smn-city">Новосибирск</div><div class="smn-title"></div><div class="smn-abstract">Рассматриваются ключевые аспекты практического применения формальных методов инженерии программного обеспечения в современных информационных технологиях. К числу таких аспектов относятся: <ul> <li>единство принципов использования текстовых, графических и структурных («гипертекстовых») формальных языков;</li> <li>возможность применять формальные методы в условиях гибких технологий разработки, таких как экстремальное программирование;</li> <li>эффективная формализация нефункциональных требований качества программных изделий;</li> <li>способность создавать или адаптировать математический аппарат «на заказ», т.е. под конкретные задачи;</li> <li>готовность формальных моделей и методов к многократному использованию в разнообразных технологических условиях.</li> </ul> <p> Доклад подготовлен по материалам учебного пособия <a href="http://ccfit.nsu.ru/~kovalyov/formal-IT/">Ковалёв С. П. Формальный подход к разработке программных систем: Учеб. пособие / Новосиб. гос. ун-т. Новосибирск, 2004. 180 с.</a>. </div><div class="smn-e_mail">kovalyov@nsc.ru</div></div>новости и событияО формальном подходе к разработке программных систем<tags><tag>og:description</tag><value>Ковалёв С.П.Ковалёв С.П.ИВТ СО РАННовосибирскРассматриваются ключевые аспекты практического применения формальных методов инженерии программного обеспечения в современных информационных технологиях. К</value><tag>og:image</tag><value>http://news.sbras.ru/ru/NewsPictures/seminar1.jpg</value></tags>15.11.2005

 Источники

 

 

 Видео

 

 

 

 

 Файлы

 

 

 Новости

 

 


Дайджест по материалам зарубежной электронной прессы «Российская наука и мир». Февраль 2019
Заседание Геологической секции Ученого совета
Академик Александр Сергеев подвел итоги визита в США и рассказал о планах первых «мозговых штурмов»
Конференция «Суперкомпьютерные технологии математического моделирования» (СКТеММ’19)
Аспирантский семинар "A BRIEF INTRODUCTION IN SEISMIC HAZARD ASSESSMENT AND EARTHQUAKE EARLY WARNING SYSTEMS (EEWS)"
ИЯФ СО РАН совместно с группой компаний «Научное оборудование», компанией «Мелитэк» и компанией Keysight Technologies приглашают принять участие в серии семинаров
Общеинститутский семинар "Научная станция РАН в г. Бишкеке – 40 лет изучения современных геодинамических процессов литосферы Тяньшанского региона"
Председатель СО РАН об академическом имуществе: «Ситуация сложная»
ИНГГ СО РАН посетила делегация Германской службы академических обменов (DAAD)
Заседание Президиума СО РАН 14 марта 2019 года