Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Bezverha, M.A., Protsyk, P.P.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 681.3.06
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/920
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

Semantic properties of composition nominative modal logics
by: Shkilnyak, O.S.
Published: (2026)

Relations of logical consequence in composition nominative logics
by: Shkilnyak, S.S.
Published: (2025)

Compositional-nominative modal logics of the functional-equational level
by: Shkilniak, O.S.
Published: (2026)

Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)

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

Development of a spiral model of life cycle of the program systems
by: Alekseev, V.A., et al.
Published: (2015)

Query optimization from DL/1 (IMS) to sol
by: Anisimov, A.V., et al.
Published: (2026)

Тechnology of security confidential information from inside threats
by: Antoniuk, A.A., et al.
Published: (2025)

The descriptive foundations of the ontological platform
by: Redko, V.N, et al.
Published: (2026)

Basic approaches for creating ontological graph-oriented description of application
by: Zakharova, O.V.
Published: (2026)

Fuzzy models of multiagent systems in distributed environment
by: Parasyuk, I.N., et al.
Published: (2026)

Problem of reengineering of legacy-software systems
by: Pashkovets, N.D., et al.
Published: (2026)

Engineering of software development processes quality by means of Petri Nets
by: Matveeva, L.E.
Published: (2026)

System of the automated carrying over of contents electronic documents in DB IS
by: Blazhko, A.A., et al.
Published: (2026)

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

Modelling technology based on fuzzy Bayesian belief networks
by: Parasyuk, I.M., et al.
Published: (2026)

Specialities of management processes in case of software systems families creation
by: Lavrischeva, К.М., et al.
Published: (2026)

Variability assurance mechanisms in Software Product Line
by: Kolesnik, A.L.
Published: (2025)

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

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
by: Radetskyi, I.O.
Published: (2025)

Approaches to configuring reusable assets
by: Kolesnik, A.L.
Published: (2025)

Ontological design of subject domain with problems of e-Science
by: Zinkovich, V.M.
Published: (2025)

Virtual museum of informatics history in Siberia
by: Kasyanov, V.N., et al.
Published: (2015)

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

Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025)

Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
by: Doroshenko, А.Yu., et al.
Published: (2023)

Technological aspects of viable software development using generative programming
by: Ignatenko, P.P., et al.
Published: (2026)

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

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

Application of machine learning to improving numerical weather prediction
by: Doroshenko, А.Yu., et al.
Published: (2020)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
by: Berezovsky, K.A., et al.
Published: (2026)

Construction of sequent calculi of composition-nominative multimodal logics
by: Shkilniak, O.S.
Published: (2025)

Approach to composition of Web-services on basis of specification of functional semantics
by: Deretsky, V.A.
Published: (2026)

Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)

Deeplearning-based approach to improving numerical weather forecasts
by: Doroshenko, А.Yu., et al.
Published: (2023)

Automatic development of deep neural networks for improving numerical meteorological forecast
by: Doroshenko, А.Yu., et al.
Published: (2024)

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