BERZINS V について
Naval Postgraduate School, CA について
Naval Postgraduate School, CA について
YEHUDAI A について
Naval Postgraduate School, CA について
IEEE Transactions on Software Engineering について
プロトタイピング について
形式的手法 について
計算機システム開発 について
計算理論 について
仕様 について
プロトタイピング について
ソフトウェア について
活用 について