1 - 10 из 76Размер страницы: 10
Сортировать по:: Год публикации
  1. 2025

  2. Managing Master Data Implementations

    Кузнецов, С. В., Кознов, Д. В. & Луцив, Д. В., 2025, в: Труды института системного программирования РАН. 37, 4, стр. 162-175

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. 2024

  4. Автоматическое определение сходства Javadoc-комментариев

    Кознов, Д. В., Леденева, Е. Ю., Луцив, Д. В. & Браславский, П. И., 2 янв 2024, в: Труды института системного программирования РАН. 35, 4, стр. 177-186

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Calculating Similarity of Javadoc Comments

    Кознов, Д. В., Леденева, Е. Ю., Луцив, Д. В. & Браславский, П. И., 2024, в: Programming and Computer Software. 50, 1, стр. 85-89

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  6. 2022

  7. TraceSim: An Alignment Method for Computing Stack Trace Similarity

    Rodrigues, I. M., Khvorov, A., Aloise, D., Vasiliev, R., Koznov, D., Fernandes, E. R., Chernishev, G., Luciv, D. & Povarov, N., мар 2022, в: Empirical Software Engineering. 27, 2, 53.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. Архитектура ЭВМ: учебное пособие

    Луцив, Д. В., Мокаев, Р. Н., Гаранина, Н. О. & Кознов, Д. В., 2022, ИНТУИТ.РУ. 152 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › учебная › Рецензирование

  9. 2021

  10. S3M: Siamese Stack (Trace) Similarity Measure

    Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., мая 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., стр. 266-270 5 стр. 9463141. (IEEE International Working Conference on Mining Software Repositories).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  11. Static Checking Consistency of Temporal Requirements for Control Software

    Garanina, N. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (ред.). Springer Nature, стр. 189-203 15 стр. (Communications in Computer and Information Science; том 1481 CCIS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  12. Visual Language for Device Management in Telecommunication Product Line

    Semenov, E., Kai, S., Gen, C., Luciv, D. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (ред.). Springer Nature, стр. 204-216 13 стр. (Communications in Computer and Information Science; том 1481 CCIS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  13. 2020

  14. TraceSim: A method for calculating stack trace similarity

    Vasiliev, R., Koznov, D., Chernishev, G., Khvorov, A., Luciv, D. & Povarov, N., 13 ноя 2020, MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020. Khomh, F., Salza, P. & Catolino, G. (ред.). Association for Computing Machinery, стр. 25-30 6 стр. (MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  15. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Назад 1 2 3 4 5 6 7 8 Далее

ID: 187573