Verification of the formal requirements for the system behavior based on automaton objects

Authors: F. A. Novikov, I. V. Afanasieva, L. N. Fedorchenko, T. A. Kharisova

Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 25, Iss 2, Pp 328-338 (2025)

Subject Terms: автоматическая верификация, обусловленные регулярные выражения, модель поведения, автоматное программирование, граф переходов состояний, унифицированный язык моделирования uml, диаграмма конечного автомата, параллельное поведение, архитектура программного обеспечения, реагирующая система, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://ntv.elpub.ru/jour/article/view/453; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

Access URL: https://doaj.org/article/82482ff0467a4a20bb54a72017b861f3

О методике построения UML-моделей предметно-ориентированных экономических информационных систем на платформе «1С:Предприятие»

Authors: ШИРОБОКОВА С.Н.

Subject Terms: УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛИ ДАННЫХ,ДИАГРАММЫ ПРЕЦЕДЕНТОВ,ДИАГРАММЫ ДЕЯТЕЛЬНОСТИ,ДИАГРАММЫ КЛАССОВ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/o-metodike-postroeniya-uml-modeley-predmetno-orientirovannyh-ekonomicheskih-informatsionnyh-sistem-na-platforme-1s-predpriyatie
http://cyberleninka.ru/article_covers/16915088.png

UML-МОДЕЛИРОВАНИЕ СТРУКТУРЫ ДАННЫХ ИНФОРМАЦИОННОЙ СИСТЕМЫ ОТДЕЛА ТРАНСПОРТНОЙ ЛОГИСТИКИ НА ПЛАТФОРМЕ «1С:ПРЕДПРИЯТИЕ 8.3»

Authors: ПРОСКУРИНА В.А.

Subject Terms: ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛЬ ДАННЫХ,УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

File Description: text/html

Availability: http://cyberleninka.ru/article/n/uml-modelirovanie-struktury-dannyh-informatsionnoy-sistemy-otdela-transportnoy-logistiki-na-platforme-1s-predpriyatie-8-3
http://cyberleninka.ru/article_covers/16880135.png

UML-МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ РЕКРУТИНГОВОГО АГЕНТСТВА

Authors: СИДОРОВА Ю.А.

Subject Terms: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ "1С: ПРЕДПРИЯТИЕ",УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ИНФОРМАЦИОННАЯ СИСТЕМА

File Description: text/html

Availability: http://cyberleninka.ru/article/n/uml-modelirovanie-informatsionnoy-sistemy-rekrutingovogo-agentstva
http://cyberleninka.ru/article_covers/16517066.png

ИСПОЛЬЗОВАНИЕ МЕТОДИКИ UML-МОДЕЛИРОВАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ В РАЗРАБОТКАХ НА ПЛАТФОРМЕ «1С:ПРЕДПРИЯТИЕ»

Authors: БАРЫШЕВА В.В., СИТНИК В.В.

Subject Terms: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ "1С: ПРЕДПРИЯТИЕ",УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

File Description: text/html

Availability: http://cyberleninka.ru/article/n/ispolzovanie-metodiki-uml-modelirovaniya-predmetnoy-oblasti-v-razrabotkah-na-platforme-1s-predpriyatie
http://cyberleninka.ru/article_covers/16401257.png

Методика реализации унифицированной информационной системы экономического производственно-энергетического кластера угольной промышленности

Authors: Кураков, Юрий, Олейник, Павел

Subject Terms: УГЛЕВОДОРОДЫ, ГЛУБОКАЯ ПЕРЕРАБОТКА УГЛЕВОДОРОДОВ, КЛАСТЕР ПРЕДПРИЯТИЙ, УГОЛЬНАЯ ПРОМЫШЛЕННОСТЬ, ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ, УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML, БАЗЫ ДАННЫХ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/metodika-realizatsii-unifitsirovannoy-informatsionnoy-sistemy-ekonomicheskogo-proizvodstvenno-energeticheskogo-klastera-ugolnoy
http://cyberleninka.ru/article_covers/15816509.png

ПРИМЕНЕНИЕ МЕТОДИКИ ФОРМАЛИЗОВАННОГО ПРЕДСТАВЛЕНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ С ИСПОЛЬЗОВАНИЕМ ЯЗЫКА UML ПРИ РАЗРАБОТКЕ ИНФОРМАЦИОННЫХ СИСТЕМ НА ПЛАТФОРМЕ «1С:ПРЕДПРИЯТИЕ 8.3»

Authors: Широбокова Светлана Николаевна, Барышева Виктория Вадимовна, Ситник Виктория Владимировна

Subject Terms: модель данных, унифицированный язык моделирования UML, платформа «1С: Предприятие 8.3»

File Description: text/html

Availability: http://cyberleninka.ru/article/n/primenenie-metodiki-formalizovannogo-predstavleniya-predmetnoy-oblasti-s-ispolzovaniem-yazyka-uml-pri-razrabotke-informatsionnyh
http://cyberleninka.ru/article_covers/16332555.png

ПРИМЕНЕНИЕ МОДЕЛИРОВАНИЯ НА UML ПРИ РАЗРАБОТКЕ ОБЪЕКТНО-ОРИЕНТИРОВАННЫХ ПРОЕКТОВ РЕШЕНИЯ МАТЕМАТИЧЕСКИХ ЗАДАЧ ; APPLICATION OF UML MODELING IN DEVELOPING OBJECT-ORIENTED PROJECTS TO SOLVE MATHEMATICAL PROBLEMS

Authors: Широкова Ольга Александровна

Contributors: Казанский (Приволжский) федеральный университет

Subject Terms: объектно-ориентированное проектирование, модели- рование, унифицированный язык моделирования UML, классы объектов, визу- альный проект, object-oriented design, modeling, UML, object classes, visual design.

Relation: Информационные технологии в образовании и науке; http://dspace.kpfu.ru/xmlui/bitstream/net/166413/-1/ITON_2021_181_190.pdf; https://dspace.kpfu.ru/xmlui/handle/net/166413; 004.42

Availability: https://dspace.kpfu.ru/xmlui/handle/net/166413

ИСПОЛЬЗОВАНИЕ UML-МОДЕЛЕЙ ДЛЯ ИССЛЕДОВАНИЯ И ОБЕСПЕЧЕНИЯ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ

Authors: Рогачев, А., Федорова, Я.

Subject Terms: ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ,СЛОЖНЫЕ ТЕХНИЧЕСКИЕ СИСТЕМЫ,УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/ispolzovanie-uml-modeley-dlya-issledovaniya-i-obespecheniya-informatsionnoy-bezopasnosti-slozhnyh-tehnicheskih-sistem
http://cyberleninka.ru/article_covers/15811973.png

ORM-ДИАГРАММЫ ДЛЯ ПОСТРОЕНИЯ БД МУЛЬТИАГЕНТНОЙ СИСТЕМЫ УПРАВЛЕНИЯ КАЧЕСТВОМ ОБУЧЕНИЯ ЗА РУБЕЖОМ (МАС УКО)

Authors: Ташани, Н., Фомичева, О.

Subject Terms: УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML, АКТОР, UML-МОДЕЛЬ, ORM-ДИАГРАММА, ВАРИАНТ ИСПОЛЬЗОВАНИЯ, ДИАГРАММА КЛАССА, ДИАГРАММА ВАРИАНТА ИСПОЛЬЗОВАНИЯ, СЦЕНАРИЙ ПРЕЦЕДЕНТОВ, USE CASE DIAGRAMS (USE)

File Description: text/html

Availability: http://cyberleninka.ru/article/n/orm-diagrammy-dlya-postroeniya-bd-multiagentnoy-sistemy-upravleniya-kachestvom-obucheniya-za-rubezhom-mas-uko
http://cyberleninka.ru/article_covers/15721261.png

Uml-моделирование информационной системы рекрутингового агентства

Source: Инновационная наука.

Subject Terms: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ '1С: ПРЕДПРИЯТИЕ',УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ИНФОРМАЦИОННАЯ СИСТЕМА

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/uml-modelirovanie-informatsionnoy-sistemy-rekrutingovogo-agentstva
http://cyberleninka.ru/article_covers/16517066.png

UML-моделирование структуры данных информационной системы отдела транспортной логистики на платформе «1С:Предприятие 8. 3»

Source: Инновационная наука.

Subject Terms: ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛЬ ДАННЫХ,УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/uml-modelirovanie-struktury-dannyh-informatsionnoy-sistemy-otdela-transportnoy-logistiki-na-platforme-1s-predpriyatie-8-3
http://cyberleninka.ru/article_covers/16880135.png

Использование методики UML-моделирования предметной области в разработках на платформе «1С:Предприятие»

Source: Инновационная наука.

Subject Terms: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ '1С: ПРЕДПРИЯТИЕ',УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/16401257.png
http://cyberleninka.ru/article/n/ispolzovanie-metodiki-uml-modelirovaniya-predmetnoy-oblasti-v-razrabotkah-na-platforme-1s-predpriyatie

О методике построения UML-моделей предметно-ориентированных экономических информационных систем на платформе «1С:Предприятие»

Source: Инновационная наука.

Subject Terms: УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛИ ДАННЫХ,ДИАГРАММЫ ПРЕЦЕДЕНТОВ,ДИАГРАММЫ ДЕЯТЕЛЬНОСТИ,ДИАГРАММЫ КЛАССОВ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/16915088.png
http://cyberleninka.ru/article/n/o-metodike-postroeniya-uml-modeley-predmetno-orientirovannyh-ekonomicheskih-informatsionnyh-sistem-na-platforme-1s-predpriyatie

Об’єктна модель програмного забезпечення захисту конфіденційних даних користувача ; Объектная модель программного обеспечения защиты конфиденциальных данных пользователя ; The object model software of the protection of confidential user data

Authors: В.О. Ємельянов, В.А. Емельянов, V.A. Iemelianov

Source: Системи обробки інформації. — 2012. — № 3(101). 156-159 ; Системы обработки информации. — 2012. — № 3(101). 156-159 ; Information Processing Systems. — 2012. — № 3(101). 156-159 ; 1681-7710

Subject Terms: Інформаційна та економічна безпека, УДК 4.42, об’єктна модель, програмне забезпечення, захист паролю, уніфікована мова моделювання (UML), объектная модель, программное обеспечение, защита пароля, унифицированный язык моделирования (UML), object model, software, password protection, unified modeling language (UML)

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/9599/soi_2012_3_79.pdf; http://www.hups.mil.gov.ua/periodic-app/article/9599

Availability: http://www.hups.mil.gov.ua/periodic-app/article/9599

Введение в методы и средства формального моделирования бизнеса

Contributors: Сибирский федеральный университет, Институт управления бизнес-процессами и экономики, Богданова, Ольга Витальевна

Subject Terms: Унифицированный язык моделирования UML, учебно-методические пособия, IDEF, 658.5:004.942(07), Методология структурного анализа и проектирования SADT, бизнес-процессы, Диаграммы потоков данных DFD, управление бизнес-процессами, формальные языки моделирования бизнес-процессов

Access URL: https://openrepository.ru/article?id=446493

Доцільність застосування UML для моделювання систем озброєння та військової техніки ; ЦЕЛЕСООБРАЗНОСТЬ ПРИМЕНЕНИЯ UML ДЛЯ МОДЕЛИРОВАНИЯ СИСТЕМ ВООРУЖЕНИЯ И ВОЕННОЙ ТЕХНИКИ ; EXPEDIENCY OF UML APPLICATION FOR DESIGNING SYSTEMS OF ARMAMENT AND MILITARY TECHNIQUE

Authors: В.І. Межуєв, В.И. Межуев, V. I. Mezhuyev

Source: Системи озброєння і військова техніка. — 2010. — № 2(22). 122-126 ; Системы вооружения и военная техника. — 2010. — № 2(22). 122-126 ; Systems of Arms and Military Equipment. — 2010. — № 2(22). 122-126 ; 1997-9568

Subject Terms: Теоретичні основи розробки систем озброєння, УДК 4.4, уніфікована мова моделювання UML, предметно-орієнтоване моделювання, унифицированный язык моделирования UML, предметно-ориентированное моделирование, Unified Modelling Language UML, domain-specific modelling

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/1610/soivt_2010_2_31.pdf; http://www.hups.mil.gov.ua/periodic-app/article/1610

Availability: http://www.hups.mil.gov.ua/periodic-app/article/1610

Актуальные проблемы развития содержательной линии «Моделирование и формализация» школьного курса информатики

Authors: Можаров, Максим, Коткин, Сергей

Subject Terms: ИНФОРМАТИКА, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, ИНФОРМАЦИОННЫЕ МОДЕЛИ, УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

File Description: text/html

Availability: http://cyberleninka.ru/article/n/aktualnye-problemy-razvitiya-soderzhatelnoy-linii-modelirovanie-i-formalizatsiya-shkolnogo-kursa-informatiki
http://cyberleninka.ru/article_covers/14305027.png

Проектирование информационных систем

Contributors: Сибирский федеральный университет, Капулин, Денис Владимирович

Subject Terms: учебно-методические пособия, 004.415.2(07), инструментальная среда поддержки проектирования IBM Rational Rose, лабораторные работы, унифицированный язык моделирования UML

Access URL: https://openrepository.ru/article?id=448713

Структура и стереотипы UML-профиля для моделирования бизнеса ; UML-ПРОФІЛЬ ДЛЯ МОДЕЛЮВАННЯ БІЗНЕСУ ; UML PROFILE FOR BUSINESS MODELING

Authors: А.Г. Украинец, О.Г. Українець, O.G. Ukrayinets

Source: Системи обробки інформації. — 2008. — № 6(73). 163-170 ; Системы обработки информации. — 2008. — № 6(73). 163-170 ; Information Processing Systems. — 2008. — № 6(73). 163-170 ; 1681-7710

Subject Terms: Моделювання в економіці, організація виробництва та управління проектами, УДК 519.688 + 519.683.7, инженерия требований, метод анализа требований, модель бизнес-процесса, модель спецификации системы, унифицированный язык моделирования UML, системологический подход «Узел – Функция – Объект», триединая парадигма континуума, UML-профиль, інженерія вимог, метод аналізу вимог, модель бізнес-процесу, модель специфікації системи, уніфікована мова моделювання UML, системологічний підхід " Вузол – Функція – Об'єкт", триєдина парадигма континууму, UML-профіль, Requirements Engineering, Requirements Analysis Method, Business-Process Model, System Specification Model, Unified Modeling Language – UML, Systemological Approach “Unit – Function – Object”, Triune Continuum Paradigm, UML Profile

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/6296/soi_2008_6_42.pdf; http://www.hups.mil.gov.ua/periodic-app/article/6296

Availability: http://www.hups.mil.gov.ua/periodic-app/article/6296