Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування за автором "Peschanenko, V."

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за автором "Peschanenko, V."

Сортувати за: Порядок: Результатів:

  • APS C++ User's Library 
    Letichevsky, A.; Letichevsky, A.Jr.; Peschanenko, V. (2008)
    The general information about the APS algebraic programming system (terms rewriting system) is briefly described in the present article. It is justified practical necessity of creation of APS C++ User’s Library, its ...
  • Deductive verification of requirements for event-driven architecture 
    Letichevsky, A.; Letychevskyi, О.; Peschanenko, V.; Guba, A. (Проблеми програмування, 2013)
    The current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design ...
  • Partial evaluation in insertion modeling system 
    Peschanenko, V. (Проблеми програмування, 2013)
    The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for development of insertion machines, used to represent insertion models of distributed systems. The notions of ...
  • Simple non-deterministic rewriting in verification 
    Letichevsky, A.; Peschanenko, V. (2010)
    Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
  • Use of metods of algebraic programming for the formal verification of legal acts 
    Peschanenko, V.; Poltorackiy, M. (Проблеми програмування, 2018)
    This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис