Category:ソフトウェア工学

け

• [+] 形式手法 (5)

し

• [+] 情報技術のプロジェクト (0)

そ

• [+] ソフトウェアアーキテクチャ (4)
• [+] ソフトウェア開発工程 (0)

そ の続き

• [+] ソフトウェア開発ツール (9)
• [+] ソフトウェアテスティング (1)
• [+] ソフトウェアパターン (1)

て

• [+] データモデリング (2)

と

• [+] 統一モデリング言語 (0)

ふ

• [+] プログラミング (15)
• [+] プログラミング言語 (17)
• [+] プロジェクトマネジメント (2)

*

• ソフトウェア工学
• ソフトウェア開発

A

• ATLAS Transformation Language

B

• BPEL

C

• CakePHP
• COSMIC—FFP
• CRCカード

D

• Don't repeat yourself

E

• Eclipse Modeling Framework

H

• HCPチャート

M

• Meta-Object Facility
• Model View Controller

O

• Object Management Group

Q

• QVT

R

• Ruby on Rails

S

• SSADM

U

• UNIX哲学

あ

• アジャイルソフトウェア開発
• アスペクト指向プログラミング
• アプリケーションストリーミング

い

• イベント駆動型プログラミング
• インスペクション

う

• WEB

え

• エクストリーム・プログラミング
• エンドユーザー

お

• オブジェクト指向
• オブジェクト指向開発方法論
• オブジェクト指向プログラミング
• オブジェクト指向分析設計

か

• 下位互換
• 開発合宿
• 伽藍方式

き

• QIP
• 銀の弾などない

く

• グローバル変数

け

• 形式仕様記述

け の続き

• 形式的検証
• 契約プログラミング

こ

• 構成管理
• 構造化プログラミング
• コードの再利用
• コード網羅率
• コードレビュー

さ

• 最適化 (情報工学)

し

• GQM
• ジェネリックプログラミング
• 循環的複雑度
• 詳細化
• 自律エージェント
• 信頼度成長曲線

す

• スリーアミーゴス

せ

• 静的コード解析
• 性能解析
• Z言語
• セラック25
• 前方互換

そ

• ソフトウェア開発工程
• ソフトウェア開発の神話
• ソフトウェア開発プロセス
• ソフトウェア危機
• ソフトウェアコンポーネント
• ソフトウェア情報学部
• ソフトウェア設計
• ソフトウェア測定法
• ソフトウェアドキュメンテーション
• 利用者‐会話:TIES
• ソフトウェア品質
• ソフトウェアファクトリー
• ソフトウェアプロトタイピング

た

• 多層アーキテクチャ

ち

• チケット駆動開発
• 直交性 (情報科学)

て

• デザインパターン (ソフトウェア)

て の続き

• テスト駆動開発
• データフロー図

と

• 統一モデリング言語
• トップダウン設計とボトムアップ設計
• ドメイン固有モデリング

に

• 人月の神話

は

• バージョニングファイルシステム
• バザール方式
• バックマン線図

ひ

• ビヘイビア駆動開発
• 評価戦略
• 品質保証

ふ

• ファンクションポイント法
• フォーク (ソフトウェア開発)
• プログラム合成
• プログラム仕様
• プログラム導出
• プロセスモデル
• フローチャート
• 文芸的プログラミング
• 分散開発
• 分散技法

へ

• ペアプログラミング
• 冪等

ほ

• 包摂アーキテクチャ

み

• 見える化

め

• メタモデル
• メモリデバッガ

も

• モデル駆動型アーキテクチャ
• モデル駆動工学
• モデル変換
• モデル変換言語

ゆ

• ユーザー機能駆動開発

よ

• 要求管理

り

• リファクタリング (プログラミング)