Практичне заняття 3

Опис управляючих дій чергування і перетворення у програмних специфікаціях

Мета – дослідити та набути практичних навичок з використання чергування і перетворюючих дій та їх з’єднання при складанні програмних специфікацій

Приклад складення специфікацій

Задача 1.3. Задані два нерівних значення А і В, знайти максимальне значення (max) серед їх суми S і добутку М

Рішення

Програмні специфікації запишемо у псевдокоді (рис.1.5) та графічній формі (рис.1.6)

Крок 1. Визначимо основні дії (рис.1.5,а і рис.1.6,а)

Крок 2. Деталізуємо дію обчислення суми і добутку за допомогою перетворюючих дій (рис.1.5,б і рис.1.6,б).

Крок 2. Деталізуємо дію обчислення максимального значення (рис.1.5,в і рис.1.6,в)

початок обчислення суми S і добутку M знаходження max кінець

початок S:= A + B M:= A * B знаходження max кінец

початок S:= A + B M:= A * B якщо S > M то max:= S інакше max:= M все якщо кінець

а) крок 1 б) крок 2 в) крок 3

Рис.1.5. Програмна специфікація розв’язання задачі 1.3 у псевдокоді

а) крок 1 б) крок 2 в) крок 3

Рис.1.6. Програмна специфікація розв’язання задачі 1.3 у графічній формі

Задачі для самостійного розв’язання