Suchergebnisse - "Kuliamin, V. V."

Software Security by Design.

Autoren: Kuliamin, V. V. Petrenko, A. K. Rudina, E. A.

Quelle: Programming & Computer Software; Dec2025, Vol. 51 Issue 6, p429-434, 6p

Schlagwörter: COMPUTER software security, SOFTWARE architecture, COMPUTER software development, DESIGN failures, DESIGN techniques

Runtime Verification of Operating Systems Based on Abstract Models.

Autoren: Efremov, D. V. Kopach, V. V. Kornykhin, E. V. et al.

Quelle: Programming & Computer Software; Dec2023, Vol. 49 Issue 7, p559-565, 7p

Schlagwörter: CONFORMITY

A Survey of Software Dynamic Analysis Methods.

Autoren: Kuliamin, V. V.

Quelle: Programming & Computer Software; Feb2024, Vol. 50 Issue 1, p90-114, 25p

Schlagwörter: COMPUTER software security, SYSTEMS software, COMPUTER software, SOFTWARE development tools, PROBLEM solving, SOFTWARE verification

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.

Autoren: Devyanin, P. N. Khoroshilov, A. V. Kuliamin, V. V. et al.

Quelle: Programming & Computer Software; Dec2020, Vol. 46 Issue 7, p443-453, 11p

Schlagwörter: INFORMATION resources management, ACCESS control, GOAL (Psychology), SECURITY systems software, LINUX operating systems, SECURITY management

A survey of methods for constructing covering arrays.

Autoren: Kuliamin, V. V. Petukhov, A. A.

Quelle: Programming & Computer Software; May2011, Vol. 37 Issue 3, p121-146, 26p, 10 Charts

Schlagwörter: INFORMATION technology, COMPUTER programming, TECHNOLOGICAL complexity, ALGORITHMS, COMPUTER interfaces, FERROMAGNETIC materials, MAGNETIC domain, MATHEMATICAL optimization, RECURSIVE functions, COMPUTER storage devices

Evaluating the complexity of deriving adaptive S′-homing and S′-synchronizing sequences for nondeterministic FSMs.

Autoren: Yevtushenko, Nina Kuliamin, Victor Kushik, Natalia

Quelle: Software Quality Journal; Mar2022, Vol. 30 Issue 1, p161-180, 20p

Schlagwörter: FINITE state machines, ADAPTIVE testing, SHIFT registers

A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.

Autoren: Laibinis, Linas Troubitsyna, Elena Pereverzeva, Inna et al.

Quelle: Formal Methods & Software Engineering (9783319478456); 2016, p141-158, 18p

Practical Floating-Point Tests with Integer Code.

Autoren: Romano, Anthony

Quelle: Verification, Model Checking & Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings; 2014, p337-356, 20p

Parallel computations on a graph.

Autoren: Bourdonov, I. Kossatchev, A. Kulyamin, V.

Quelle: Programming & Computer Software; Jan2015, Vol. 41 Issue 1, p1-13, 13p

Schlagwörter: DIRECTED graphs, NUMERICAL calculations, ROBOTS, VERTEX operator algebras, SPANNING trees

Survey on test data generation tools.

Autoren: Galler, Stefan Aichernig, Bernhard

Quelle: International Journal on Software Tools for Technology Transfer; Nov2014, Vol. 16 Issue 6, p727-751, 25p

Schlagwörter: COMPUTER software testing, COMPUTER software industry, C++, JAVA programming language, AUTOMATION, INFORMATION processing

Evolution of the UniTESK test development technology.

Autoren: Kulyamin, V. Petrenko, A.

Quelle: Programming & Computer Software; Sep2014, Vol. 40 Issue 5, p296-304, 9p

Schlagwörter: COMPUTER software development, COMPUTER input-output equipment, TELECOMMUNICATION, COMPUTER operating systems, MICROPROCESSORS, SCALABILITY

Formalization of a test experiment-II.

Autoren: Bourdonov, I. Kossatchev, A.

Quelle: Programming & Computer Software; Jul2013, Vol. 39 Issue 4, p163-181, 19p

Schlagwörter: SEMANTICS, FORMALIZATION (Linguistics), ERRORS, NATURALNESS (Linguistics), MACHINISTS

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root ; Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню

Autoren: Vassil Todorov Safouan Taha Frederic Boulanger et al.

Weitere Verfasser: Vassil Todorov Safouan Taha Frederic Boulanger et al.

Quelle: Modeling and Analysis of Information Systems; Том 26, № 4 (2019); 520-533 ; Моделирование и анализ информационных систем; Том 26, № 4 (2019); 520-533 ; 2313-5417 ; 1818-1015

Dateibeschreibung: application/pdf

Relation: https://www.mais-journal.ru/jour/article/view/1274/930; Aagaard M. D., Jones R. B., Kaivola R., Kohatsu K. R., Seger C.-J. H., “Formal Verification of Iterative Algorithms in Microprocessors”, Proceedings of the 37th Annual Design Automation Conference (DAC 2000), 2000, 201–206.; Hoare A., Chapron P., Abrial J. R., The B-book: Assigning Programs to Meanings, Cambridge University Press, New York, NY, USA, 1996.; Barnett M., Leino K. R. M., “Weakest-Precondition of Unstructured Programs”, Softw. Eng. Notes, 31:1 (2005), 82–87.; Barrett C., Conway C. L., Deters M., Hadarean L., Jovanovi’c D., King T., Reynolds A., Tinelli C., “Cvc4.”, Computer Aided Verification. CAV 2011. LNCS, 6806 (2011), 171–177.; Barrett C. et al., “The SMT-LIB Standard: Version 2.0.”, Tech. rep., 2010.; Bertot Y., Magaud N., Zimmermann P., “A Proof of GMP Square Root”, Journal of Automated Reasoning, 29:3-4 (2002), 225–252.; Chapman R., “Industrial Experience with SPARK”, ACM SIGAda Ada Letters, 20:4 (2000), 64–68.; Conchon S., Coquereau A., Iguernlala M., Mebsout A., “Alt-Ergo 2.2”, SMT Workshop: International Workshop on SMT. Oxford, United Kingdom, 2018.; De Moura L., Bjørner N., “Z3: An Efficient SMT Solver”, TACAS’08/ETAPS’08, SpringerVerlag, Berlin, Heidelberg, 4963 (2008), 337–340.; Dijkstra E.W., “Guarded Commands, Nondeterminacy and Formal Derivation of Programs”, ACM, 18:8 (1975), 453–457.; Dutertre B., “Yices 2.2”, International Conference on Computer Aided Verification. Springer, Cham, 2014, 737–744.; Ferguson W. E., Bingham J., Erk¨ok L., Harrison J. R., Leslie-Hurd J., “Digit Serial Methods with Applications to Division and Square Root”, IEEE Transactions on Computers, 67:3 (2017), 449–456.; Flanagan C., Flanagan C., Saxe J. B., “Avoiding Exponential Explosion: Generating Compact Verification Conditions”, ACM SIGPLAN Not., 36:3 (2001), 193–205.; Harrison J., “Formal Verification of Square Root Algorithms”, Formal Methods in System Design, 22:2 (2003), 143–153.; Hoare C. A. R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, 12:10 (1969), 576–580.; Kirchner F., Kosmatov N., Prevosto V., Signoles J., Yakobowski B., “Frama-C: A Software Analysis Perspective”, Formal Aspects of Computing, 27:3 (2015), 573–609.; Kuliamin V. V., “Standardization and Testing of Implementations of Mathematical Functions in Floating Point Numbers”, Programming and Computer Software, 33:3 (2007), 154–173.; Mauborgne L., “Astr´ee: Verification of Absence of Runtime Error”, In: Jacquart R. (eds) Building the Information Society. IFIP International Federation for Information Processing, 156 (2004), 385–392.; Melquiond G., Rieu-Helft R., “Formal Verification of a State-of-the-Art Integer Square Root”, IEEE 26th Symposium on Computer Arithmetic (ARITH), Kyoto, Japan, 2019, 183–186.; Moy Y., Ledinot E., Delseny H., Wiels V., Monate B., “Testing or Formal Verification: DO-178C Alternatives and Industrial Experience”, IEEE Soft, 30:3 (2013), 50-57.; Rager D. L., Ebergen J., Nadezhin D., Lee A., Chau C. K., Selfridge B., “Formal Verification of Division and Square Root Implementations, an Oracle Report.”, Formal Methods in Computer-Aided Design (FMCAD), 2016, 149–152.; Randimbivololona F., Souyris J., Baudin P., Pacalet A., Raguideau J., Schoen D., “Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach”, In: Wing J. M., Woodcock J., Davies J. (eds) — Formal Methods. FM 1999, 1709 (1999), 1798–1815.; Russinoff D. M., “A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode”, Formal Methods in System Design, 14:1 (1999), 75–125.; Russinoff D. M., “A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7TM Processor”, LMS J. Comput. Math. (UK), 1 (1998), 148–200.; Sawada J., Gamboa R., “Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem”, LNCS. Formal Methods in Computer-Aided Design. FMCAD 2002., 2517 (2002), 274–291.; Shelekhov V. I., “Verification and Synthesis of Addition Programs under the Rules of Correctness of Statements”, Automatic Control and Computer Sciences, 45:7 (2011), 421–427.; Shilov N. V., Anureev I. S., Bodin E. V., “Generation of Correctness Conditions for Imperative Programs”, Programming and Computer Software, 34:6 (2008), 307–321.; Шилов Н. В., Кондратьев Д. А., Ануреев И. С., Бодин Е. В., Промский А. В., “Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня”, Моделирование и анализ информационных систем, 25:6 (2018), 637-666.; Todorov V., Boulanger F., Taha S., “Formal Verification of Automotive Embedded Software”, Proceedings of the 6th Conference on Formal Methods in Software Engineering. ACM, New York, USA, 2018, 84–87.

Verfügbarkeit: https://www.mais-journal.ru/jour/article/view/1274
https://doi.org/10.18255/1818-1015-2019-4-520-533

Free and Open Source Software for E-Learning : Issues, Successes and Challenges

Autoren: Betul Özkan Czerkawski

Resource Type: eBook.

Schlagworte: Instructional systems--Design, Open source software, Computer-assisted instruction--Software

Categories: COMPUTERS / Programming / Open Source, COMPUTERS / Desktop Applications / General, EDUCATION / Distance, Open & Online Education

Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers

Autoren: Robert M. Hierons Jonathan P. Bowen Mark Harman

Resource Type: eBook.

Schlagworte: Software engineering, Compilers (Computer programs), Computer science, Electronic data processing—Management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems

Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Autoren: Bertrand Meyer Yuri Gurevich

Resource Type: eBook.

Schlagworte: Computer networks, Electronic digital computers—Evaluation, Software engineering, Computer science, Computers and civilization

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Social Aspects

Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Autoren: Wolfgang Grieskamp Carsten Weise

Resource Type: eBook.

Schlagworte: Computer programs--Testing--Congresses, Computer software--Testing--Congresses, Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Languages / General