Similar to エラー忘却型コンピューティング
プログラム導出
Program derivation
プロセスモデル
分散開発
Distributed development
冪等
Idempotence
ホーア論理
Hoare logic
ボトムアップ設計
見える化
Visual control
メタモデル
Metamodeling
メッセージ転送
メモリ安全性
Memory safety
モデリング言語
Modeling language
モデル駆動型アーキテクチャ
Model-driven architecture
モデル駆動工学
Model-driven engineering
モデル変換
Model transformation
モデル変換言語
Model transformation language
要求工学ツールのリスト
Requirements engineering tools
ランタイムエラー検出
Runtime error detection
リファクタリング (プログラミング)
Code refactoringRuby on Rails
Ruby on Rails
コンピューティング
ComputingBerkeley Open Infrastructure for Network Computing
Berkeley Open Infrastructure for Network Computing
エッジコンピューティング
Edge computing
エンドユーザー・コンピューティング
End-user computingオートノミックコンピューティング
Autonomic computing
クラウドコンピューティング
Cloud computing
グリッド・コンピューティング
Grid computing
コグニティブコンピューティング
Cognitive computing
国立コンピューティング博物館
The National Museum of Computing
