Первая страница
Наша команда
Контакты
О нас

    Головна сторінка



1. Загальне визначення дисциплін програмної інженерії. Мови специфікації програм і їхня класифікація

Скачати 31.43 Kb.

1. Загальне визначення дисциплін програмної інженерії. Мови специфікації програм і їхня класифікація




Скачати 31.43 Kb.
Сторінка1/2
Дата конвертації02.05.2017
Розмір31.43 Kb.
  1   2


БЛОК №


1. Загальне визначення дисциплін програмної інженерії.

2. Мови специфікації програм і їхня класифікація.

3. Верифікація і валідація програм. Підхід до валідації сценарію вимог. Верифікація об'єктних моделей. Підхід до верифікації композиції компонентів. Загальні перспективи верифікації програм.

1. Програмна інженерія як наукова дисципліна.

Програмна інженерія - це застосування системного, вимірюваного підходу до розробки, використання та супроводу програмного забезпечення, та дослідження цих підходів, тобто застосування принципів інженерії до програмного забезпечення.
Наука Нау́ка - сфера діяльності людини, спрямована на отримання (вироблення і систематизацію у вигляді теорій, гіпотез, законів природи або суспільства тощо) нових знань про навколишній світ. Основою науки є збирання, оновлення, систематизація, критичний аналіз фактів, синтез нових знань або узагальнень, що описують досліджувані природні або суспільні явища та (або) дозволяють будувати причинно-наслідкові зв'язки між явищами і прогнозувати їх перебіг.

2. Теоретичне програмування. Алгоритмічні алгебри.

3. Тестування програмних систем.

Програмне забезпечення Програ́мне забезпе́чення (програ́мні за́соби) (ПЗ; англ. software) - сукупність програм системи обробки інформації і програмних документів, необхідних для експлуатації цих програм.
Статичні методи тестування. Динамічні методи тестування. Функціональне тестування.

1. Програмна інженерія як інженерна дисципліна.

2. Агентне програмування

3. Інфраструктура перевірки правильності програмних систем. Класифікація помилок і методи їхнього пошуку. Процес тестування за життєвим циклом. Інженерія керування тестуванням.

1. Програмна інженерія як виробнича дисципліна.

2. Звичайна мова специфікації Spec#.

3. Інтерфейс між клієнтом і сервером.

1. Програмна інженерія як дисципліна керування та економічна дисципліна.

2. Трасування вимог.

3. Інтерфейс мов програмування. Інтерфейс і взаємозв'язок мов програмування . Взаємодія різномовних програм. Стандарт 1SO/IEC 11404-96 з незалежних від мов

  1   2


Скачати 31.43 Kb.