Category:ソフトウェア工学
モデリング言語
Modeling language
CoBRA法
シェープ解析
Shape analysis (program analysis)
プログラム導出
Program derivation
仕様及び記述言語
Specification and Description Language
バージョニングファイルシステム
Versioning file system
自律エージェント
Autonomous agent
構造化された並行性
Structured concurrencySSADM
Structured systems analysis and design method
GRASP
GRASP (object-oriented design)
COSMIC—FFP
モデル変換言語
Model transformation language
メッセージ転送
QVT
QVT
ウェブ指向アーキテクチャ
Web-oriented architecture
N重インスペクション
プログラミングの統一理論
Unifying Theories of Programming
ボトムアップ設計
ソフトウェア考古学
Software archaeologyATLAS Transformation Language
ATLAS Transformation LanguageBinary Ninja
Binary NinjaEclipse Modeling Framework
Eclipse Modeling Framework
Meta-Object Facility
Meta-Object Facility
Model View Controller
Model–view–controller
Model View ViewModel
Model–view–viewmodelReal soon now
Tekla Structures
Tekla Structures
カール・ウィーガーズ
Karl Wiegers