• українська
    • English
    • русский
    • Deutsch
Institutional Digital Repository of National Aerospace University KHAI
  • English 
    • українська
    • English
    • русский
    • Deutsch
  • Login
Search 
  •   dKHAIIR Home
  • Факультет програмної інженерії та бізнесу (№ 6)
  • Search
  •   dKHAIIR Home
  • Факультет програмної інженерії та бізнесу (№ 6)
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-3 of 3

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем 

Манжос, Ю.С.; Петрик, В.Л. (ХАИ, 2007)
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...
Thumbnail

Модель дефектов программного обеспечения 

Петрик, В.Л.; Манжос, Ю.С. (ХАІ, 2008)
Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...
Thumbnail

Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем 

Петрик, В.Л.; Манжос, Ю.С. (ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Манжос, Ю.С. (3)
Петрик, В.Л. (3)
Subjectпрограммное обеспечение (3)програмне забезпечення (3)информационно-управляющая система (2)независимая верификация (2)незалежна верифікація (2)семантический контроль (2)семантичний контроль (2)інформаційно-керуюча система (2)авиационно-космическая техника и технология (1)авіаційно-космічна техніка і технологія (1)... View MoreDate Issued2007 (1)2008 (1)2012 (1)Has File(s)Yes (3)

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV