Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


Статті, доповіді, тези- результати пошуку

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=мова програмування<.>
Загальна кількість знайдених документів : 3
Показані документи с 1 за 3
1.


   
    Переглянуто надійність і безпека мови програмування "Ада" // Стандартизація. Сертифікація. Якість : науково-технічний журнал. - 2013. - № 1. - С. 30. - В ОБЛ. БІБЛІОТЕКІ
УДК
ББК 30ц
Рубрики: Техника
   Стандартизация. Контроль качества

   Техніка

   Стандартизація. Контроль якості

Кл.слова (ненормовані):
стандартизація -- стандартизация -- мова програмування -- языки программирования -- Ада -- безпека мов програмування -- безопасность языков программирования -- контрактне програмування -- контрактное программирование
Анотація: Розглядається надійність і безпека мови програмування "Ада".

Утримувачі документа:
НТБ НТУ "ХПІ"

Дод.точки доступу:
ISO/IEK 8652:2012 "Інформаційні технології. Мови програмування Ada" \о произв.\; Інформаційні технології. Мови програмування AdaISO/IEK 8652:2012 \о произв.\

Знайти схожі

2.


    Ківа, І. Л.
    Сучасні засоби створення програмного забезпечення для промислових контролерів в середовищі CODESYS [Электронный ресурс] / І. Л. Ківа, Є. О. Поночевний, С. М. Лісовець // Технології та дизайн. - 2016. - № 2. - Библиогр. в конце ст. - В ОБЛ. БІБЛІОТЕЦІ
УДК
Рубрики: Мехатронні системи та комп'ютерні технології
   Мехатронные системы и компьютерные технологии

Кл.слова (ненормовані):
інженерны інтерфейси -- засоби візуалізації -- засоби програмування -- мова програмування -- промислові контролери -- процесори -- середовище виконання програмного коду -- функціональні блоки -- инженерные интерфейсі -- средства визуализации -- средства программирования -- язык программирования -- промышленные контроллері -- процессорі -- среда выполнения программного кода -- функциональные блоки
Анотація: Розглянуто сучасні засоби програмування промислових контролерів в середовищі CoDeSys на текстових (IL і ST) та графічних (LD, FBD і SFC) мовах програмування. Виконано аналіз існуючих засобів програмування промислових контролерів, а також експериментальну перевірку різних мов програмування промислових контролерів.
Рассмотрені современные средства программирования промышленных контроллеров в среде CoDeSys на текстовых (IL и ST) и графических (LD, FBD и SFC) языках программирования. Выполнен анализ существующих средств программирования промышленных контроллеров, а также экспериментальную проверку разных языков программирования промышленных контроллеров.
The modern tools of programming of industrial controllers with CoDeSys environment in the text (IL and ST) and graphical (LD, FBD and SFC) programming languages. It performs analysis of existing means of programming industrial controllers, as well as experimental verification of different programming languages for industrial controllers.


Дод.точки доступу:
Поночевний, Є. О.; Лісовець, С. М.

Знайти схожі

3.


    Прокоп, Ю. В.
    Аналіз підходів у викладанні початкового курсу програмування в університетах [Электронный ресурс] / Ю. В. Прокоп, О. Г. Трофименко, О. В. Трофименко // Системні технології = System technologies : Регіональний міжвузівський збірник наукових праць. - 2021. - Том Т.135, N 4. - С. 73-84. - Бібліогр. в кінці ст. . - ISSN 2707-7977
УДК
Рубрики: Вища освіта
   Высшее образование

   Комп'ютерні технології

   Компьютерные технологии

Кл.слова (ненормовані):
початковий курс програмування -- начальный курс программирования -- CS1 -- мова програмування -- язык программирования -- ІТ-освіта -- ИТ-образование -- алгоритмізація та програмування -- алгоритмизация и программирование


Дод.точки доступу:
Трофименко, О. Г.; Трофименко, О. В.
Немає відомостей про примірники (Джерело у БД не знайдене)

Знайти схожі

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)