Дмитрий Владимирович Кознов
О себе
В 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.