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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Bezverha, M.A., Protsyk, P.P.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 681.3.06
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/920
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

Semantic properties of composition nominative modal logics
за авторством: Shkilnyak, O.S.
Опубліковано: (2026)

Relations of logical consequence in composition nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Compositional-nominative modal logics of the functional-equational level
за авторством: Shkilniak, O.S.
Опубліковано: (2026)

Compositional logics of nominative data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
за авторством: Prihodko, P.P.
Опубліковано: (2015)

Development of a spiral model of life cycle of the program systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)

Query optimization from DL/1 (IMS) to sol
за авторством: Anisimov, A.V., та інші
Опубліковано: (2026)

Тechnology of security confidential information from inside threats
за авторством: Antoniuk, A.A., та інші
Опубліковано: (2025)

The descriptive foundations of the ontological platform
за авторством: Redko, V.N, та інші
Опубліковано: (2026)

Basic approaches for creating ontological graph-oriented description of application
за авторством: Zakharova, O.V.
Опубліковано: (2026)

Fuzzy models of multiagent systems in distributed environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2026)

Problem of reengineering of legacy-software systems
за авторством: Pashkovets, N.D., та інші
Опубліковано: (2026)

Engineering of software development processes quality by means of Petri Nets
за авторством: Matveeva, L.E.
Опубліковано: (2026)

System of the automated carrying over of contents electronic documents in DB IS
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

Automated creation of rules fo data access control by resources using DBMS
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

Modelling technology based on fuzzy Bayesian belief networks
за авторством: Parasyuk, I.M., та інші
Опубліковано: (2026)

Specialities of management processes in case of software systems families creation
за авторством: Lavrischeva, К.М., та інші
Опубліковано: (2026)

Variability assurance mechanisms in Software Product Line
за авторством: Kolesnik, A.L.
Опубліковано: (2025)

Применение статистических моделей в инженерии качества процессов производства программных систем
за авторством: Matveeva, L.Е., та інші
Опубліковано: (2015)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
за авторством: Radetskyi, I.O.
Опубліковано: (2025)

Approaches to configuring reusable assets
за авторством: Kolesnik, A.L.
Опубліковано: (2025)

Ontological design of subject domain with problems of e-Science
за авторством: Zinkovich, V.M.
Опубліковано: (2025)

Virtual museum of informatics history in Siberia
за авторством: Kasyanov, V.N., та інші
Опубліковано: (2015)

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree
за авторством: Slabospickaya, O.O.
Опубліковано: (2026)

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)

Technological aspects of viable software development using generative programming
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2026)

Method of information obtaining from ontology on the basis of a natural language phrase analysis
за авторством: Litvin, A.A., та інші
Опубліковано: (2020)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Application of machine learning to improving numerical weather prediction
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)

Construction of sequent calculi of composition-nominative multimodal logics
за авторством: Shkilniak, O.S.
Опубліковано: (2025)

Approach to composition of Web-services on basis of specification of functional semantics
за авторством: Deretsky, V.A.
Опубліковано: (2026)

Architecture of software system for hierarchical fuzzy inference
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

Deeplearning-based approach to improving numerical weather forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)

Automatic development of deep neural networks for improving numerical meteorological forecast
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2024)

Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)