Зображення обкладинки

The translator of Petri-object model visual programming language

High-level programming tools are aimed at increasing the development speed of complex programs due to automation within the routine actions of the programmer, reducing the number of coding errors and reducing the code in general. Visual programming involves coding based on a visual representation of...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2022
Автор:	Dyfuchyn, А.Yu.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2022
Теми:	visual programming translator of the visual programming language Petri-object model formal grammar of the language alphabet of symbols UDC 004.43::004.94
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/494
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Basics of programming in the context of software engineering
за авторством: Sydorov, М.О.
Опубліковано: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Weather anomaly monitoring method based on sensor network technology
за авторством: Rahozin, D.V.
Опубліковано: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)

Visualization of the semantics of text descriptions presented in various formats
за авторством: Minenko, V.D.
Опубліковано: (2025)

Application of the visual analytics in support of military decision making
за авторством: Бойченко, А. В.
Опубліковано: (2024)

Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
за авторством: Kaverynskyi, V.V., та інші
Опубліковано: (2024)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Video-based visualization of debugging process
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

Methods and software for significant indicators determination of the natural language texts author profile
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2023)

Invention of a computer "Kyiv" architecture using a concept of Addressed Programming Language
за авторством: Yuschenko, Yu.O.
Опубліковано: (2022)

Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

Descriptive logic using in Web-service problems
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Methods for visualization of classes and interconnections of object-relational database Caché
за авторством: Gaidarzhy, V. I., та інші
Опубліковано: (2017)

Methods of recognition by the agent of the unknown environment
за авторством: Yalovets, A.L.
Опубліковано: (2019)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

System of classification for personnel selection based upon Ukrainian language ana-lyze
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
за авторством: Zakharova, O.V.
Опубліковано: (2023)

RECOOP Visegrad Scholarship Program
Опубліковано: (2011)

RECOOP Visegrad Scholarship Program
Опубліковано: (2012)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

The modification of the meta-language of normal forms of knowledge
за авторством: Kurgaev, A.F.
Опубліковано: (2019)

Managing data center resources using heuristic search
за авторством: Zharikov, E.V.
Опубліковано: (2018)

A method of two-tier storage management in virtualized data center
за авторством: Zharikov, E.V.
Опубліковано: (2019)

Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)