ACMソフトウェアシステム賞（ACM Software System Award）は、「概念面あるいは商業面、または両面における成功で長きに渡って影響を及ぼしたソフトウェアシステムを開発した」個人または団体を選定し毎年表彰する賞である。Association for Computing Machinery...

間に各開発工程を行いそれを繰り返すスパイラル・モデルが挙げられる。 ソフトウェアライフサイクルを定義する規格にはISO 12207がある。 ソフトウェアシステムをより良くする様々な方法論（英: methodology）がソフトウェア工学として研究されている。ライフサイクルごとの方法論や、アーキテクチ...

計算機科学インフォシス財団賞 (ACM Infosys Foundation Award in the Computing Sciences) 若手研究者やシステム開発者のすぐれた業績に対し贈られる。受賞者にはインフォシス財団の寄付により15万ドルの賞金が贈られる。 ソフトウェアシステム賞 (Software...

の文法を取り入れており、ほぼ同等の機能をもつ。S言語自体の処理系としては商用版の S-PLUS が知られている。 S言語は1998年にACMのソフトウェアシステム賞を獲得している。 S言語の特徴として以下のような機能を持つことが挙げられる。 インタプリタ方式 ソースコードを直接実行できる対話型インタプリタ言語である。...

1988年 - チューリング賞 1993年 - ACMソフトウェアシステム賞 1994年 - EFF Pioneer Award（電子フロンティア財団） 1998年 - IEEEフォン・ノイマンメダル 2012年 - 京都賞先端技術部門 2018年 - ワシントン賞 1973年 - 全米技術アカデミー会員...

ことができなかったため、長期的にはこれらの取り組みは概して失敗に終わった。こうしたことから、現今のほとんどのデータベースシステムは、汎用ハードウェア上で動作するソフトウェアシステムであり、汎用のコンピュータとデータストレージを使用している。しかし、この着想は今もなお、Netezza（英語版）やOracle...

Bhide - Calsoftの創業者兼CEO 1988年 ACMソフトウェアシステム賞 1992年 エドガー・F・コッド発明賞 2005年 IEEEフォン・ノイマンメダル 2010年 SIGMOD 2014年 チューリング賞 2020年 C&C賞 Readings in Database Systems...

を受賞（ハードウェアおよびソフトウェアシステムの形式的検証への多大な貢献と、それが電子産業にもたらした影響と貢献に対して）。2005年には全米技術アカデミーの会員に選ばれた。また、Sigma Xi と Phi Beta Kappa の会員でもある。 2007年 - ACMチューリング賞（アレン・エマーソン、ジョセフ・シファキスと共に）...

向パラダイムに重要な観点の数々を生み出した。「オブジェクト」はソフトウェアシステムにおける自己完結型の部品であり、その中にデータ構造とメソッドを持つ。オブジェクト群を統合して完全なシステムを形成する。オブジェクト指向は現在ではソフトウェア開発手法として広く普及しており、JavaやC++といった言語がある。...

。クヌース自身はホーアの言葉だと述べているが、ホーア自身はそれを否定している。 また、複雑すぎないソフトウェアシステムを作成する困難さについて次のように述べている。 ソフトウェアを設計するには、2通りの方法がある。1つは、とてもシンプルに設計して、明らかに欠陥がないようにすること。もう1...

メイヤーは、2005年にダール・ニゴール賞を受賞した。 メイヤーは2006年6月9日に、ACMからEiffelの設計を評価され「ソフトウェア品質に大きな影響を与えた」として、ACMソフトウェアシステム賞を受賞した。 2005年12月28日に、ドイツ語版ウィキペディアにお...

(Jim Gray)。1998年、「データベースおよびトランザクション処理に関する独創的な研究とシステム実装についての技術的リーダーシップに対して」チューリング賞を授与された。 カリフォルニア州サンフランシスコ生まれ。母は教師、父はアメリカ陸軍の軍人で、2番目の子である。生まれた直後に一家はローマに移...

ソフトウェアシステム (英: software system)は、コンピュータシステム（ハードウェアとソフトウェアの組み合わせ）の一部を形成するソフトウェアに基づいてコンポーネントを相互通信するシステムのこと。これは、「いくつかの個別のプログラム、これらのプログラムのセットアップに使用される構成フ...

2004年 - 京都賞先端技術部門。 2004年 - チャールズ・スターク・ドレイパー賞（全米技術アカデミーの与える賞）。バトラー・ランプソン、ロバート・テイラー、チャック・サッカーと共同受賞。 2008年 - Association for Computing Machinery (ACM) フェロー 2011年...

PARCには著名な研究者が多いが、中でもチューリング賞受賞者のバトラー・ランプソン（1992年）とアラン・ケイ（2003年）がいる。また、ACMのソフトウェアシステム賞を受賞した研究として、Altoシステム（1984年）、Smalltalk（1987年）、InterLisp（1992年）、遠隔手続き呼出し（1994年）が...

1990年 - グレース・ホッパー賞受賞。 1996年 - スウェーデン王立工科大学名誉博士号。 1998年 - EFFパイオニア賞。 1999年 - オンラインの百科事典プロジェクトGNUPedia（英語版）の開発を提唱。ユーリ・ルビンスキー記念賞受賞。 2001年 - 武田賞を受賞。グラスゴー大学名誉博士号。...

(XAIS) と共同でサン・マイクロシステムズの SPARC 4 アーキテクチャ上にその環境とエミュレータを移植した。同年、ゼロックス社の中でも赤字部門だった XAIS はスピンオフされ Envos 社となったが、すぐに倒産した。 1992年、ACM ソフトウェアシステム賞が Interlisp...

978-4320123939、（2016年2月）｡ [脚注の使い方] ^ S言語開発者であるJohn M. Chambersも参画している。 ^ S言語は1998年にACMのソフトウェアシステム賞を獲得した。 ^ 簡略化のために、円の第一象限でカウントして4倍する方法をとる。 ^ 出典URL: https://hypatia.math...

ルニア州の州裁判所で終身刑を宣告された。 1999年、チャールズ・ゲシキはAssociation for Computing Machinery（ACM）のフェローとして称えられた。 2002年、「ジョン・ワーノックと共に行ったDTPの普及活動の成果とフォント・グラフィックス・印刷分野のイノベーシ...

いくつかの人工知能の小領域の手法を並行して採用したソフトウェアシステム 知的エージェント - 目標達成のため自律的で知的な行動をするソフトウェアやシステム インターネットボット - インターネット上で自動化されたタスクを実行するソフトウェア チャットボットの一覧（英語版） マルチエージェントシステム - 複数の知的エージェントから構成されたコンピュータシステム...

1985年にACMソフトウェアシステム賞、2001年にワシントン賞、2003年にIEEE Consumer Electronics Society International Chapters Engineering Excellence Awardを受賞し、1994年にACM...

1984年: ACMソフトウェアシステム賞 - バトラー・ランプソン、チャック・サッカーと共同受賞。「タイムシェアリングの実用的代替となりうる分散パーソナルコンピュータ・システムを実現した Xerox Alto システムの開発を主導したことに対して」 1994年: ACMフェロー - ランプソン、サッカーと同時...

model checker）は、ソフトウェアのモデル検査のためのツールである。Gerard J. Holzmann らが開発し、15年以上に渡って改良を続けてきた。2001年にAssociation for Computing Machinery (ACM) のソフトウェアシステム賞を受賞している。1995年以来、ほぼ毎年モデル検査に興味のある...

Machinery （ACM）のGrace Murray Hopper Award for Outstanding YoungScientistを受賞した。1987年には、アラン・ケイ、アデル・ゴールドバーグとともに、初の完全なオブジェクト指向プログラミング・ソフトウェアシステム...

マーク・ローウェル・アンドリーセン（Marc Lowell Andreessen, 1971年7月9日 - ）は、アメリカ合衆国のソフトウェア開発者、投資家。ウェブブラウザのNCSA MosaicやNetscape Navigatorを開発した。世界的に有名なベンチャーキャピタル会社のアンドリーセン・ホロウィッツの共同創業者。...

ンプロセッサ、ビデオ会議などの画期的なイノベーションを実装したことでAssociation for ComputingMachineryのソフトウェアシステム賞を受賞した。 1994年に、彼は「ハイパーテキスト、アウトラインプロセッサ、およびビデオ会議を使用して人間の知性を強化する先駆的な仕事」により、Association...

0192862073 MacWWW Robert Cailliau's home page Hypertext in the Web - a History, ACM 1999 IW3C2 "International World Wide Web Conference Committee"（英語） 表示 編集...

Rプロジェクトにより開発された。System Rは、カリフォルニア大学バークレー校のIngresプロジェクトとともに、1988年にACMソフトウェアシステム賞を受賞した。1973年にIBMアルマデンバレー研究所に移り、2009年に退職するまで、彼はここを拠点としていた。2003年にはIBMフェローに任命された。...

Pérez）は、コロンビア出身の物理学者、ソフトウェア開発者、自由ソフトウェア支持者である。彼はIPythonプログラミング環境の創始者として最も知られており、この業績により、2012年に自由ソフトウェア財団からFSFフリーソフトウェア賞を授与された。また、彼はProject Jupyterの活動により、2017年にACM...

フェルドマンは1991年にIEEEのフェロー、1995年にACMのフェロー、2007年にAAASのフェローに就任した。2003年にはMakeの開発によりACMソフトウェアシステム賞を受賞した。 ^ McIlroy, M. D. (1987). A Research Unix...

ゲルバートのオーグメンテーション研究センター（ARC）でコンピュータ用マウスのプロトタイプ1号機を開発した。後にゼロックスPARCとサン・マイクロシステムズで勤務した。 1929年1月27日、ケンタッキー州レキシントンにて、ハリー・イングリッシュとキャロライン（グレー）・イングリッシュの間で生まれた...