Constructive-Synthesizing Structures and Their Grammatical Interpretations. i. Generalized Formal Constructive-Synthesizing Structure

Shynkarenko, Viktor; Ilman, V. M.

doi:10.1007/s10559-014-9655-z

Cited by 20 publications

(23 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Constructive-synthesizing modeling (CSM) was applied to formalize the process of collecting data on the IDE use during debugging. The basics of the CSM are shown in papers [37][38][39][40]. The CSM can be used to model and formalize any structures and constructive processes.…”

Section: Construction Of An Event Log With Data On the Ide Use Duringmentioning

confidence: 99%

Development of a toolkit for analyzing software debugging processes using the constructive approach

Shynkarenko¹,

Zhevaho²

2020

EEJET

View full text Add to dashboard Cite

Constructive-synthesizing modeling and the Process Mining methods in a toolkit to monitor and analyze the software debugging process were applied. Methods for monitoring the development and debugging processes are the basis for improving the level of practical training of students, reducing the time that is used irrationally in the process of software development by a student, and in monitoring the processes of performance of tasks by a teacher. The process of software debugging is seen as a sequence of actions when dealing with relevant tools. Using the methodology of constructive-synthesizing modeling, a constructor for forming a debugging actions log was developed. Based on the constructive model, the extension to the integrated development environment (IDE) Microsoft Visual Studio, in which all debugging actions are recorded in an event log, was designed. During debugging in the IDE, event logs are collected and then a conformance checking of these logs with regard to the reference model is performed. To do this, the ProM (Eindhoven Technical University, Netherlands), a platform for Process Mining methods, is used. By checking compliance, it is possible to compare different debugging processes and recognize behavioral similarities and differences. The main purpose of the developed toolkit is to collect debugging actions from the developer's IDE. By better understanding how students grasp and deal with errors, one can help novices learn to program. Knowing how programmers debug can encourage researchers to develop more practically directed methods, enable teachers to improve their debugging curricula and allow tool developers to adapt the debugger to the actual needs of users. It is practically suggested to use the prepared tools in the software engineering course

show abstract

Section: Construction Of An Event Log With Data On the Ide Use Duringmentioning

confidence: 99%

Development of a toolkit for analyzing software debugging processes using the constructive approach

Shynkarenko¹,

Zhevaho²

2020

EEJET

View full text Add to dashboard Cite

show abstract

“…where M is inhomogeneous structure medium (the main set of the elements), Σ is the signature comprising a set of relations and linking, substitution and output operations, as well as operations on attributes, Λ is the constructive axiomatics. GCSSt axiomatics is presented in the paper [26]. The constructive-synthesizing structure (CSSt) is intended for the formation of a plurality of structures using operations and relations of signatures, the rules for implementation of which are given in the axiomatics.…”

Section: Generalized Constructive-synthesizing Structurementioning

confidence: 99%

“…The construction (K) is a sentential form at the current time, comprising only the terminals [26]. Constructions and relations are images as well.…”

Section: Partial Axiomatics Of the Mediummentioning

confidence: 99%

“…Substitutive relation is a binary relation with the attributes wi l iw → wj l j , where l i , l j are the sentential forms [26]. The sequence of the substitutive relations s n is written as s m = l i → l j |l k , where l i , l j , l k are the sentential forms.…”

Section: Partial Axiomatic Of Operations and Relationsmentioning

confidence: 99%

“…The paper is aimed to formalize the concept of language using the means of constructive-synthesizing structures [26]. The language will be represented in the form of the certain construction (in the broadest sense) which is the result of the corresponding constructive process of formation of images and words (phrases, sentences) as the attributes of images.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Constructive Model of the Natural Language

Shynkarenko

Kuropiatnyk

2018

Acta Cybern

View full text Add to dashboard Cite

The paper deals with the natural language model. Elements of the model (the language constructions) are images with such attributes as sounds, letters, morphemes, words and other lexical and syntactic components of the language. Based on the analysis of processes of the world perception, visual and associative thinking, the operations of formation and transformation of images are pointed out. The model can be applied in the semantic NLP.

show abstract

Modeling of Lightning Flashes in Thunderstorm Front by Constructive Production of Fractal Time Series

Shynkarenko

Lytvynenko

Chyhir

et al. 2019

Advances in Intelligent Systems and Computing IV

View full text Add to dashboard Cite

Using the tools of structural-synthesizing modeling, a set of constructors was developed. Implementing parametric multi-character constructors allows to form fractal sequences of characters. Constructor-converter from the character string to time series creates fractal time series, which determine the location, magnitude and decay rate of lightning discharges. Model video images of lightnings in the thunderstorm front are formed in accordance with the implementation of the constructor-assembler. All constructors are developed on the basis of the generalized constructor that was previously presented and repeatedly tested. The model adequacy of the model is confirmed by comparing the video image of the model with the image, what was obtained by NASA satellite. This approach can be the basis for solving the dynamic problems on lightning protection of engineering constructions and civil objects, and development of strategy of aircraft behavior in order to mitigate the risks of lightning strokes in the conditions of movement in the thunderstorm front.

show abstract

Constructive-Synthesizing Structures and Their Grammatical Interpretations. i. Generalized Formal Constructive-Synthesizing Structure

Cited by 20 publications

References 3 publications

Development of a toolkit for analyzing software debugging processes using the constructive approach

Development of a toolkit for analyzing software debugging processes using the constructive approach

Constructive Model of the Natural Language

Modeling of Lightning Flashes in Thunderstorm Front by Constructive Production of Fractal Time Series

Contact Info

Product

Resources

About