ISPRAN18: Открытая конференция ИСП РАН им. В.П. Иванникова Москва, Ленинский проспект, дом 32 А Москва, Russia, September 22-23, 2018 |
Conference website | http://www.isprasopen.ru |
Открытая конференция ИСП РАН им. В.П. Иванникова - это ежегодная конференция в рамках которой Институт системного программирования Российской академии наук им. В.П. Иванникова (ИСП РАН) проводит серию тематических секций по направлениям IT-индустрии, в которых им накоплен многолетний опыт при выполнении фундаментальных исследований, разработок инновационных технологий, а также реализации совместно с партнерами конкретных проектов по внедрению разработанных технологий в промышленность.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
-
Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем
В статье представлены методы и способы реализации процесса сквозного контроля качества сложных программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и верификации формальных моделей требований и архитектуры СПТС. Дан анализ научных публикаций и нормативно-методической базы в области разработки и применения на практике модельно-ориентированного подхода, установлено, что наименее обеспеченными модельными, алгоритмическими и программными решениями являются вопросы, связанные с разработкой полного и корректного набора требований, а также формализацией и верификацией технических проектов СПТС. Предложены способы решения существующих проблем посредством формирования единой модельно-языковой и информационно-программной среды разработки и верификации формальных моделей требований и архитектуры СПТС, построенных на основе оптимального набора взаимосвязанных исполняемых FUML диаграмм, представленных в нотации языка ALF и верифицируемых в среде виртуальной машины FUML с помощью SMT/SAT решателей. - Posters describing ...
Committees
Program Committee
- Самонов Александр
Organizing committee
Contact
All questions about submissions should be emailed to ...