Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2003, № 1 за темою "Теоретические и методологические основы программирования"

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2003, № 1 за темою "Теоретические и методологические основы программирования"

Сортувати за: Порядок: Результатів:

  • Realistic correct systems implementation 
    Goerigk, Wolfgang; Langmaack, Hans (2003)
    Подана перша частина статті і наступна її друга частина присвячені методам коректної побудови і функціонування великих комп'ютерних систем. У центрі уваги – проблема обґрунтування, що подається в сенсі формулювання ...
  • Процесологічні середовища моделювання 
    Редько, И.В. (2003)
    Розвиваються інтенсіональні засади моделювання. Дається розгорнута експлікація понять дескриптивного процесу. Досліджуються процесологічні аспекти моделювання предметних областей. Вводяться поняття часткової функції, акції ...
  • Узагальнена композиційна модель символьної обробки 
    Винник, В.Ю. (2003)
    У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис