Search for Research

Alexandr Naumchev

Новосибирский государственный университет

  • Advanced Software Engineering Methodologies
  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Formal Methods in Verification
  • Software Engineering Techniques and Practices

Чем занимается

Ключевые темы по публикациям: Advanced Software Engineering Methodologies; Software Engineering Research; Software Testing and Debugging Techniques; Formal Methods in Verification; Software Engineering Techniques and Practices.

Последние работы

Все 40 в OpenAlex
  • The Role of Formalism in System Requirements2021 · аннотация

    A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, which is good for…

  • Teaching DevOps in Corporate Environments2019
  • Seamless requirements2017
  • Extracting Software Requirements from Unstructured Documents2022
  • Complete Contracts through Specification Drivers2016 · аннотация

    Existing techniques of Design by Contract do not allow software developers to specify complete contracts in many cases. Incomplete contracts leave room for malicious implementations. This article complements Design by…

  • Fast Adaptive Approximate Nearest Neighbor Search with Cluster-Shaped Indices2025 · аннотация

    In this study, we propose a novel adaptive algorithm for approximate nearest neighbor (ANN) search, based on the inverted file (IVF) index (cluster-based index) and online query complexity classification. The concept of…

  • Natural Language Processing with Machine Learning for Security Requirements Analysis: Practical Approaches2023
  • Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.2023

Наукометрия

8h-index
40публикаций
191цитирований

Написать научруку

Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.

Шаблон письма

Здравствуйте, Alexandr Naumchev! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «The Role of Formalism in System Requirements» (2021) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]

На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.