Мови специфікацій використовуються для формального задання властивостей програми. В статі висвітлюються ключові моменти використання специфікації при розробці програмного забезпечення, а саме розглядаються засоби мови специфікацій AsmL, що використовуються для побудови адекватного опису структури і логіки програми в об"єктно-орієнтованому стилі.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин