|
-
Ключові слова:
розробка програмного забезпечення, разработка программного обеспечения, software engineering ; об"єктно-орієнтовані мови програмування, объектно-ориентированные языки программирования
-
Анотація:
Мови специфікацій використовуються для формального задання властивостей програми. В статі висвітлюються ключові моменти використання специфікації при розробці програмного забезпечення, а саме розглядаються засоби мови специфікацій AsmL, що використовуються для побудови адекватного опису структури і логіки програми в об"єктно-орієнтованому стилі.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
