Kestrel институты - Kestrel Institute

Kestrel институты
ТүріКоммерциялық емес
Тіркеу №94-2750021
Құқықтық мәртебеОйлау орталығы
Орналасқан жері
ӨрістерИнформатика
Директор
Корделл Грин
Кіріс (2015)
4,9 миллион доллар[1]
Веб-сайтқарақұйрық.edu

The Kestrel институты коммерциялық емес болып табылады Информатика орналасқан ғылыми-зерттеу орталығы Пало-Альто Келіңіздер Стэнфорд зерттеу паркі. Корделл Грин, Kestrel-ді 1981 жылы құрған, оның директоры және бас ғалымы.[2][1] Оның міндеті - сапалы әрі сапалы жазуды жеңілдету бағдарламалық жасақтама сияқты компьютер мамандары жұмыс істейді Ламберт Мертенс.[3]

1980 жылдары Кестрел өзінің бағдарламалық жасақтаманы жазуды жеңілдету үшін («бағдарламалау процесін қалыпқа келтіру және механикаландыру») зерттеудің бағытын «білімге негізделген бағдарламалық орта» деп сипаттады.[4] Сонымен қатар, 2002 ж MIT Technology шолуы мақалада Kestrel жобаларының бірі «кодерлерді сенімді бағдарламалар жазуға мәжбүрлеудің» тәсілі ретінде сипатталды.[5] 2005 ж Newsweek мақалада бағдарламалық қамтамасыздандыруды дамытатын бір Kestrel технологиясы талқыланды АҚШ әскери күштері жүкті орналастыруды «ақаулықтың сипаттамасын компьютер түсінетін нұсқауларға аудару» арқылы жоспарлаңыз.[6]

Барлығы дерлік Кестрельдікі қаржыландыру шыққан мемлекеттік гранттар сияқты ұйымдардан АҚШ қорғаныс министрлігі, ДАРПА, Зияткерліктің жетілдірілген ғылыми жобалар қызметі (IARPA), Әуе күштерін зерттеу зертханасы (AFRL), AFOSR, Әскери-теңіз күштерін зерттеу басқармасы (ONR), НАСА, және Ұлттық ғылыми қор (NSF).[7][8] 2015 жылы ол өткен жылғы 6,6 миллион доллардан 4,9 миллион доллар гранттар мен жарналар алды.[1]

Әдебиеттер тізімі

  1. ^ а б c г. «2015 ж. 990 формасы, Кестрел институты» (PDF). GuideStar. 6 қазан 2016. Алынған 23 қаңтар 2018.
  2. ^ «Кестрел институты». Блумберг. Алынған 23 қаңтар 2018.
  3. ^ «Проф. Л.Г.Л.Т. Мээртенс». Утрехт университеті. Алынған 23 қаңтар 2018.
  4. ^ Дуглас Р. Смит; Гордон Б. Котик; Стивен Дж. Вестфольд (қараша 1985). «Kestrel институтындағы білімге негізделген бағдарламалық қамтамасыз ету ортасы бойынша зерттеулер» (PDF). Бағдарламалық жасақтама бойынша IEEE транзакциялары. SE-11 (11): 1278–1295. дои:10.1109 / tse.1985.231879. Алынған 23 қаңтар 2018.
  5. ^ Манн, Чарльз С. (1 шілде 2002). «Бағдарламалық жасақтама неге соншалықты жаман». MIT Technology шолуы. Алынған 23 қаңтар 2018.
  6. ^ «Өзін-өзі жазатын компьютерлік бағдарламалық жасақтама». Newsweek. 25 желтоқсан 2005. Алынған 23 қаңтар 2018.
  7. ^ «Жоғары сенімділікті бағдарламалық жасақтама синтезі». Kestrel институты. Алынған 23 қаңтар 2018.
  8. ^ «GuideStar есебі: Kestrel Institute». GuideStar. Алынған 23 қаңтар 2018.

Сыртқы сілтемелер