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

Συγγραφείς: F. A. Novikov, I. V. Afanasieva, L. N. Fedorchenko, T. A. Kharisova

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

Θεματικοί όροι: автоматическая верификация, обусловленные регулярные выражения, модель поведения, автоматное программирование, граф переходов состояний, унифицированный язык моделирования uml, диаграмма конечного автомата, параллельное поведение, архитектура программного обеспечения, реагирующая система, Information technology, T58.5-58.64

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/82482ff0467a4a20bb54a72017b861f3

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

Συγγραφείς: ШИРОБОКОВА С.Н.

Θεματικοί όροι: УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛИ ДАННЫХ,ДИАГРАММЫ ПРЕЦЕДЕНТОВ,ДИАГРАММЫ ДЕЯТЕЛЬНОСТИ,ДИАГРАММЫ КЛАССОВ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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»

Συγγραφείς: ПРОСКУРИНА В.А.

Θεματικοί όροι: ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛЬ ДАННЫХ,УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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С: ПРЕДПРИЯТИЕ",УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ИНФОРМАЦИОННАЯ СИСТЕМА

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/uml-modelirovanie-informatsionnoy-sistemy-rekrutingovogo-agentstva
http://cyberleninka.ru/article_covers/16517066.png

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

Συγγραφείς: БАРЫШЕВА В.В., СИТНИК В.В.

Θεματικοί όροι: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ "1С: ПРЕДПРИЯТИЕ",УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/ispolzovanie-metodiki-uml-modelirovaniya-predmetnoy-oblasti-v-razrabotkah-na-platforme-1s-predpriyatie
http://cyberleninka.ru/article_covers/16401257.png

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

Συγγραφείς: Кураков, Юрий, Олейник, Павел

Θεματικοί όροι: УГЛЕВОДОРОДЫ, ГЛУБОКАЯ ПЕРЕРАБОТКА УГЛЕВОДОРОДОВ, КЛАСТЕР ПРЕДПРИЯТИЙ, УГОЛЬНАЯ ПРОМЫШЛЕННОСТЬ, ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ, УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML, БАЗЫ ДАННЫХ, ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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»

Συγγραφείς: Широбокова Светлана Николаевна, Барышева Виктория Вадимовна, Ситник Виктория Владимировна

Θεματικοί όροι: модель данных, унифицированный язык моделирования UML, платформа «1С: Предприятие 8.3»

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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

Συγγραφείς: Широкова Ольга Александровна

Συνεισφορές: Казанский (Приволжский) федеральный университет

Θεματικοί όροι: объектно-ориентированное проектирование, модели- рование, унифицированный язык моделирования 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

Διαθεσιμότητα: https://dspace.kpfu.ru/xmlui/handle/net/166413

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

Συγγραφείς: Рогачев, А., Федорова, Я.

Θεματικοί όροι: ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ,СЛОЖНЫЕ ТЕХНИЧЕСКИЕ СИСТЕМЫ,УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ТЕЛЕКОММУНИКАЦИОННЫЕ СИСТЕМЫ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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-ДИАГРАММЫ ДЛЯ ПОСТРОЕНИЯ БД МУЛЬТИАГЕНТНОЙ СИСТЕМЫ УПРАВЛЕНИЯ КАЧЕСТВОМ ОБУЧЕНИЯ ЗА РУБЕЖОМ (МАС УКО)

Συγγραφείς: Ташани, Н., Фомичева, О.

Θεματικοί όροι: УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML, АКТОР, UML-МОДЕЛЬ, ORM-ДИАГРАММА, ВАРИАНТ ИСПОЛЬЗОВАНИЯ, ДИАГРАММА КЛАССА, ДИАГРАММА ВАРИАНТА ИСПОЛЬЗОВАНИЯ, СЦЕНАРИЙ ПРЕЦЕДЕНТОВ, USE CASE DIAGRAMS (USE)

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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-моделирование информационной системы рекрутингового агентства

Πηγή: Инновационная наука.

Θεματικοί όροι: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ '1С: ПРЕДПРИЯТИЕ',УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ИНФОРМАЦИОННАЯ СИСТЕМА

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/uml-modelirovanie-informatsionnoy-sistemy-rekrutingovogo-agentstva
http://cyberleninka.ru/article_covers/16517066.png

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

Πηγή: Инновационная наука.

Θεματικοί όροι: ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛЬ ДАННЫХ,УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: 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С:Предприятие»

Πηγή: Инновационная наука.

Θεματικοί όροι: ПРОЕКТИРОВАНИЕ ПРИЛОЖЕНИЙ,МОДЕЛИ ДАННЫХ КОНФИГУРАЦИЙ НА ПЛАТФОРМЕ '1С: ПРЕДПРИЯТИЕ',УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: 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С:Предприятие»

Πηγή: Инновационная наука.

Θεματικοί όροι: УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML,ПРОЕКТИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ,МОДЕЛИ ДАННЫХ,ДИАГРАММЫ ПРЕЦЕДЕНТОВ,ДИАГРАММЫ ДЕЯТЕЛЬНОСТИ,ДИАГРАММЫ КЛАССОВ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: В.О. Ємельянов, В.А. Емельянов, V.A. Iemelianov

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

Θεματικοί όροι: Інформаційна та економічна безпека, УДК 4.42, об’єктна модель, програмне забезпечення, захист паролю, уніфікована мова моделювання (UML), объектная модель, программное обеспечение, защита пароля, унифицированный язык моделирования (UML), object model, software, password protection, unified modeling language (UML)

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/9599

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

Συνεισφορές: Сибирский федеральный университет, Институт управления бизнес-процессами и экономики, Богданова, Ольга Витальевна

Θεματικοί όροι: Унифицированный язык моделирования UML, учебно-методические пособия, IDEF, 658.5:004.942(07), Методология структурного анализа и проектирования SADT, бизнес-процессы, Диаграммы потоков данных DFD, управление бизнес-процессами, формальные языки моделирования бизнес-процессов

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=446493

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

Συγγραφείς: В.І. Межуєв, В.И. Межуев, V. I. Mezhuyev

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

Θεματικοί όροι: Теоретичні основи розробки систем озброєння, УДК 4.4, уніфікована мова моделювання UML, предметно-орієнтоване моделювання, унифицированный язык моделирования UML, предметно-ориентированное моделирование, Unified Modelling Language UML, domain-specific modelling

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/1610

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

Συγγραφείς: Можаров, Максим, Коткин, Сергей

Θεματικοί όροι: ИНФОРМАТИКА, ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, ИНФОРМАЦИОННЫЕ МОДЕЛИ, УНИФИЦИРОВАННЫЙ ЯЗЫК МОДЕЛИРОВАНИЯ UML

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/aktualnye-problemy-razvitiya-soderzhatelnoy-linii-modelirovanie-i-formalizatsiya-shkolnogo-kursa-informatiki
http://cyberleninka.ru/article_covers/14305027.png

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

Συνεισφορές: Сибирский федеральный университет, Капулин, Денис Владимирович

Θεματικοί όροι: учебно-методические пособия, 004.415.2(07), инструментальная среда поддержки проектирования IBM Rational Rose, лабораторные работы, унифицированный язык моделирования UML

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=448713

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

Συγγραφείς: А.Г. Украинец, О.Г. Українець, O.G. Ukrayinets

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

Θεματικοί όροι: Моделювання в економіці, організація виробництва та управління проектами, УДК 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://www.hups.mil.gov.ua/periodic-app/article/6296