Дмитрий Владимирович Кознов

О себе

В 1994 году я окончил математико-механический факультет СПбГУ и поступил в аспирантуру. Параллельно, еще будучи студентом, я начал работать в индустрии – сначала в ГП «Терком» (системы связи, средства моделирования систем связи), потом в ООО «Новавокс» (компьютерная телефония), а затем в ЗАО «ЛАНИТ-ТЕРКОМ» (разработка средств визуального моделирования и реинжиниринга ПО).

В 2000 году я защитил кандидатскую диссертацию по специальности 05.13.11 по теме Визуальное моделирование компонентного ПО, научн. рук. проф. Терехов А.Н., официальные оппоненты проф. Поттосин И.В., проф. Котляров В.П.

В 2002 году я перешел на постоянную работу в Санкт-Петербургский государственный университет, на кафедру системного программирования, где и работаю в настоящий момент в должности доцента. В 2006 году я получил звание доцента по кафедре системного программирования.

Сейчас я занимаюсь научной и педагогической деятельностью, являюсь членом ред. коллегии ежегодного издания Системное программирование , а также членом программного комитета International Conference on Knowledge Management and Information Sharing (KMIS). Мне интересны различные исследовательские проекты, находящиеся на стыке науки, индустрии и образования, а также междисциплинарные и международные проекты и исследования.

Научные интересы

Визуальное моделирование ПО – это использование чертежей и диаграмм при проектировании и сопровождении программного обеспечения по аналогии с чертежным проектированием в строительстве и машиностроении. Только в отличии от обычных инженерных объектов ПО невидимо – и поэтому нет однозначного ответа на вопрос, как его визуализировать. И поэтому эта область является исследовательской. Наиболее известными языками визуального моделирования являются UML, стандарты серии IDEF, SDL/MSC и нек. др. Самым крупным исследовательском проектом в этой области, в котором я участвовал и которым я руководил в последние годы, был проект Real (1997 – 2002 гг.). Следующий проект (2003 г. – по настоящее время) посвящен разработке DSM-платформы на базе MS Visio . И наконец, следует упомянуть проект по моделированию GSM-мобильной станции в среде Linux (1996 – 1998 гг.).

Разработка технической документации. При создании и сопровождении сложных инженерных объектов разработка документации является сложным процессом. Представьте, например, документацию, описывающую технические характеристики ново самолета! Такая документация имеет большой объем (сотни страниц), существует в нескольких комплектах (например, для разных модификаций одной модели самолета), является существенно неоднородной (и html-справки, и pdf-файлы, и различные картинки, и связи между разными файлами-документами и т.д.). Наконец, такая документация активно изменяется и эволюцинизирует. Все это привело к активному использованию при разработке такой документации технологий, основанных на XML. Разработкой одной такой технологии, которая называется DocLine (с 2003 г. – по настоящее время), я и занимаюсь совместно с Константином Романовским и другими сотрудниками и учащимися математико-механического факультета.

Технологии образования. Мне интересны всевозможные нестандартные методы обучения, способные изгнать рутину как из процесса преподавания, так и из обучения. И радикально повысить эффективность самого обучения. А то без этого как-то скучно и неинтеренсо работать в университете. В своей практике преподавания я широко использую визуальное моделирование как средство для воспитания у студентов навыков «живой» структуризации информации, а также концептуального мышления. Я занимаюсь обучением написанию текстов (очень непростая и провальная позиция у русских программистов, студентов, аспирантов и ученых в области программной инженерии). Наконец, мне интересны принципы создания и поддержания жизнеспособных и развивающихся Интернет-образовательных ресурсов.

Научные проекты

Текущие

  • DocLine (с 2003 г. – по настоящее время).
  • Improving Social Servises
  • v2v-transformation approach
  • Прошлые

  • Концептуальное моделирование визуальных языков (2007 г. – по 2010 г.).
  • Visio DSM-платформа (2003 г. – 2009 гг.).
  • Экспериментальные индустриальные внедрения модельно-ориентированной технологии тестирования UniTesK (2004 – 2007 гг.).
  • Визуальная среда проектирования систем телевизионного вещания ViDIP (2005 – 2007 гг.).
  • REAL (1997 – 2002 гг.).
  • Моделирование GSM-мобильной станции в среде Linux (1996 – 1998 гг.).
  • Курсы

  • «Конструирование ПО». Бакалавры (III курс), специалисты (IV курс). Учебные пособия: «Языки визуального моделирования» (2004 г.) и «Основы визуального моделирования» (2008 г.).
  • «Технология программирования». Специалисты (V курс). Лекции на Интуит.Ru (2008 г.). Учебное пособие «Введение в программную инженерию, часть I» (2005 г.).
  • «Введение в программную инженерию». Бакалавры (II курс).
  • Практически занятия по искусству написания текстов и составлению документации.
  • Студенты и аспиранты

    Под моим руководством защищено 34 дипломные работы, 1 бакалаврская работа и 1 кандидатская диссертация Подробнее>>

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

    Полный список>>

  • 2011-2013. Грант программы SOURCE-EAST FINLAND – RUSSIA ENPI CBC 2007-2013. Название проекта: «Improving Social Services» (№ 2010-021-SE396). Партнеры: СПбГТУ, мэрия СПб, технический университет г. Лааперанты (Финляндия), мэрия г. Иматра (Финляндия) и др. организации. Роль: руководитель со стороны СПбГУ.
  • 2011-2013. Грант РФФИ. Название проекта: «Циклическая разработка в моделировании ПО» (№ 11-01-00622-а). Роль: руководитель проекта.
  • 2010. Грант Совета Министров Северных Стран. Название проекта «Software Engineering Learning» ( № NCM-RU-PA-2009/10661). Роль: руководство со стороны СПбГУ.
  • Контакты

    dkoznov at yandex dot ru

    Избранные публикации

    Полный список>>

  • Dmitrij Koznov, Alexander Samochadin, Alexey Azarskov, Julia Chevzova. Towards E-government services in Russia// 3d Int'l Conf. on Knowledge Management and Information Sharing, KMIS 2011, Paris, France 26 - 29 October, 2011.
  • Д.Кознов, Е.Ларчик, М.Плискин, Н.Артамонов. О задаче слияния карт памяти (Mind Maps) при коллективной разработке // Программирование, 2011, № 6. C. 1-10.
  • D.Koznov. Process Model of DSM Solution Development and Evolution for Small and Medium-Sized Software Companies // Proceedings 15th IEEE Internationa EDOC Conference Workshops. 2nd International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE 2011). 29 August - 3 September, 2011 Helsinki. P. 85-92.
  • Д.В.Кознов О спецификации диаграммных преобразований в графических редакторах. Вестник Санкт-Петербургского Университета, Сер. 10. Вып. 3. 2011. С. 100-111.
  • Д.В.Кознов, М.Н.Смирнов, В.А.Дорохов, К.Ю.Романовский WebMLDoc: подход к автоматизированному отслеживанию изменений в пользовательской документации Web-приложений. Вестник Санкт-Петербургского Университета, Сер. 10. Вып. 3. 2011. С. 112-126.
  • А.Сорокин, Д. Кознов. Обзор проекта Eclipse Modeling Project // Сб. Системное программирование./ Вып. 5, под ред. А.Н.Терехова и Д.Ю.Булычева. СПб.: Изд. СПбГУ, 2010. C. 6-31.
  • D.Koznov, V. Malinov, E. Sokhransky, M.Novikova. A Knowledge Management Approach for Industrial Model-Based Testing. KMIS 2009, International Conference on Knowledge Management and Information Sharing, Madeira, 6 - 8 October, 2009, Portugal.
  • Д.В.Кознов, К.Ю.Романовский. DocLine: метод разработки документации семейства программных продуктов. Программирование, 2008, № 4 С. 1-13.
  • D.Koznov, M.Pliskin. Computer-Supported Collaborative Learning with Mind-Maps. T. Margaria and B. Steffen (Eds.): ISoLA 2008, CCIS Vol. 17, 2008. Springer-Verlag, Berlin Heidelberg, 2008. P. 478-489.
  • K.Romanovsky, D.Koznov, L.Minchin. Refactoring the Documentation of Software Product Lines. 3rd IFIP Central and East European Conference on Software Engineering Techniques CEE-SET 2008, Brno (Czech Republic), October 13-15, 2008.Lecture Notes in Computer Science, Vol. 4980, Springer 2011. P. 158-170.
  • Д.В.Кознов, Я. Кириленко. Опыт сочетания теории и практики в обучении программной инженерии // Сб. трудов III Международной научно-практической конференции "Современные информационных технологий и ИТ-образование", 6-9 декабря 2008, Москва, ВМиК МГУ им. Ломоносова,. Под редакцией проф. В.А. Сухомлина, М.: МАКС-пресс, 2008.
  • Д.В.Кознов. Методика обучения программной инженерии на основе карт памяти // Системное программирование. / Вып. 3, под ред. А.Н.Терехова и Д.Ю.Булычева. СПб.: Изд. СПбГУ, 2008. С. 121-140.
  • Д.Ю.Романовский, Д.В.Кознов. Язык DRL для проектирования и разработки документации семейства программных продуктов // Вестник Санкт-петербургского университета, Серия 10, Информатика, № 4, 2007. С. 110-122.
  • А.Павлинов, Д.Кознов, А.Перегудов, Д. Бугайченко, А. Казакова, Р. Чернятчик, Т. Фесенко, А. Иванов. Комплекс средств разработки проблемно-ориентированных визуальных языков. Вестник Санкт-петербургского университета, Серия 10, Информатика, № 2, 2007. C. 86-96.
  • A.Ivanov, D.Koznov. REAL-IT: Model-Based User Interface Development Environment // Proceedings of IEEE/NASA ISoLA 2005 Workshop on Leveraging Applications of Formal Methods, Verification, and Validation. Loyola College Graduate Center Columbia, Maryland, USA, 23-24 September 2005. P. 31-41.
  • Д.Кознов, А.Перегудов. «Человеческие» особенности в использовании UML // Системное программирование. / Вып. 1, под ред. А.Н.Терехова и Д.Ю.Булычева. СПб.: Изд. СПбГУ, 2005. С. 4-17.
  • D.Koznov, M.Kartachev, V.Zvereva, R.Gagarsky, A.Barsov. Round-trip engineering of reactive systems // Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA), 30 October- 2 November 2004, Paphous, Cyprous, pp. 343-346.
  • Т.Попова, Д.Кознов, А. Тиунова , К. Романовский. Эволюция общих активов в задачах реинжиниринга // Системное программирование. / Под ред. проф. А.Н.Терехова и Д.Ю.Булычева. СПб: Изд. СПбГУ, 2004. С.184-199.
  • Л.Ольхович, Д.Кознов. Метод автоматической валидации UML-спецификаций на основе OCL. Программирование, N 6, декабрь, 2003. С. 44-50.
  • Д.Кознов. Коммуникативный аспект визуального моделирования при разработке программного обеспечения // Ежегодник российского психологического общества: материалы III всероссийского съезда психологов, 25-28 июня 2003 года, в 8-ми томах. Изд-во С.-Петерб. ун-та, 2003. т. 4. С. 303-308.
  • Д.Кознов. Средства производства программистов. PCWeek, N6, 19 февраля 2002, стр. 44-46.

  • Д.Кознов. Творчество как путь от озарения к воплощению. Ежегодник российского психологического общества: материалы III всероссийского съезда психологов, 25-28 июня 2003 года. Дополнительные материалы. Изд-во Ленингр. гос. ун-та им. А.С.Пушкина, 2005. С. 72-75.
  • D.Boulychev, D.Koznov, A.A.Terekhov. On Project-Specific Languages and Their Application in Reengineering. 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 11-13 March 2002, Budapest, Hungary, Proceedings. IEEE Computer Society 2002, pp. 177-185.
  • D.Koznov. Visual Modeling in Software Management // N. Krivulin (Ed): Proceedings of 2nd International Workshop "New Models of Business: Managerial Aspects and Enabling Technology". Saint-Petersburg. 2002. P. 161-169.
  • D.Koznov, K. Romanovsky, A.Nikitin. A Method for Recovery and Maintenance of Software Architecture. D.Bjrner, M.Broy, Alexandre V. Zamulin (Eds.): PSI 2001. LNCS, Vol. 2244. Springer Berlin/Heidelberg 2001. P. 324-327.
  • А.Терехов , Д. Кознов, К. Романовский, П.Долгов П., А.Иванов. Real: методология и CASE-средство для разработки систем реального времени и информационных систем. Программирование. N.5, М. Наука 1999. С. 44-51.
  • А.Иванов, Д.Кознов, Т.Мурашова, В.Парфенов, А.Н.Терехов. Объектно-ориентированное расширение технологии RTST // Записки семинара кафедры системного программирования "CASE-средства RTST++". Вып.1. СПб, Издательство С-Петербургского университета, 1998. С.17-36.