WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

Факультет Вычислительной математики и кибернетики МГУ

Список заданий на подготовку реферата по курсу

«Распределенные объектные технологии», вторая часть курса

«Проектирование семантически интероперабельных

информационных систем»

Проф. Леонид Андреевич Калиниченко

(leonidk@synth.ipi.ac.ru)

Октябрь 2009

Общие методические указания

• Подготовка рефератов по второй части курса РОТ предполагает знание инфраструктуры объектного промежуточного слоя (CORBA), рассматриваемой в первой части курса • Предлагаемые задания равнозначны по сложности • Формулировка заданий содержит укрупненный план реферата (список его разделов). При необходимости план может быть изменен по согласованию с Л.А.Калиниченко по электронной почте (leonidk@synth.ipi.ac.ru ). Если изменения не требуются, то согласовывать план не нужно.

• Материалы, подобранные для написания реферата, находятся на различных сайтах • Гиперссылки на материалы курса включены в соответствующие разделы краткого описания (summary) курса, содержащегося в файле DOT-Pt2-Summary.pdf • В задании в разделе «Литература» приведены минимально необходимые для реферата разделы краткого описания курса и названия гиперссылок, встречающиеся в этих разделах и отсылающих к рекомендованной литературе • Работу над рефератом следует начинать с внимательного прочтения краткого описания курса (файл DOT-Pt2-Summary.pdf), после чего следует сосредоточиться на разделах краткого описания и литературе, указанных в конкретном задании • Реферат может быть написан на русском или английском языке и должен быть представлен как doc файл • В процессе работы над рефератом консультации могут быть получены при общении с Л.А.Калиниченко по электронной почте (leonidk@synth.ipi.ac.ru) • Срок представления второго реферата – до 7 декабря 2009 г.

Задание 1. Семантическая интероперабельность при проектировании ИС: проблемы и подходы к их решению • Характеристика различных видов семантики, которые должны быть учтены для достижения семантической интероперабельности • Унифицированное представление спецификаций модели приложений и ресурсов (компонентов) : каноническая объектная модель. Полнота спецификаций.

Формальная семантика канонической модели в Нотации Абстрактных Машин • Определение семантики предметной области: онтологическое моделирование, спецификации понятий (вербальные, логические, объектно-логические), унификация онтологических моделей, формальная верификация правильности установленных отношений между понятиями. Пример.

• Согласование контекстов предметной области и компонентов на основе соответствующих онтологических определений • Формальная семантика повторного использования компонентов при реализации модели приложения ИС (алгебра типов, понятие наибольшего общего редукта, композиция типов, доказательное установление отношения уточнения спецификаций). Пример.

Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Motivation (литература: SIR framework, Ideas for SIR, Analysis and Design) 2. Canonical model (литература: Canonical object model) 3. Formal models and methods (литература: (A Strategy for formal methods, AMN (section 2), B Method, B-related references, Formal methods) 4. Ontological modeling (Ontological modeling (sections 1, 3, 4, 5), Web Ontology Language, Reversible ontological model mapping, Intercontext correlation, Ontology reconciliation, Object specifications linking) 5.





Object types (ADT basics (section 1), Calculus) 6. Component based compositional design (Component-based design paper, Concretization construction paper, Automation of Verification paper, Resource registration, Compositional approach in Russian, Complementary architecture paper ) Задание 2. Роль формальных методов в процессе проектирования семантически интероперабельных ИС • Стратегии применения формальных методов при проектировании информационных систем, мотивация применения формальных методов • Формальная спецификация типов и отношений типов в Object Z • Нотация абстрактных машин как формальная модель спецификаций • Уточнение абстрактных машин и уточнение спецификаций типов • Примеры применения AMN для доказательства уточнения спецификаций, заданных в канонической объектной модели • Особенности построения уточняющих отображений информационных моделей (на примере отображения OWL в каноническую объектную модель), обеспечивающих возможность верификации уточнения спецификаций • Применение AMN для верификации отношений онтологических понятий Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Formal models and methods (литература: все ссылки из этого раздела) 2. Canonical model (литература: Canonical object model) 3. Ontological modeling (литература: Reversible ontological model mapping) 4. Component based compositional design (литература: Automation of Verification paper, Component-based design paper, Concretization construction paper, Compositional approach in Russian, Compositional development) Задание 3. Алгебра типов как основа процесса композиционного проектирования ИС • Абстрактные типы данных (АТД). Определение отношения подтипа и отношения уточнения типов. Как доказывать правильность определения отношения подтипа и уточнения в Нотации абстрактных машин • Алгебра типов и ее назначение в процессе проектирования и реализации ИС • Алгебра типов в канонической объектной модели • Спецификации абстрактных типов данных – в канонической объектной модели и в формальных моделях. Мотивация применения формальных методов • Примеры использования алгебры типов для конструирования уточняющих композиций спецификаций типов (в канонической объектной модели) в процессе проектирования семантически интероперабельных ИС Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Formal models and methods (литература: ADT basics, AMN (section 2), B Method, Brelated references) 2. Canonical model (литература: Canonical object model, SYNTHESIS) 3. Object types (литература: все ссылки из этого раздела) 4. Component based compositional design (литература: Automation of Verification paper, Component-based design paper, Concretization construction paper, Compositional approach in Russian, Compositional development) Задание 4. Языки онтологического моделирования • Онтологическое моделирование и его роль в процессе достижения семантической интероперабельности • Вербальное определение онтологий. Примеры • Обзор средств зыка ONTOLINGUA, использующего логику предикатов первого порядка. Примеры онтологических определений на ONTOLINGUA • Обзор средств языка OWL, использующего дескриптивную логику. Примеры онтологических определений на OWL • Унификация онтологических моделей. Отображение онтологических моделей (ONTOLINGUA и OWL) в каноническую объектную модель • Подход к доказательству отношения понятие/подпонятие при использовании нотации абстрактных машин Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Canonical model (литература: Canonical object model) 2. Formal models and methods (литература: AMN (section 2), B Method, B-related references) 3. Ontological modeling (литература: все ссылки из этого раздела) Задание 5. Вопросы онтологического моделирования в процессе проектирования семантически интероперабельных ИС • Онтологии модели приложения и спецификации компонентов. Языки определения онтологий. Задачи онтологического моделирования при проектировании ИС • Аннотирование спецификаций. Установление онтологических связей между спецификациями типов и их элементов модели приложения и компонентов.





Автоматизация и верификация связей для онтологий в различных онтологических языках (вербальные онтологии, логика предикатов, дескриптивная логика) • Вопросы согласования онтологических контекстов модели приложения и компонентов. Интеграция онтологий • Приведение онтологических спецификаций к унифицированному виду (каноническая объектная модель). Отображение онтологических языков на примере отображения OWL в каноническую объектную модель.

Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) Литература 1. Canonical model (литература: Canonical object model) 2. Formal models and methods (литература: AMN (section 2), B Method, B-related references) 3. Ontological modeling (литература: все ссылки из этого раздела) 4. Component based compositional design (Compositional approach in Russian) Задание 6. Идентификация и регистрация компонентов в модели приложения для их повторного использования при проектировании информационных систем Задача этапа идентификации и регистрации релевантных компонентов в процессе проектирования и подходы к ее решению Поиск спецификаций компонентов онтологически релевантных фрагментам модели приложения (в предположении, что в качестве унифицированной онтологической модели используется каноническая объектная модель) Подходы к разрешению конфликтов между спецификациями модели приложения и компонентов Подходы к решению задачи выявления фрагментов спецификаций компонентов, которые служили бы уточнением релевантных фрагментов модели приложения. Верификация отношения уточнения на основе формальных методов (Нотации Абстрактных Машин) Построение композиции уточняющих фрагментов для получения спецификации, уточняющей спецификацию модели приложения.

Использование алгебры типов. Верификация отношения уточнения на основе формальных методов (Нотации Абстрактных Машин) Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Canonical model (литература: Canonical object model, SYNTHESIS) 2. Formal models and methods (литература: AMN (section 2), B Method, B-related references) 3. Component based compositional design (литература: Automation of Verification paper, Component-based design paper, Concretization construction paper, Resouce registration, Compositional approach in Russian, Compositional development) Задание 7. Проектирование семантически интероперабельных систем в компонентной среде объектного промежуточного слоя • Процесс проектирования семантически интероперабельных систем • Каноническая объектная модель и ее роль в процессе проектирования • Согласование семантики предметной области приложения и предметной области компонентов (согласование онтологических контекстов) • Методы достижения уточнения модели приложения спецификациями ресурсов o методы доказательного установления отношения подтипа, отношения уточнения между спецификациями приложения и компонентов o методы устранения конфликтов o алгебра типов и конструирование уточняющих композиций спецификаций • Примеры Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Canonical model (литература: Canonical object model, SYNTHESIS) 2. Object types (ADT basics (section 1), Calculus) 3. Formal models and methods (литература: AMN (section 2), B Method, B-related references) 4. Component based compositional design (литература: все ссылки из этого раздела) Задание 8. Проектирование семантически интероперабельных систем в сервис-ориентированной среде • Модельные и инфраструктурные решения, обеспечивающие проектирование семантически интероперабельных ИС в компонетной среде объектного промежуточного слоя • Алгебра типов • Уточнение спецификаций и обеспечение доказательной верификации уточнения • Спецификация сервисов в канонической объектной модели • Идентификация сервисов, релевантных модели приложения • Композиция спецификаций сервисов для достижения уточнения • Анализ отличий проектирования семантически интероперабельных ИС в среде объектного промежуточного слоя (компонентная технология) и в сервисориентированной среде Литература Информацию для написания реферата по этой теме можно найти в следующих разделах краткого описания (summary) курса и в соответствующих им литературных источниках (минимальный список имен гиперссылок на литературу (которые определены в кратком описании курса) приведен ниже) 1. Canonical model (литература: Canonical object model, SYNTHESIS) 2. Object types (ADT basics (section 1), Calculus) 3. Formal models and methods (литература: AMN (section 2), B Method, B-related references) 4. Component based compositional design (литература: Design, Component-based development. Compositional development, dissertation on component-based IS construction) 5. Web Services compositions (литература: все ссылки из этого раздела)

 
Похожие работы:

«УДК 656.7(075.8) ББК 39.511я73 А44 ISBN 978-601-7086-59-6 АВИАЦИОННАЯ КЛИМАТОЛОГИЯ (глобальная, региональная и маршрутная) АКЫЛБАЕВА К.И. АЛМАТЫ 2011 АКЫЛБАЕВА К.И. АЛМАТЫ 2011 Акылбаева К.И. Авиационная Климатология (глобальная, региональная и маршрутная). Алматы, 2011, 399стр., 156рис., 35 табл., 1график. Работа сделана по результатам анализа зарубежных учебников. В работе кратко представлена глобальная, региональная и маршрутная Авиационная Климатология Земного шара, дана краткая...»

«Федеральное агентство по образованию АМУРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ГОУВПО АмГУ УТВЕРЖДАЮ Зав. кафедрой ГиП _ Т.В. Кезина _2009г. Минерально-сырьевые ресурсы Мира УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС для специальности 130301 (Геологическая съемка, поиски и разведка месторождений полезных ископаемых) Составитель: Авраменко С.М., ст.преподаватель кафедры ГиП Благовещенск 2009 г. СОДРЖАНИЕ 1.1. Программа дисциплины.. 2.1.1. Рабочая программа.. 1. Цели и задачи дисциплины.. 2. Связь с другими...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Амурский государственный университет Кафедра Геологии и природопользования УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ БИБЛИОГРАФИЯ И ПАТЕНТОВЕДЕНИЕ Основной образовательной программы по специальности 130400.65 – Горное дело специализации Обогащение полезных ископаемых Благовещенск 2012 г. 3 1. РАБОЧАЯ ПРОГРАММА Учебно-методическое пособие...»

«ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ Н.П. Медведева ЭКСПЕРИМЕНТАЛЬНАЯ БАЛЛИСТИКА Часть I (Методы измерения давления) Рекомендовано методическим советом Томского государственного университета в качестве учебного пособия для специальности 160701 –БАЛЛИСТИКА Томск-2006 PDF created with pdfFactory Pro trial version www.pdffactory.com Рецензенты: Ведущий н.с. НИИПММ, доктор ф.м.н. В.А. Архипов Доцент каф. Динамика полета, к.ф.м.н. В.В. Фарапонов (Томский...»

«ЗАОЧНАЯ ЕСТЕСТВЕННО-НАУЧНАЯ ШКОЛА ПРИ СИБИРСКОМ ФЕДЕРАЛЬНОМ УНИВЕРСИТЕТЕ МАТЕМАТИКА АДАПТАЦИОННЫЙ КУРС Учебное пособие Допущено УМО по классическому университетскому образованию в качестве учебного пособия по дисциплине вузовского компонента Математика. Адаптационный курс для студентов высших учебных заведений, обучающихся по специальности ВПО 010101 Математика, направлениям 010100 Математика, 010300 Математика. Компьютерные науки Красноярск ИПК СФУ 2009 УДК 51(075) ББК 22.1я73 K97...»

«Федеральная таможенная служба Государственное казенное образовательное учреждение высшего профессионального образования Российская таможенная Академия RUSSIAN CUSTOMS ACADEMY ПРИКA3 27 12 2012г №1385 г. Люберцы О методических указаниях по разработке учебных планов (рабочих учебных планов) направлений подготовки (специальностей). В целях обеспечения соответствия содержания подготовки обучающихся требованиям Федеральных государственных образовательных стандартов высшего профессионального...»

«Организация работы по составлению предисловия к описи дел фондов, хранящихся в государственных, муниципальных и ведомственных архивах (методическое письмо) Информационно-методический бюллетень N 18 за 2002 г. от 01.06.2002 стр. 46 _ Лист l Организация работы по составлению предисловия к описи дел фондов, хранящихся в государственных,. муниципальных и ведомственных архивах (методическое письмо) Сорокина B.C. начальник отдела управления по делам архивов Правительства Хабаровского края Святенькая...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Московский государственный университет геодезии и картографии (МИИГАиК) Факультет дистанционных форм обучения Заочное отделение МЕТОДИЧЕСКИЕ УКАЗАНИЯ, ПРОГРАММА И КОНТРОЛЬНАЯ РАБОТА по курсам: Общая картография Для студентов 3 курса специальности 120401.65 - прикладная геодезия Картография Для студентов 3 курса специальности 120700.62 – землеустройство и кадастры Подлежит возврату в деканат заочного отделения факультета дистанционных форм...»

«Федеральное агентство по образованию Государственное образовательное учреждение высшего профессионального образования АМУРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ГОУВПО АмГУ УТВЕРЖДАЮ Заведующий кафедрой _ Т.В. Кезина _ _ 200г. УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС по дисциплине Основы учения о полезных ископаемых для специальности 130301 (Геологическая съемка, поиски и разведка месторождений полезных ископаемых) Составитель: Авраменко С.М., ст.преподаватель кафедры ГиП Благовещенск 2009 г. Печатается по...»

«1.1. ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ ИНСТИТУТ УПРАВЛЕНИЯ, ИНФОРМАЦИИ И БИЗНЕСА БУРЕНИЕ СКВАЖИН И ДОБЫЧА НЕФТИ И ГАЗА Методические указания к контрольным работам Ухта 2005 1 УДК 553. 98: 622. 243: 622. 276 М 79 Мордвинов А.А. Бурение скважин и добыча нефти и газа: методические указания [Текст] / А.А. Мордвинов. – Ухта: Институт управления, информации и бизнеса, 2005. – 9 с. Методические указания предназначены для выполнения двух контрольных работ по дисциплине Бурение скважин и добыча нефти...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования Амурский государственный университет Кафедра геологии и природопользования Кафедра физического материаловедения и лазерных технологий УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ Кристаллография, минералогия Основной образовательной программы по специальности 130301.65 - Геологическая съемка, поиски и разведка месторождений полезных ископаемых...»

«2 Лист – вкладка рабочей программы учебной дисциплины Дискретная математика, ТО.Ф.ОПД.04, федеральный название дисциплины, цикл, компонент Список основной учебной литературы Соответствие ГОС (для федеральных Внесение, дисциплин) или Количество продление или соответствия экземпляров в исключение / Год требованиям ООП библиотеке на Дата Наименование, гриф Автор Подпись отв. издания (для региональных и момент за метод вузовских) - указание переутвержден работу на недостаточно ия программы...»

«СТАНДАРТЫ МГУТУ ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЙ И УПРАВЛЕНИЯ Кафедра Организация производственной и коммерческой деятельности. Рассмотрено на заседании кафедры УТВЕРЖДАЮ Протокол № от 2007 г. Проректор по учебной Зам.зав.кафедрой ОП и КД,проф. работе, проф. Л.А Козловских. О.Е.Руденко 2007г 2007г. УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ПО ДИСЦИПЛИНЕ Организация, нормирования и оплаты труда Для специальностей 080502 форм обучения: всех форм обучения...»

«ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ АМУРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ (ГОУВПО АмГУ) УТВЕРЖДАЮ Зав. Кафедрой КиТ Е.С.Новопашина _ 2007 г. УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ МАТЕРИАЛОВЕДЕНИЕ В ПРОИЗВОДСТВЕ ИЗДЕЛИЙ ЛЕГКОЙ ПРОМЫШЛЕННОСТИ для специальности 260901 Технология швейных изделий Составитель: Т.И. Согр 2007 г. Печатается по решению редакционно-издательского совета факультета социальных наук Амурского государственного Университета Т.И. Согр Учебно-методический комплекс по...»

«1 Содержание 1. Цели учебной программы подготовки специалистов 4 2. Виды и задачи профессиональной деятельности выпускника 6 3. Перечень специализаций подготовки специалиста 21 4. Содержание дисциплин учебных циклов 22 5. Взаимосвязи видов и задач профессиональной деятельности выпускника с формируемыми компетенциями, проектируемыми результатами и изучаемыми дисциплинами 101 6. Межпредметные связи изучаемых дисциплин 335 7. Аннотация видов практической подготовки 346 8. Аннотация проведения...»

«Artrit_A5 copy-new.qxd 30/08/2007 16:14 Page 1 ВРАЧ – ПАЦИЕНТУ ИНФОРМАЦИЯ О РЕВМАТИЧЕСКИХ ЗАБОЛЕВАНИЯХ РЕВМАТОИДНЫЙ АРТРИТ (методическое пособие по материалам научно-практической конференции (школы) Ревматоидный артрит. Современные методы лечения 15 марта 2007 г.) Межрегиональная общественная организация инвалидов Ревматологическая Ассоциация Надежда www.revmo-nadegda.ru e-mail: revmo-nadegda@mail.ru Artrit_A5 copy-new.qxd 30/08/2007 16:14 Page Artrit_A5 copy-new.qxd 30/08/2007 16:14 Page...»

«Московский государственный университет им. М.В. Ломоносова Факультет вычислительной математики и кибернетики Волкова И.А. Введение в компьютерную лингвистику. Практические аспекты создания лингвистических процессоров (Учебное пособие для студентов факультета ВМиК МГУ) Москва 2006 УДК 519.6+681.3.06 Данное учебное пособие разработано в поддержку спецкурса Компьютерная лингвистика, читаемого на факультете ВМиК для студентов 3-5 курсов. Приводятся подробные пояснения и рекомендации. Рецензенты:...»

«ЕВРОАЗИАТСКАЯ РЕГИОНАЛЬНАЯ АССОЦИАЦИЯ ЗООПАРКОВ И АКВАРИУМОВ МОСКОВСКИЙ ЗООЛОГИЧЕСКИЙ ПАРК Руководство по научным исследованиям в зоопарках. Ред. С.В.Попов Москва 2008г. 2 В Руководство включено второе, расширенное и переработанное, издание Методических рекомендаций по наблюдениям за поведением млекопитающих в зоопарке, впервые опубликованных Московским зоопарком в 1990 году, и подготовленные специально для данного выпуска Методические рекомендации по изучению звукового поведения животных. Мы...»

«2 3 Оглавление АННОТАЦИЯ 1. ТРЕБОВАНИЯ К ДИСЦИПЛИНЕ 1.1. ВНЕШНИЕ И ВНУТРЕННИЕ ТРЕБОВАНИЯ 1.2. МЕСТО ДИСЦИПЛИНЫ В УЧЕБНОМ ПРОЦЕССЕ 2. ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ. КОМПЕТЕНЦИИ, ФОРМИРУЕМЫЕ В РЕЗУЛЬТАТЕ ОСВОЕНИЯ. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЕ ДАННЫЕ ДИСЦИПЛИНЫ 3. 4. СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ 4.1. СТРУКТУРА ДИСЦИПЛИНЫ 4.2. ТРУДОЁМКОСТЬ МОДУЛЕЙ И МОДУЛЬНЫХ ЕДИНИЦ ДИСЦИПЛИНЫ СОДЕРЖАНИЕ МОДУЛЕЙ ДИСЦИПЛИНЫ 4.3. 4.4. ЛАБОРАТОРНЫЕ ЗАНЯТИЯ 4.5. САМОСТОЯТЕЛЬНОЕ ИЗУЧЕНИЕ РАЗДЕЛОВ ДИСЦИПЛИНЫ Перечень...»

«Р. Н. Абалуев, Н. Е. Астафьева, Н. И. Баскакова, Е. Ю. Бойко, О. В. Вязовова, Н. А. Кулешова, Л. Н. Уметский, Г. А. Шешерина ИНТЕРНЕТ-ТЕХНОЛОГИИ В ОБРАЗОВАНИИ ИЗДАТЕЛЬСТВО ТГТУ Министерство образования Российской Федерации Тамбовский региональный центр Федерации Интернет-Образования Тамбовский областной институт повышения квалификации работников образования Р. Н. Абалуев, Н. Е. Астафьева, Н. И. Баскакова, Е. Ю. Бойко, О. В. Вязовова, Н. А. Кулешова, Л. Н. Уметский, Г. А. Шешерина...»






 
© 2013 www.diss.seluk.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Методички, учебные программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.