タグ

ブックマーク / ja.wikipedia.org (8)

  • 99式空対空誘導弾 - Wikipedia

    99式空対空誘導弾(きゅうきゅうしきくうたいくうゆうどうだん)は、日の航空自衛隊が装備する中距離空対空ミサイルである。AAM-4とも呼ばれる[1][2]。主契約者は三菱電機。 誘導方式は初期から中間誘導は慣性誘導と発射母機からのデータリンクによる指令誘導、終末誘導にはミサイルに内蔵されたレーダーによるアクティブ・レーダー・ホーミング(ARH)が用いられる。射程は100 km前後と言われている。 開発経緯[編集] 1980年代から1990年代にかけて、アメリカではセミアクティブ誘導であるAIM-7 スパローの後継として、AIM-120 AMRAAMを開発・配備しようとしていた。AMRAAMはアクティブレーダー誘導で先代のスパローより軽く、有効射程・運動性ともに高い能力を持つ優れたミサイルであった。しかし、その開発当初、AMRAAMの販売先はアメリカ軍とNATO各国軍のみに限定されるのではな

    99式空対空誘導弾 - Wikipedia
  • ソフトウェア品質 - Wikipedia

    出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2019年8月) ソフトウェア品質(ソフトウェアひんしつ、英: Software quality)は、ソフトウェアの品質を指し、プログラマの観点からはソースコードの品質、エンドユーザーの観点からはアプリケーションソフトウェアの品質を意味する。 ソフトウェア品質の定義は様々である。ジェラルド・ワインバーグは著書 Quality Software Management: Systems Thinking v. 1 で「品質とは誰かにとっての価値である」と書いている。この定義は品質が来主観的なものであることを強調している。同じソフトウェアであっても人によって品質の感じ方は全く異なる。この定義の利点は、ソフトウェア開発チームに「このソフトウェアは誰のために作っている

  • 契約プログラミング - Wikipedia

    契約による設計 契約プログラミング(けいやくプログラミング、英: Contract programming)または契約による設計(けいやくによるせっけい、英: Design by Contract; DbC)は、ソフトウェアの正確性[注 1]と頑健性[注 2]を高めるためのソフトウェア設計の方法論である。DbC はロバート・フロイド、アントニー・ホーア、エドガー・ダイクストラらの形式的検証の仕事を基礎にしている[1]。DbC は(抽象データ型に基づく)オブジェクト指向プログラミングにおける表明の利用や、継承に伴う表明の再定義の原理的規則、例外処理の原理的規則などを提供する[2]。 DbC は、バートランド・メイヤーによって提案された[3][4][5]。 概要[編集] 「契約による設計」(DbC)における中心的な概念は、クライアントとサプライヤ[6]の契約 (contract) である。Db

    契約プログラミング - Wikipedia
  • IDEF3 - Wikipedia

    この項目「IDEF3」は途中まで翻訳されたものです。(原文:en:IDEF3(09:47, 22 April 2011 UTC)の翻訳) 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。(2011年5月) IDEF3でモデル化された、拡張遷移図。 IDEF3(プロセス記述の統合定義手法)は、IDEF0を補完するプロセス・モデリング (Process modeling)手法である[1]。IDEF3手法は、どのように特定のシステムが動作するかについての知識を獲得することを意図した、シナリオ・ベースのプロセス・フロー記述獲得手法である[2]。 IDEF3手法は、下記の2つを表現するモードを提供している[2]: ある特定のシナリオの文脈内で、行動間の関係を獲得する、プロセス・フロー記述。 許され得る状態と条件

    IDEF3 - Wikipedia
  • Xプレーン - Wikipedia

    この項目では、アメリカ合衆国が開発した実験機・記録機シリーズについて説明しています。フライトシミュレーションゲーム『X-Plane』については「X-Plane」をご覧ください。 最初のXプレーン、ベルX-1 Xプレーンは、アメリカ合衆国が開発した実験機・記録機シリーズのこと。名称が実験機・記録機を意味するXで始められていることから、Xプレーン(X plane: planeは飛行機の意)と呼ばれるようになった。その性格上、製造機数は少ないが多様であり、特異な外形を持つものや、世界記録を更新するなど優秀な性能を示すものも作られた。 概要[編集] 最初のXプレーンは、1946年に製作されたベルX-1である。これは、音速を突破するために造られた機体であった。これ以降もアメリカ航空宇宙局(NASA)、空軍、航空機メーカーを中心に開発されている。 高速性の追求においては大きな成果を挙げている。たとえば

    Xプレーン - Wikipedia
  • ICONIX - Wikipedia

    この項目では、ソフトウェア開発方法論について説明しています。韓国のアニメ会社については「Iconix Entertainment」をご覧ください。 ICONIX(アイコニクス) は、ラショナル統一プロセス(RUP)、エクストリーム・プログラミング(XP)、及びアジャイルソフトウェア開発よりも前から存在するソフトウェア開発方法論である。RUPと同様にICONIXプロセスはUMLのユースケース駆動であるが、RUPより軽量である。XPやアジャイルのアプローチとは異なり、ICONIXは十分な要求と設計のドキュメントを作成するが、分析麻痺にはならないようにする。ICONIXプロセスは、4ステップのプロセスでただ4つのUML図を使用して、ユースケース記述を動作するコードに変換する。 ICONIXを他と区別する特徴は、要件定義と詳細設計のギャップを埋める方法であるロバストネス分析を使用することである。ロ

  • Hardware Abstraction Layer - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "Hardware Abstraction Layer" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2020年12月) Hardware Abstraction Layer (HAL、ハードウェア抽象化レイヤー) とは、コンピュータのハードウェアとそのコンピュータ上で動作するソフトウェアの間に存在する、ソフトウェアで実装した抽象化レイヤーである。オペレーティングシステム (OS) のカーネルからハードウェア毎に異なる差異を隠蔽する機能を持ち、それによってカーネルコードは異なるハードウェアのシステム上で動作してもほとんど変更する必要がなく

  • AutoIt - Wikipedia

    AutoIt(オートイット)はWindows用のプログラミング言語である。 AutoItWindows用プログラムのGUI自動操作機能を主な特徴としている。スクリプトは実行形式にコンパイル可能であり、コンパイルしたものはAutoItインタプリタのインストールされていない環境でも動作する。フリーウェアであり非常に多くのライブラリ、開発ツールが存在する。 主な特徴[編集] 実行環境はWindows TCPとUDPをサポート COMオブジェクトをサポート DLLをサポート コンソールアプリケーションの実行と標準ストリームへのアクセスが可能 GUI、メッセージボックス、入力ボックスの作成が可能 音声ファイルの制御可能 マウス操作のシミュレートが可能 ウィンドウ、プロセスの操作が可能 アプリケーション、アプリケーション内の各コントロールへの入力、キーストロークの送信が可能 スクリプトをスタンドアロ

    AutoIt - Wikipedia
    takamR1
    takamR1 2011/01/25
  • 1