Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=технологии программирования<.>)
Общее количество найденных документов : 9
Показаны документы с 1 по 9
1.


    Ваганов, С.
    Ускоритель разработки приложений [Текст] / С. Ваганов // Открытые системы. СУБД. - 2004. - N 6. - С. . 49-55. - Библиогр.: с. 55 (7 назв. ). - RUMARS-osys04_000_006_0049_1
УДК
ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)
Кл.слова (ненормированные):
FloraWare (технология программирования) -- ИТ-технологии -- объектно-ориентированные языки -- объектные машины -- объектный метод программирования -- программное обеспечение -- прямое проектирование -- технологии программирования
Аннотация: Технология программирования FloraWare реализует объектный метод и содержит объектно-ориентированную среду разработки и исполнения приложений больших программных систем. Главная отличительная особенность FloraWare - реализация объектной модели непосредственно на объектной машине, без создания промежуточной программы.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Норрис, Д.
    Open Source: уроки критически важных проектов [Текст] / Д. Норрис // Открытые системы. СУБД. - 2004. - N 6. - С. . 56-61. - Библиогр.: с. 61 (3 назв. ). - RUMARS-osys04_000_006_0056_1
УДК
ББК 32.973-018
Рубрики: Вычислительная техника--Математическое обеспечение (Программирование)--Космическая техника. Космонавтика. Космические аппараты
Кл.слова (ненормированные):
SAP (Science Activity Planner) -- Science Activity Planner (программные средства управления) -- КА (космические аппараты) -- космические аппараты -- программное обеспечение -- программные инструментальные средства управления -- прямое проектирование -- технологии программирования
Аннотация: Данная статья посвящена освещению вопросов, связанных с возможностью обработки результатов многомесячного полета спутников на Марс. Рассматриваются программные инструментальные средства управления марсоходами.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

3.


    Малясова, С. В.
    Алгоритмизация, программирование и технология программирования [Текст] / С. В. Малясова // Информатика и образование. - 2009. - N 12. - С. 22-37. - Библиогр.: с. 37 (9 назв. ). - Продолж. следует . - ISSN 0234-0453
УДК
ББК 74.202
Рубрики: Образование. Педагогика
   Теория и методика обучения

Кл.слова (ненормированные):
алгоритмизация -- ЕГЭ по информатике -- единый государственный экзамен -- информатика в школе -- переменные -- подготовка к ЕГЭ -- программирование -- решение задач -- технологии программирования -- тренировочные упражнения
Аннотация: Начало публикации материала по подготовке к Единому государственному экзамену по теме "Алгоритмизация, программирование и технология программирования". Материал построен по типу уроков. Каждая тема (урок) соответствует определенному заданию КИМ ЕГЭ. По каждой теме предложен теоретический материал, приведены примеры заданий (с решениями), представлены тренировочные упражнения и задания для самостоятельного решения. Большая часть материала представлена для языка программирования Паскаль, как наиболее распространенного в общеобразовательных школах. Материал может быть использован учащимися как при самостоятельной подготовке к ЕГЭ, так и для работы под руководством учителя на уроках или дополнительных занятиях.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

4.


    Малясова, С. В.
    Алгоритмизация, программирование и технология программирования [Текст] / С. В. Малясова // Информатика и образование. - 2010. - N 1. - С. 21-37. - Библиогр.: с. 37 (9 назв. ). - Продолж. Начало: N 12, 2009. - Продолж. следует . - ISSN 0234-0453
УДК
ББК 74.202
Рубрики: Образование. Педагогика
   Теория и методика обучения

Кл.слова (ненормированные):
алгоритмизация -- ЕГЭ по информатике -- единый государственный экзамен -- информатика в школе -- языки программирования -- подготовка к ЕГЭ -- программирование -- решение задач -- технологии программирования -- тренировочные упражнения -- языки программирования
Аннотация: Продолжение публикации материала по подготовке к Единому государственному экзамену по теме "Алгоритмизация, программирование и технология программирования". Материал построен по типу уроков. Каждая тема (урок) соответствует определенному заданию КИМ ЕГЭ. По каждой теме предложен теоретический материал, приведены примеры заданий (с решениями), представлены тренировочные упражнения и задания для самостоятельного решения. Большая часть материала представлена для языка программирования Паскаль, как наиболее распространенного в общеобразовательных школах. Материал может быть использован учащимися как при самостоятельной подготовке к ЕГЭ, так и для работы под руководством учителя на уроках или дополнительных занятиях.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

5.


    Алексеева, М. М.
    Метод проверки на модели (model-checking) для определения корректности сложных систем [Текст] / М. М. Алексеева, Е. А. Дашкова // Дистанционное и виртуальное обучение. - 2011. - № 12. - С. 50-56. - Библиогр.: с. 55 (4 назв. ) . - ISSN 1561-2449
УДК
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
программные системы -- аппаратные системы -- автоматное программирование -- корректность программного обеспечения -- корректность алгоритмов -- верификация -- технологии программирования -- системное моделирование -- проектирование систем
Аннотация: Метод формальной верификации как один из подходов к достижению корректности сложных систем.


Доп.точки доступа:
Дашкова, Е. А.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

6.


    Ревзин, Л. М.
    ISaGRAF 6 раскрывает свой потенциал: интеграция с мультипротокольной платформой DoMooV для систем автоматизации зданий [Текст] / Л. М. Ревзин, С. В. Золотарев // Мир компьютерной автоматизации. - 2013. - № 2. - С. 44-51 : 5 рис., 2 табл. - Библиогр.: 8 назв.
УДК
ББК 32.97
Рубрики: Вычислительная техника
   Вычислительная техника в целом

Кл.слова (ненормированные):
DoMooV платформа -- ISaGRAF архитектура -- архитектура ISaGRAF -- платформа DoMooV -- системы автоматизации зданий -- системы управления зданиями -- технологии программирования
Аннотация: Рассматриваются инновационные возможности технологии программирования контроллеров ISaGRAF в области поддержки систем управления зданиями (АСУЗ, BMS), которые стали возможны после включения в ISaGRAF 6 Workbench средств ISaDoMooV взаимодействия с сервером данных мультипротокольной платформы DoMooV. Платформа DoMooV известной французской компании Newron System поддерживает основные протоколы систем управления зданиями - BACnet, LonWorks, KNX, M-Bus, Modbus. Интеграция ISaGRAF и DoMooV является значительным событием на рынке систем автоматизации и дает возможность системным интеграторам в рамках Единой Платформы Автоматизации АСР воспользоваться преимуществами ведущих в своем классе продуктов, значительно сократить время, трудозатраты и стоимость решений.


Доп.точки доступа:
Золотарев, С. В. (кандидат технических наук)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

7.


    Андрафанова, Наталия Владимировна (кандидат педагогических наук).
    О некоторых вопросах технологии программирования в подготовке бакалавров - будущих учителей информатики и математики [Текст] = On some questions of programming techniques in training bachelors - future teachers of informatics and mathematics / Н. В. Андрафанова, Г. И. Попова // Информатика и образование. - 2015. - № 2. - С. 34-38 : 1 табл. - Библиогр.: с. 38 (7 назв. ). - Рез. англ. . - ISSN 0234-0453
УДК
ББК 74.58
Рубрики: Образование. Педагогика
   Высшее профессиональное образование

Кл.слова (ненормированные):
ЕГЭ -- ИКТ -- бакалавры -- будущие учителя -- единый государственный экзамен -- информатика -- информационно-коммуникационные технологии -- информационные технологии -- математика -- подготовка бакалавров -- подготовка к ЕГЭ -- программирование -- рекурсивные алгоритмы -- рекурсия -- технологии программирования -- языки программирования
Аннотация: Рассматривается один из сложных вопросов технологии программирования — рекурсивный алгоритм. Даны понятие рекурсивного алгоритма, примеры его использования на разных языках программирования, использования рекурсии в заданиях ЕГЭ по информатике.


Доп.точки доступа:
Попова, Г. И.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

8.


    Осипов, Никита Алексеевич (кандидат технических наук ; доцент).
    Опыт организации самостоятельной работы студентов при изучении дисциплины "Технологии программирования" в условиях реализации федерального государственного образовательного стандарта [Текст] / Н. А. Осипов // Дистанционное и виртуальное обучение. - 2016. - № 4. - С. 103-109. - Библиогр.: с. 109 (7 назв. ) . - ISSN 1561-2449
УДК
ББК 74.58
Рубрики: Образование. Педагогика
   Высшее профессиональное образование

Кл.слова (ненормированные):
высшее образование -- государственные образовательные стандарты -- изучение вузовских дисциплин -- инновационные технологии -- обучение студентов -- профессиональные компетенции -- самостоятельная работа студентов -- технологии программирования -- учебно-методические материалы
Аннотация: Самостоятельная работа студентов при изучении дисциплины "Технологии программирования".

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

9.


    Чернова, С. В.
    Сравнительный анализ языков программирования высокого уровня Python и C++ [Текст] / Чернова С. В., Ларина В. А. // Аспирант и соискатель. - 2019. - № 5 (113). - С. 9-11 : рис. - Библиогр.: с. 11 (3 назв.). - Прил. . - ISSN 1608-9014
УДК
ББК 32.97 + 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника

Кл.слова (ненормированные):
C++ -- Python -- высокий уровень C++ -- сравнительный анализ -- стили программирования -- технологии программирования -- языки программирования
Аннотация: Представлен обзор основных возможностей программирования высокого уровня C++ и Python, их применение для решения различных видов задач. Дана оценка эффективности применения изучаемых языков.


Доп.точки доступа:
Ларина, В. А.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)