М |
Программное обеспечение систем на микропроцессорах и микро-ЭВМ (Учебное пособие) |
1983 |
Дробинцев Д. Ф., Котляров В. П., Самочадин А. В. |
|
|
Ленинградский политехнический институт |
|
20.10.1984 |
М |
Технология разработки программного обеспечения для встроенных средств микропроцессорной техники |
1988 |
Котляров В. П., Питько А. Е. |
|
|
|
|
22.12.1988 |
СТ |
Инструментальная расширяемая среда конструирования распределенных отказоустойчивых программных средств |
1988 |
Котляров В. П., Питько А. Е., Евсеев А. В. |
|
|
|
Методы трансляции и конструирования программ. (Тез. докл. Всесоюз. конф. 23-25 ноября 1988 г.) |
27.03.1991 |
СТ |
Контроль корректности в расширяемой инструментальной среде комфорт |
1989 |
Котляров В. П. |
|
|
|
Адаптируемые средства программирования. Методы оценки трансляторов. (Матер. шк.-сем. 5-10 июня 1989 г.) |
26.03.1991 |
СТ |
Подход к модульному проектированию устойчивых программных средств |
1991 |
Иткин В. Э., Котляров В. П. |
|
|
|
Смешанные вычисления и преобразование программ |
23.06.1992 |
СТ |
Творческое наследие В.Э.Иткина |
1993 |
Бульонков М. А., Городняя Л. В., Касьянов В. Н., Котляров В. П., Непомнящий В. А., Цейтлин Г. Е., Шилов Н. В. |
|
|
|
Кибернетика и системный анализ |
19.08.1993 |
СТ |
Case-технология и возможности современных case-средств в поддержке этапов проектирования программного продукта |
1995 |
Котляров В. П. |
Системная информатика |
|
|
Методы теоретического и системного программирования |
25.10.1995 |
СТ |
Входной язык описания тестов на основе расширенных MSC диаграмм |
2004 |
Котляров В. П., Сухомлинов В. А. |
|
|
|
Кибернетика и системный анализ |
14.05.2004 |
СТ |
Спецификация систем с помо ью базовых протоколов |
2005 |
Летичевский А. Ад., Капитонова Ю. В., Волков В. А., Летичевский А. А., Баранов С. Н., Котляров В. П., Вейгерт Т. |
|
|
|
Кибернетика и системный анализ |
20.12.2005 |
СТ |
Заметки о моих встречах с Андреем Петровичем Ершовым |
2009 |
Котляров В. П. |
|
|
|
PSI 09, семинар "История информатики в Сибири" |
21.07.2009 |