Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2022
Main Author:	Dyfuchyn, А.Yu.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2022
Subjects:	visual programming translator of the visual programming language Petri-object model formal grammar of the language alphabet of symbols UDC 004.43::004.94
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/494
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)

Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)

Weather anomaly monitoring method based on sensor network technology
by: Rahozin, D.V.
Published: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
by: Zhyliuk, Y., et al.
Published: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
by: Parasiuk, I.N., et al.
Published: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

Visualization of the semantics of text descriptions presented in various formats
by: Minenko, V.D.
Published: (2025)

Application of the visual analytics in support of military decision making
by: Бойченко, А. В.
Published: (2024)

Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)

Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
by: Kaverynskyi, V.V., et al.
Published: (2024)

Equivalence of two parallel execution systems
by: Panchenko, T.V., et al.
Published: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
by: Ostapovska, Yu.A., et al.
Published: (2018)

Video-based visualization of debugging process
by: Shynkarenko, V.I., et al.
Published: (2024)

Methods and software for significant indicators determination of the natural language texts author profile
by: Shynkarenko, V.I., et al.
Published: (2023)

Invention of a computer "Kyiv" architecture using a concept of Addressed Programming Language
by: Yuschenko, Yu.O.
Published: (2022)

Algebraic patterns of binary code vulnerabilities
by: Yakovlev, V.M.
Published: (2020)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Descriptive logic using in Web-service problems
by: Zakharova, O.V.
Published: (2017)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Methods for visualization of classes and interconnections of object-relational database Caché
by: Gaidarzhy, V. I., et al.
Published: (2017)

Methods of recognition by the agent of the unknown environment
by: Yalovets, A.L.
Published: (2019)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
by: Parasyuk, I.N., et al.
Published: (2015)

Description model of programming style ecosystem
by: Sydorov, N.A., et al.
Published: (2020)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Jupyter Notebook: a system for interactive scientific computing
by: Yakimchik, A. I.
Published: (2019)

RECOOP Visegrad Scholarship Program
Published: (2011)

RECOOP Visegrad Scholarship Program
Published: (2012)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
by: Zakharova, O.V.
Published: (2023)

Peterson’s algorithm Total correctness proof in IPCL
by: Zhygallo, A.A.
Published: (2018)

System of classification for personnel selection based upon Ukrainian language ana-lyze
by: Zhezherun, O.P., et al.
Published: (2021)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

The modification of the meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2019)

Managing data center resources using heuristic search
by: Zharikov, E.V.
Published: (2018)

A method of two-tier storage management in virtualized data center
by: Zharikov, E.V.
Published: (2019)

Models of concurrent program running in resource constrained environment
by: Rahozin, D.V.
Published: (2020)