Логотип Информационно-коммуникационные технологии в образовании
  • Разработка формальных методов проектирования программного обеспечения управляющего испытательными стендами
  • Разработка формальных методов проектирования программного обеспечения управляющего испытательными стендами
    Андреев С.В.
    2002
    Андреев С.В. Разработка формальных методов проектирования программного обеспечения управляющего испытательными стендами // Электронный журнал "Исследовано в России", 5, 781-797 , 2002. http://zhurnal.gpi.ru/articles/2002/071.pdf
    Статья, обзор
    10. Прикладная информатика (прикладное ПО и системы) » 10.3. Системы научных и инженерных расчетов
     
    Аннотация
    Разрабатываются принципы создания программного обеспечения (ПО), управляющего информационно-измерительными системами (ИИС) промышленных испытательных стендов вертолетных редукторов (ИСВР). Доказывается необходимость использования методов объектно-ориентированного (ОО) анализа и проектирования, проводится критический обзор объектных нотаций, применимых для создания и описания модели программного каркаса ПО ИСВР. Акцент делается на формальные нотации, как наиболее удовлетворяющие требованиям, налагаемым ИИС ИСВР. Описывается и расширяется нотация LePUS, а также доказывается ее применимость для создания модели каркаса ПО ИСВР. На основе созданной модели разрабатываются формальные критерии качества для ее анализа.
    Права на публикацию принадлежат электронному журналу "Исследовано в России".
    Файл публикации (формат Adobe PDF, размер 403 Кб) »
    © 2003-2014 Государственный научно-исследовательский институт информационных технологий и телекоммуникаций
    (ФГАУ ГНИИ ИТТ "Информика")
    Rambler's Top100