Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 30 für Suche 'Формальні метод програмування', Suchdauer: 0,26s Treffer weiter einschränken
  1. 1
    Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
    Volltext
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Оптимизация проверки выполнимости переходов при верификации формальных моделей
    von Колчин, А.В.
    Veröffentlicht 2012
    Volltext
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Повышение временной эффективности структур данных в оперативной памяти на основе адаптации
    Volltext
    Zu den Favoriten
    Gespeichert in:
  6. 6
    На пути к верификации С-программ. Язык c-light и его трансформационная семантика
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Метод об'єктно-компонентного проектування програмних систем
    von Грищенко, В.М.
    Veröffentlicht 2007
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  8. 8
    Компонентне програмування. Теорія і реалізація
    von Лавріщева, К.М.
    Veröffentlicht 2012
    Volltext
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Генерувальне програмування програмних систем і їх сімейств
    von Лавріщева, К.М.
    Veröffentlicht 2009
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  10. 10
    Збіркове програмування компонентних і сервіс-орієнтованих прикладних програмних систем
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  11. 11
    Обзор современных систем и методов верификации формальных моделей
    Volltext
    Zu den Favoriten
    Gespeichert in:
  12. 12
    Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
    von Слабоспицька, О.О.
    Veröffentlicht 2018
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  13. 13
    Формальні та інтелектуальні методи автоматизації проєктування програмних систем (стенограма доповіді на засіданні Президії НАН України 19 лютого 2025 р.)
    von Дорошенко, А.Ю.
    Veröffentlicht 2025
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  14. 14
    Концептуальні моделі розподілених компонентних систем
    Volltext
    Zu den Favoriten
    Gespeichert in:
  15. 15
    Генерація багатоцільових формальних моделей із успадкованого коду
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  16. 16
    Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  17. 17
    Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  18. 18
    Використання онтологій для персоніфікованого пошуку знань у природномовних текстів
    von Рогушина, Ю.В.
    Veröffentlicht 2016
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  19. 19
    Розширення UML специфікації для моделювання семантичних об’єктів
    von Новицький, О.В.
    Veröffentlicht 2016
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
  20. 20
    Розширення UML специфікації для моделювання семантичних об’єктів
    von Новицький, О.В.
    Veröffentlicht 2016
    Volltext
    Artikel
    Zu den Favoriten
    Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren – Diese Suche als E-Mail versenden – Suche speichern