Zobrazeno 1 - 10
of 288
pro vyhledávání: '"Shilov Nikolay"'
Elegant Objects (EO) is a variation of the object-oriented programming paradigm that favors pure objects and decoration. EO programming language is based on these ideas and has been suggested by Bugayenko as an intermediate representation for object-
Externí odkaz:
http://arxiv.org/abs/2209.01803
Autor:
Cerone, Antonio, Roggenbach, Markus, Davenport, James, Denner, Casey, Farrell, Marie, Haveraaen, Magne, Moller, Faron, Koerner, Philipp, Krings, Sebastian, Olveczky, Peter, Schlingloff, Bernd-Holger, Shilov, Nikolay, Zhumagambetov, Rustam
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates (i) improved teaching of formal methods; (ii) systematic h
Externí odkaz:
http://arxiv.org/abs/2010.05708
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Research project "Platform-independent approach to formal specification and verification of standard mathematical functions" is aimed onto a development of an incremental combined approach to the specification and verification of the standard mathema
Externí odkaz:
http://arxiv.org/abs/1901.03414
Autor:
Shilov, Nikolay V., Anureev, Igor S., Berdyshev, Mikhail, Kondratev, Dmitry, Promsky, Aleksey V.
The paper presents (human-oriented) specification and (pen-and-paper) verification of the square root function. The function implements Newton method and uses a look-up table for initial approximations. Specification is done in terms of total correct
Externí odkaz:
http://arxiv.org/abs/1801.00969
Publikováno v:
In IFAC PapersOnLine 2022 55(2):187-192
Autor:
Smirnov, Alexander, Teslya, Nikolay, Shilov, Nikolay, Frank, Diethard, Weidig, Dirk, Minina, Elena, Evers, Kathrin
Publikováno v:
In IFAC PapersOnLine 2021 54(1):1206-1211
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Shilov, Nikolay1 (AUTHOR) nick@iias.spb.su, Othman, Walaa2 (AUTHOR), Fellmann, Michael3 (AUTHOR), Sandkuhl, Kurt3 (AUTHOR)
Publikováno v:
Software & Systems Modeling. Apr2023, Vol. 22 Issue 2, p619-646. 28p.