Graphical programming and program correctness proof

Velbitskiy, Igor

doi:10.1109/csitechnol.2013.6710368

Cited by 5 publications

(3 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Error-free design processes of algorithms, programs, data, network graphs, proof of their correctness, self-documentation and decision making documenting motivation are greatly simplified, improved and accelerated [4,5].…”

Section: Scientific Resultsmentioning

confidence: 99%

Using Graph-Analytical Methods Modeling of System Objects to Determine Integrated Assessment of Their State

Kozulia¹,

Kozulia²

2019

Problems of Atomic Science and Technology

View full text Add to dashboard Cite

In article is determined of object state in researching ”system – environment” based on system analytic-graph modeling for representation real relationships and relations between any systems in nature. Justiﬁed non-standard solution according to forecasting states and changes results in ”system – environment” based on constructed cognitive models and entropy analysis for action direction sustainability and implemented situations assessment. Practical usage of systematic methodological support for complex objects comprehensive research based on graph models sequential analysis. To analyze physical processes displacements between simple ideal system components, which are sources of potential and kinetic energy, changes in its capacity through matter or energy accumulation, is used structural graph – physical processes topological model.

show abstract

Section: Scientific Resultsmentioning

confidence: 99%

Using Graph-Analytical Methods Modeling of System Objects to Determine Integrated Assessment of Their State

Kozulia¹,

Kozulia²

2019

Problems of Atomic Science and Technology

View full text Add to dashboard Cite

show abstract

“…Проведен ее всесторонний анализ, опытная реализация(!) и эксплуа-тация новой графической среды программирования (ГСП) [5][6][7][8].…”

unclassified

Smart visual 3D+ polyglot-concept of programming without programming languages

Vel'bitsky¹

2017

SRIT

View full text Add to dashboard Cite

Аннотация. Предложена простая, интеллектуальная и математически строгая концепция программирования ориентированными графами из только горизон-тальных дуг, на которых сверху и снизу записываются тексты на любых язы-ках -русском, английском, китайском, математическом и т.д. Математиче-ский язык строго определен как часть элементарной математики, которая задает выражения и формулы для записи условий и действий на графических дугах новой концепции и выполнения их на компьютере. Традиционные языки программирования не используются, но их библиотеки (интеллект) сохраня-ются с возможностью доступа к ним из графических программ с использова-нием соответствующих функций с параметрами или без. Любая программа из этой библиотеки может быть автоматически переведена в единую новую гра-фическую оболочку. Такой граф является интеллектуальным полиглотом, он может быть 3D+, имеет стандарт ISO 8631/1989, и только один эффективно используется на протяжении всего жизненного цикла процесса разработки, выполнения и эксплуатации программ. В новой концепции используется еди-ный математический (графический) метод для записи алгоритмов, данных, программ и сетевых графиков их разработки, который имеет гораздо лучшие (до 100+ раз) характеристики по наглядности, простоте, компактности, скоро-сти их ввода в компьютер и эффективности полученного в результате компью-терного кода. Приведена история возникновения и проверки новой концепции, описание ее сути, реализованной графической среды программирования и мнение некоторых экспертов и пользователей о преимуществах ее использо-вания.Ключевые слова: программирование, интеллектуальное, визуальное, поли-глот, 3D+, ориентированные графы, только горизонтальные дуги, нагрузка только дуг, любой язык (русский, английский, китайский, математический и т.д.), цвет, чертеж, доказательный стиль, оптимизация, самодокументирование, документипрвание мотивации, кибербезопасность, большие данные. ВВЕДЕНИЕВ 1960-х годах нами впервые был введен термин «технология программиро-вания» [1,2] как интуитивное осознание того факта, что главным является не только язык (в то время Алгол-60), а и как его использовать и писать на нем грамотно и культурно, легко и просто. В настоящее время технология программирования включена во все IT-программы обучения. Но програм-мирование стало еще более сложным, дорогим, недоступным и непонят-ным. Сейчас после появления новой нагруженной по дугам графической концепции программирования стало ясно, что причина этому является ста-рая неизменная с 1947 г. и устаревшая неграфическая концепция програм-мирования.

show abstract

“…Its comprehensive analysis, tentative implementation (!) and operation of the new graphical programming environment (GPE) were carried out [3,[5][6][7][8].…”

Section: Introductionmentioning

confidence: 99%

Programming without Programming Languages (New Graphic Poliglot Сoncept)

Vel'bitsky¹

2017

Appl. Theory Comput. Technol.

View full text Add to dashboard Cite

For the first time since 1947 it is proposed to use a simpler and mathematically more rigorous concept of programming with the graphs loaded only through horizontal arcs with characters, functions and expressions of elementary mathematics. Such graph is a polyglot, it has ISO 8631/1989 standard, and is the only one that can be used effectively throughout the life cycle of program design and use. Conventional programming languages are not needed. The new concept has 100+ times better characteristics with regard to visualization, simplicity, and compactness, as well as the speed of entering into the computer. Processes of error-free design of algorithms, programs, and data structures, evidence of their correctness, self-documenting and documenting of motivation of decisions made are significantly simplified, improved and accelerated. The resulting programs are more effective on the memory footprint and execution time. The larger and the more complex is the program project, the greater is the effect of applying the new concept. The new concept is so simple that it makes it possible to program for ANYONE, not just for programmers. We do not know analogue of the new concept. This article describes the history of developing and proving the new concept, its description, advantages, implemented graphical programming environment, and perspectives for its application.Keywords: Graphical programming; Graphs loaded through arcs; Logical and abstract programming schemes; Polyglot, 3D and multi-dimensional programming; Color, drawing and network schedules in programming; Self-documentation and documenting of decision motivation; Evidence and error-free style of programming; cyber security, Big Data

show abstract

Graphical programming and program correctness proof

Cited by 5 publications

References 1 publication

Using Graph-Analytical Methods Modeling of System Objects to Determine Integrated Assessment of Their State

Using Graph-Analytical Methods Modeling of System Objects to Determine Integrated Assessment of Their State

Smart visual 3D+ polyglot-concept of programming without programming languages

Programming without Programming Languages (New Graphic Poliglot Сoncept)

Contact Info

Product

Resources

About