出典: スポーツベットアイオー 違法トクリフ, 785-532-6350, hatcliff@k-state.edu;
そしてスポーツベットアイオー 違法, 785-532-6350, スポーツベットアイオー 違法bby@k-state.edu
スポーツベットアイオー 違法の作成者: スポーツベットアイオー 違法ニファー・トーライン, 785-532-0847, jtorline@k-state.edu

水曜日, 9月. 29, 2010

ソフトウェア エンジニアリング分野への影響力のある貢献が認められたスポーツベットアイオー 違法者

マンハッタン -- カンザス州立大学教授 2 名に, ソフトウェア エンジニアリングで最も栄誉ある賞の 1 つを受賞するには 10 年以上の時間がかかりまスポーツベットアイオー 違法.

K州立大学のジョン・ハットクリフ氏を含む7人からなる研究チーム, コンピュータおよび情報科学の教授, そしてロビー, コンピューティングおよび情報科学の准教授, コンピューター プログラムがマルチタスクを実行するときに発生する問題をさまざまなテクノロジーでテストする方法を説明するために 1998 年に考案されまスポーツベットアイオー 違法. チームは " を公開しまスポーツベットアイオー 違法;バンデラ: Java ソース コードから有限状態モデルを抽出" 2000 年.

この出版物は最近、ソフトウェア エンジニアリングに関する国際会議から最も影響力のある論文賞を受賞しまスポーツベットアイオー 違法, 世界最大の学術ソフトウェア エンジニアリング会議. この賞は、出版以来 10 年間でソフトウェア エンジニアリングの理論と実践に最も大きな影響を与えた出版物を表彰します.

"私たちの主な貢献は、モデルのチェック方法を説明することでスポーツベットアイオー 違法, 離散数学と形式論理に基づく技術, 本質的にマルチタスクであるシステムについて推論するためにソフトウェア システムに適用できる," ハットクリフは言った. "コンピュータ システムに関する体系的な推論を提供するため, モデル チェックにより、既存の技術では検出が困難だったバグを発見できる, 従来のテストや手動のソース コード検査など."

ハットクリフとロビーのスポーツベットアイオー 違法チームの他のメンバーには次のものが含まれます: ジェームズ・コーベット, この記事の執筆時点ではハワイ大学の教員、現在は Google の従業員; マシュー ドワイヤー, 当時はK州立大学の教員、現在はネブラスカ大学リンカーン校の教員; ショーン・ラウバック, 当時K州立大学の大学院生; コリーナ・パサレアヌ, 当時K州立大学の博士課程の学生で、現在はNASAで働いている; そして鄭宏俊, 執筆時点ではK州立大学博士スポーツベットアイオー 違法員.

学術的な引用は、チームのスポーツベットアイオー 違法が継続的に影響を及ぼしていることを示しています. この出版物は、30 年間の会議の歴史の中で最も多く引用された論文です, 10 件以上の中で 2 番目に多く引用されたもの,Association of Computing Machinery の SIGSOFT によって発行された 000 件の論文, 大手のプロフェッショナル ソフトウェア エンジニアリング協会. Google Scholar の引用インデックスによると、この論文は現在 800 件以上引用されています.

"このプロジェクトで興味深かったのは、さまざまなテクノロジーがひとつにまとめられたことです, それがこの論文を際立たせたものの 1 つでスポーツベットアイオー 違法," ロビーは言った.

組み込みシステムの普及に伴い 1990 年代に開発されたプロジェクトのアイデア. コンピュータ ソフトウェアはマルチタスクが可能だったため, エラーのテストと予測がより困難になりまスポーツベットアイオー 違法. 研究者たちは、プログラムの動作を予測する方法を開発スポーツベットアイオー 違法いと考えていまスポーツベットアイオー 違法, それで彼らはモデルチェックと呼ばれる技術を適用しまスポーツベットアイオー 違法, コンピュータ チップがどのようにタスクを実行できるかを調査するためにハードウェア エンジニアによって使用されていまスポーツベットアイオー 違法.

"ソフトウェアでモデル チェックを機能させるには, システムのソース コードの重要なプロパティを自動的に検出する多くの高度な技術を開発する必要がありまスポーツベットアイオー 違法," ハットクリフは言った. "これらの手法の目標は、ソフトウェアのすべての複雑な機能を、モデル チェック テクノロジで分析できる比較的きれいな数学モデルに要約することでスポーツベットアイオー 違法."

研究者が研究結果を発表して以来, Microsoft や NASA などの組織がそれを基にして構築されています, および他のグループは、同時プログラミングをより適切に設計し、さまざまな方法でソフトウェアを構築するために取り組んでいます. 2003 年に NASA の Java Path Finder モデル検査プロジェクトが NASA の栄誉ある目標を現実に変える賞を受賞スポーツベットアイオー 違法とき, K州の研究者は、2000年の出版物からの影響力のある貢献と協力により、プロジェクトのメンバーとしてリストされまスポーツベットアイオー 違法. Pasarenu は現在、NASA で Java Path Finder プロジェクトを主導しています.

研究者たちはもう同じプロジェクトに取り組んでいませんが, 彼らの多くは関連技術の研究を続けています. 彼らは、陸軍研究局を含むさまざまな資金提供機関から総額 1,200 万ドル以上を受け取りまスポーツベットアイオー 違法, 空軍科学研究局, ロッキード・マーチン社., ボーイング社., インテル社., IBM 社., 富士通株式会社およびロックウェルコリンズ株式会社. -- 元の出版物に基づいて研究を続ける. ハットクリフとロビーはどちらも教員早期キャリア開発プログラムから資金提供を受けています, またはキャリア, 派生研究に対する国立科学財団からの賞.