Головна сторiнка
eng
Наукова бібліотека ім. М. Максимовича UNDP in Ukraine
Увага! Відтепер можна отримати пластиковий читацький квиток також за адресою:
проспект академіка Глушкова 2, кім. 217.

Подробиці читайте тут.
Список містить (0 документів)
Ваше замовлення (0 книжок)
Перегляд стану та історії замовлень
Допомога

Назад Новий пошук

Опис документа:

Автор: Процик П.П.
Назва: Композиційно-номінативний підхід до специфікації програмних систем у мові Z-Notation
Рік:
Сторінок: С. 133-138
Тип документу: Стаття
Головний документ: Вісник Київського національного університету імені Тараса Шевченка
Анотація:   У роботі продовжується дослідження семантики мови специфікації програмних систем Z-Notation на основі принципів композиційно-номінативного підходу,
   розпочате раніше. Проводиться побудова транзиційної моделі програмної системи на основі формальної специфікації. Аналізуються засоби побудови схем та композиції над ними.
   Ключові слова: Z-Notation, семантика, формальна, специфікація, програма.
   This paper is a further development of semantics of Z-Notation specification language from compositional and nominative perspective started earlier.
   Transformation from formal specification to transitional model of a program system described by this specification was built.
   Means of schema composition and construction are analyzed.
   Key Words: Z-Notation, formal, semantics, specification, program.



Пошук: заповніть хоча б одне з полів


Шукати серед складових частин документу "Вісник Київського національного університету імені Тараса Шевченка"
Розділ:
Назва:
Будь ласка, пишіть 2-3 слова з назви БЕЗ ЗАКІНЧЕНЬ!
Так імовірніше знайти потрібний документ!
слова не коротші ніж 3 символів, розділені пробілами
Автор:
Будь ласка, пишіть прізвище автора без ініціалів!
не коротше ніж 2 символи
є повний текст
Рік видання:
Видавництво:
з     по  
Види документів:
 Книга  Брошура  Конволют (штучно створена збірка)  Рідкісне видання
 Автореферат  Дисертація
 Журнал  Газета
 Стаття  Складова частина документа
Новий тематичний пошук
       
      
        
Цей сайт створено за спiльною програмою UNDP та
Київського нацiонального унiверситету iменi Тараса Шевченка
проект УКР/99/005

© 2000-2010 yawd, irishka, levsha,