ИСТИНА

Шурлин М.Д.

Соавторы: Махортов С.Д.

2 статьи, 2 доклада на конференциях

Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 3

IstinaResearcherID (IRID): 6050396

Деятельность

• Статьи в журналах

  • 
    • 2013 LP-structures analysis: Substantiation of refactoring in object-oriented programming
    • Makhortov S.D., Shurlin M.D.
    • в журнале Automation and Remote Control, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 74, № 7, с. 1211-1217 DOI
  • • 2012 Алгебраические модели иерархий типов для проектирования и рефакторинга
    • Махортов С.Д., Шурлин М.Д.
    • в журнале Онтология проектирования, издательство Общество с ограниченной ответственностью Предприятие Новая техника (Самара), том 1, № 3, с. 73-79

• Доклады на конференциях

  • • 2013 LP-структуры представления знаний в объектно-ориентированных системах
    • Авторы: Махортов С.Д., Шурлин М.Д.
    • IV Всероссийская конференция с международным участием "Знания-Онтологии-Теории", 8-10 октября 2013 г., Институт математики им. С.Л. Соболева СО РАН, г. Новосибирск, Россия, 8-10 октября 2013
  • • 2012 Алгебраическая система на решетке типов для верификации и рефакторинга
    • Авторы: Шурлин М.Д., Махортов С.Д.
    • Тринадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2012 , Белгород, Россия, 16-20 октября 2012