Buchumschlag

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS

This work continues the series of previous studies whose primary purpose was creating efficient languages, approaches and software tools for development of quality software systems using formal methods. On the basis of developed specification and programming languages we present new practical approa...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Bezverha, M.A., Protsyk, P.P.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 681.3.06
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/920
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Semantic properties of composition nominative modal logics
von: Shkilnyak, O.S.
Veröffentlicht: (2026)

Relations of logical consequence in composition nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Compositional-nominative modal logics of the functional-equational level
von: Shkilniak, O.S.
Veröffentlicht: (2026)

Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
von: Prihodko, P.P.
Veröffentlicht: (2015)

Development of a spiral model of life cycle of the program systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

Query optimization from DL/1 (IMS) to sol
von: Anisimov, A.V., et al.
Veröffentlicht: (2026)

Тechnology of security confidential information from inside threats
von: Antoniuk, A.A., et al.
Veröffentlicht: (2025)

The descriptive foundations of the ontological platform
von: Redko, V.N, et al.
Veröffentlicht: (2026)

Basic approaches for creating ontological graph-oriented description of application
von: Zakharova, O.V.
Veröffentlicht: (2026)

Fuzzy models of multiagent systems in distributed environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2026)

Problem of reengineering of legacy-software systems
von: Pashkovets, N.D., et al.
Veröffentlicht: (2026)

Engineering of software development processes quality by means of Petri Nets
von: Matveeva, L.E.
Veröffentlicht: (2026)

System of the automated carrying over of contents electronic documents in DB IS
von: Blazhko, A.A., et al.
Veröffentlicht: (2026)

Automated creation of rules fo data access control by resources using DBMS
von: Blazhko, A.A., et al.
Veröffentlicht: (2026)

Modelling technology based on fuzzy Bayesian belief networks
von: Parasyuk, I.M., et al.
Veröffentlicht: (2026)

Specialities of management processes in case of software systems families creation
von: Lavrischeva, К.М., et al.
Veröffentlicht: (2026)

Variability assurance mechanisms in Software Product Line
von: Kolesnik, A.L.
Veröffentlicht: (2025)

Применение статистических моделей в инженерии качества процессов производства программных систем
von: Matveeva, L.Е., et al.
Veröffentlicht: (2015)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
von: Radetskyi, I.O.
Veröffentlicht: (2025)

Approaches to configuring reusable assets
von: Kolesnik, A.L.
Veröffentlicht: (2025)

Ontological design of subject domain with problems of e-Science
von: Zinkovich, V.M.
Veröffentlicht: (2025)

Virtual museum of informatics history in Siberia
von: Kasyanov, V.N., et al.
Veröffentlicht: (2015)

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree
von: Slabospickaya, O.O.
Veröffentlicht: (2026)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Technological aspects of viable software development using generative programming
von: Ignatenko, P.P., et al.
Veröffentlicht: (2026)

Method of information obtaining from ontology on the basis of a natural language phrase analysis
von: Litvin, A.A., et al.
Veröffentlicht: (2020)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Application of machine learning to improving numerical weather prediction
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Problems and tools of designing and estimation of viable program system
von: Ignatenko, P.P., et al.
Veröffentlicht: (2015)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)

Construction of sequent calculi of composition-nominative multimodal logics
von: Shkilniak, O.S.
Veröffentlicht: (2025)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

Deeplearning-based approach to improving numerical weather forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Automatic development of deep neural networks for improving numerical meteorological forecast
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2024)

Approach to composition of Web-services on basis of specification of functional semantics
von: Deretsky, V.A.
Veröffentlicht: (2026)

Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators
von: Yershov, S.V., et al.
Veröffentlicht: (2018)