1. 2010
  2. Программная среда WebMLDoc для автоматизированного отслеживания изменений в пользовательской документации Web-приложений

    Смирнов, М. Н., Кознов, Д. В., Дорохов, В. А. & Романовский, К. Ю., 2010, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 5, p. 32-51

    Research output: Contribution to journalArticlepeer-review

  3. 2009
  4. A Knowledge Management Approach for Industrial Model-Based Testing

    Koznov, D., Malinov, V., Sokhransky, E. & Novikova, M., 2009, Proceedings of the International Conference on Knowledge Management and Information Sharing. p. 200-205

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

  5. АВТОМАТИЗИРОВАННЫЙ РЕФАКТОРИНГ ДОКУМЕНТАЦИИ СЕМЕЙСТВ ПРОГРАММНЫХ ПРОДУКТОВ

    Кознов, Д. В. & Романовский, К. Ю., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 4, p. 128-150

    Research output: Contribution to journalArticlepeer-review

  6. МОДЕЛИРОВАНИЕ ИНТЕРФЕЙСА ПОЛНОФУНКЦИОНАЛЬНЫХ WEB-ПРИЛОЖЕНИЙ, ИНТЕНСИВНО РАБОТАЮЩИХ С ДАННЫМИ User interface modeling for Rich Data Intensive Internet Applications.

    Иванов, А. Н., Кознов, Д. В. & Тыжгеев, М. Г., 2009, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 10: ПРИКЛАДНАЯ МАТЕМАТИКА, ИНФОРМАТИКА, ПРОЦЕССЫ УПРАВЛЕНИЯ. 3, p. 189-204

    Research output: Contribution to journalArticlepeer-review

  7. ПОДДЕРЖКА КОНЦЕПТУАЛЬНОГО МОДЕЛИРОВАНИЯ ПРИ РАЗРАБОТКЕ ВИЗУАЛЬНЫХ ЯЗЫКОВ С ИСПОЛЬЗОВАНИЕМ MICROSOFT DSL TOOLS

    Кознов, Д. В. & Иванов, А. Н., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. p. 105-127

    Research output: Contribution to journalArticlepeer-review

  8. РАСШИРЕНИЕ ЯЗЫКА WEBML СРЕДСТВАМИ МОДЕЛИРОВАНИЯ ИНТЕРФЕЙСОВ ПОЛНОФУНКЦИОНАЛЬНЫХ WEB-ПРИЛОЖЕНИЙ, ИНТЕНСИВНО РАБОТАЮЩИХ С ДАННЫМИ

    Иванов, А. Н., Кознов, Д. В. & Тыжгеев, М. Г., 2009, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. p. 31-50

    Research output: Contribution to journalArticlepeer-review

  9. 2008
  10. Computer-Supported Collaborative Learning with Mind-Maps

    Koznov, D. & Pliskin, M., 2008, ISoLA 2008, Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Greece). Springer Nature, p. 478-489

    Research output: Chapter in Book/Report/Conference proceedingArticle in an anthologyResearch

  11. DocLine: A method for software product lines documentation development

    Koznov, D. V. & Romanovsky, K. Y., 2008, In: Programming and Computer Software. 34, 4, p. 216-224

    Research output: Contribution to journalArticlepeer-review

  12. МЕТОДИКА ОБУЧЕНИЯ ПРОГРАММНОЙ ИНЖЕНЕРИИ НА ОСНОВЕ КАРТ ПАМЯТИ

    Кознов, Д. В., 2008, In: СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ. 1, p. 121-140

    Research output: Contribution to journalArticlepeer-review

ID: 187573