Поиск по:sp.cs.msu.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера sp.cs.msu.ru ,которые мы индексируем. Показаны документы 261 - 280 из 751.
Упорядочить по:
URL
|
дате изменения
261. Петренко Александр Константинович
... Профессор кафедры, заведующий отделом Института системного программирования РАН. ... KVEST: Automated Generation of Test Suites from Formal Specifications // Proceedings of World Congress of Formal Methods - Toulouse, France, LNCS, 1999, N 1708, pp. 608-621 (co-auth.: ... Formal Methods and Innovation Economy: Facing New Challenges (соавт.: О. Л. Петренко) // Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods, Cape Town, South Africa, 2008. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/pak.html -- 10.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
262. Падарян Вартан Андроникович
... С 1999 г. работает в Институте системного программирования РАН, в настоящее время в должности старшего научного сотрудника. ... А.И. Аветисян, В.А. Падарян, А.И. Гетьман, М.А. Соловьев. ... В.А. Падарян, А.И. Гетьман, М.А. Соловьев. ... Аветисян А.И., Гайсарян С.С., Иванников В.П., Падарян В.А. Прогнозирование производительности MPI-программ на основе моделей. ... 5, 2007. стр. ... В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.А. Падарян. ... А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/pva.html -- 10.1 Кб -- 11.02.2015
Похожие документы
Похожие документы
263. Суслов Андрей Александрович
... Окончил московскую среднюю школу ?702 (1993), факультет вычислительной математики и кибернетики МГУ (1998) и его аспирантуру (2001). ... Область научных интересов: системы управления данными, хранилища данных, системы аналитической обработки данных, системы класса Workflow. ... Извлечение данных из реляционных источников по метаданным // В сб: Программные системы и инструменты, ? ... Инструменты и технологии аналитической обработки данных // Сетевой, ?12, 2001, с. 38-43. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/staff/saa.html -- 8.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
264. Варианты задания практикума по RSL. 2008-9 учебный год
... Варианты задания практикума по RSL. 2008-9 учебный год . ... Разработать на языке RSL спецификацию программного интерфейса определяемой вариантом задания системы в виде: . ... Вариант 1. ... В системе должна быть предусмотрена возможность расширения обслуживаемой сети за счет включения в нее нового банка. ... Неявная спецификация не должна отображать свойства вашей явной спецификации, не являющиеся функциональными требованиями варианта задания (например, способ выбора места для включения элемента). ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/fmsp/2008/variants.html -- 38.5 Кб -- 11.02.2015
Похожие документы
Похожие документы
265. Требования к отчету по практикуму
Зачет по практикуму ставится только при условии сдачи отчета по 2-му заданию (самостоятельное моделирование). ... Отчет состоит из следующих частей: . ... Содержание содержит названия глав, подглав и номера страниц. ... Вторая глава , озаглавленная Анализ требований содержит глоссарий, диаграмму вариантов использования, описания действующих лиц и вариантов использования. ... Четвертая глава , озаглавленная Проектирование содержит иерархию проектных классов системы, и описание пакетов. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/prak5/200607/otchet.html -- 4.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
266. Требования к отчету по практике
Во время практики должны быть выполнены задания практикума по курсу ООАиП . ... На комиссию студент должен представить заполненный дневник практики, отзыв руководителя практики от факультета на отдельном листе, отзыв руководителя практики от организации на отдельном листе и отчет по практике. ... Отчет состоит из следующих частей: . ... Вторая глава , озаглавленная Анализ требований содержит глоссарий, диаграмму вариантов использования, описания действующих лиц и вариантов использования. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/prak5/200607/practice.html -- 6.2 Кб -- 11.02.2015
Похожие документы
Похожие документы
267. Практикум ООАиП . Требования к отчету по практикуму. 427, 428, 431, 432, 441
Практикум ООАиП . Требования к отчету по практикуму. 427, 428, 431, 432, 441 группы. 2007-8 год . Зачет по практикуму ставится только при условии сдачи отчета по 2-му заданию (самостоятельное моделирование). ... Отчет состоит из следующих частей: . ... Далее следует заголовок: ОТЧЕТ ПО ПРАКТИКУМУ , тема задания, сведения об исполнителе (фамилия, имя и отчество полностью, номер группы) и преподавателе (доц., канд. физ.-мат. наук Малышко Виктор Васильевич). ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/prak5/200708/otchet.html -- 6.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
268. Производственная практика. Требования к отчету по практике. 527, 528 группы.
Во время практики должны быть выполнены задания практикума по курсу ООАиП . Сдача заданий должна осуществляться в установленные сроки, просрочка может быть поводом для снижения оценки по практике. ... На комиссию студент должен представить заполненный дневник практики, отзыв руководителя практики от факультета на отдельном листе, отзыв руководителя практики от организации на отдельном листе и отчет по практике. ... под кратким отчетом о производственной практике (5-ая страница с конца дневника) ? ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/prak5/200708/practice.html -- 7.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
269. Варианты задания практикума. 2007-08 учебный год
Варианты задания практикума. 2007-08 учебный год . ... Описание действующего лица должно коротко (в одну-две строки) сообщать о роли данного лица. ... разработать (если это требуется вариантом задания) схему базы данных и отобразить ее на диаграмме сущность ? ... В ходе выполнения этого варианта задания должна быть разработана схема базы данных о проходах через турникет. ... В ходе выполнения этого варианта задания должна быть разработана схема базы данных о состоянии игрового поля и таблице рекордов. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/courses/prak5/200708/variants.html -- 76.9 Кб -- 11.02.2015
Похожие документы
Похожие документы
270. Заседание научно-исследовательского семинара. 11 апреля 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 11 апреля 2003 г. Доклад: Адаптивный синтаксический анализатор русского языка . ... Предыдущее заседание | 11.4.2003 | Следующее заседание . ... Предложены схема применения аппарата моделей управления для описания синтаксиса естественного (русского) языка и методика автоматического формирования множества моделей управления, реализованы необходимые для этой методики программные компоненты. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/0411.html -- 7.8 Кб -- 11.02.2015
Похожие документы
Похожие документы
271. Заседание научно-исследовательского семинара. 18 апреля 2003 г.
Главная страница Научно-исследовательский семинар 2003 . Заседание научно-исследовательского семинара. 18 апреля 2003 г. Доклад: Исследование и разработка методологии маскировки программ . Докладчик: Чернов Александр Владимирович, ассистент кафедры Системного программирования факультета ВМК МГУ. ... 18.4.2003 | ... Предлагается новая методика маскировки программ и доказывается ее устойчивость к различным методам семантического анализа (выявление избыточного и мертвого кода, слайсинг и др.) ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2003/0418.html -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
272. Научно-исследовательский семинар. 2004 г.
Главная страница Научно-исследовательский семинар . Заседания в 2004 г... ... 2004 | ... Доклад Шундеева Александра Сергеевича из лаборатории Автоматизации экспериментальных исследований НИИ механики МГУ: Логико-языковые средства управления автоматизированными бизнес-процессами . ... Доклад Козлова Дмитрия Дмитриевича из лаборатории Вычислительных комплексов ф-та ВМК МГУ: Решение задачи тематического информационного поиска в Интернет . ... Кафедра системного программирования ВМК МГУ. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2004/ -- 7.9 Кб -- 11.02.2015
Похожие документы
Похожие документы
273. Заседание научно-исследовательского семинара. 24 марта 2004 г.
Главная страница Научно-исследовательский семинар 2004 . Заседание научно-исследовательского семинара. 24 марта 2004 г. Доклад: О компьютерно-алгебраической реализации метода наименьших квадратов . ... 24.3.2004 | ... Стандаpтный подход к pешению этой задачи, пpименяемый в библиотеках по вычислительной линейной алгебpе, состоит в использовании оpтогональных pазложений, напpимеp, сингуляpного pазложения матpицы A . ... В докладе pечь пойдет о следующих ваpиантах задачи наименьших квадpатов: . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2004/0324.html -- 8.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
274. Заседание научно-исследовательского семинара. 7 апреля 2004 г.
Главная страница Научно-исследовательский семинар 2004 . Заседание научно-исследовательского семинара. 7 апреля 2004 г. Доклад: Метод автоматизированного конструирования процедур идентификации и обнаружения объектов на изображениях . ... Предыдущее заседание | 7.4.2004 | Следующее заседание . ... Суть метода заключается в автоматическом формировании набора идентификационных признаков объектов и построении на их основе эффективных процедур распознавания. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2004/0407.html -- 7.7 Кб -- 11.02.2015
Похожие документы
Похожие документы
275. Заседание научно-исследовательского семинара. 28 апреля 2004 г.
Главная страница Научно-исследовательский семинар 2004 . Заседание научно-исследовательского семинара. 28 апреля 2004 г. Доклад: Решение задачи тематического информационного поиска в Интернет . ... Предыдущее заседание | 28.4.2004 | Следующее заседание . В докладе рассматривается новый метод решения задачи тематического информационного поиска (ИП) в Интернет. ... Рассматриваются результаты экспериментального анализа качества поиска, обеспечиваемого предложенным методом. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2004/0428.html -- 7.3 Кб -- 11.02.2015
Похожие документы
Похожие документы
276. Заседание научно-исследовательского семинара. 8 декабря 2004 г.
Главная страница Научно-исследовательский семинар 2004 . Заседание научно-исследовательского семинара. 8 декабря 2004 г. Доклад: Логико-языковые средства управления автоматизированными бизнес-процессами . Докладчик: Шундеев Александр Сергеевич, лаборатория Автоматизации экспериментальных исследований, НИИ механики МГУ. ... 8.12.2004 | ... Новый язык описания определений и реализациий процессов XPDIL, и специализированная система автоматизации бизнес-процессов, основанная на языке XPDIL. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2004/1208.html -- 7.6 Кб -- 11.02.2015
Похожие документы
Похожие документы
277. Научно-исследовательский семинар 2005 г.
... 2005 | ... Доклад Максакова Алексея аспиранта кафедры АСВК факультета ВМК МГУ: Обеспечение периодического тематического поиска . ... Продолжение доклада Подшивалова Алексея Юрьевича с кафедры АСВК факультета ВМК МГУ: Методы и средства анализа взаиморасположения объектов с использованием индуцированной виртуальной среды . ... Доклад Подшивалова Алексея Юрьевича с кафедры АСВК факультета ВМК МГУ: Методы и средства анализа взаиморасположения объектов с использованием индуцированной виртуальной среды . ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/ -- 11.0 Кб -- 11.02.2015
Похожие документы
Похожие документы
278. Заседание научно-исследовательского семинара. 16 февраля 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 16 февраля 2005 г. Доклад: Логико-языковые средства управления автоматизированными бизнес-процессами . Докладчик: Шундеев Александр Сергеевич, лаборатория Автоматизации экспериментальных исследований, НИИ механики МГУ. Предыдущее заседание | ... Новый язык описания определений и реализациий процессов XPDIL, и специализированная система автоматизации бизнес-процессов, основанная на языке XPDIL. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0216.html -- 7.5 Кб -- 11.02.2015
Похожие документы
Похожие документы
279. Заседание научно-исследовательского семинара. 23 марта 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 23 марта 2005 г. Доклад: Функциональные методы обработки XML-данных . ... Предыдущее заседание | 23.3.2005 | ... Специфика работы состоит в выявлении близкого соответствия между вложенными списками языка функционального программирования Scheme и древовидной структурой XML-документа и использовании вложенных списков языка Scheme и методов их обработки для представления и обработки XML-данных. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0323.html -- 8.2 Кб -- 11.02.2015
Похожие документы
Похожие документы
280. Заседание научно-исследовательского семинара. 30 марта 2005 г.
Главная страница Научно-исследовательский семинар . Заседание научно-исследовательского семинара. 30 марта 2005 г. Доклад: Управление хранимыми XML-данными . ... Предыдущее заседание | 30.3.2005 | ... В докладе рассматривается проблема создания механизмов хранения и обработки XML-данных в рамках полнофункциональной системы управления базами данных. ... Разработаны структуры хранения XML-данных во внешней памяти, которые эффективны как для запросов, так и для изменения данных. ...
[
Сохраненная копия
]
Ссылки http://sp.cs.msu.ru/seminar/2005/0330.html -- 7.5 Кб -- 11.02.2015
Похожие документы
Похожие документы