STOCKS P A について
Univ. Queensland, Queensland, AUS について
CARRINGTON D A について
Univ. Queensland, Queensland, AUS について
Proceedings of the International Conference on Software Engineering について
プログラム検査 について
Z記法 について
計算機システム開発 について
計算理論 について
テスト について
テンプレート について
仕様記述 について
ソフトウェア について
検査 について
枠組み について