2 citations · 3 across the 3 of their papers we have counts for
4 papers
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs
Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin +2
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 bee…
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
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, i…
Towards platform-independent specification and verification of the standard trigonometry functions
Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova +1
Research project "Platform-independent approach to formal specification and verification of standard mathematical functions" is aimed onto a development of an incremental combined…
Towards platform-independent verification of the standard mathematical functions: the square root function
Nikolay V. Shilov, Igor S. Anureev, Mikhail Berdyshev +2
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 i…