STROM R E について
IBM T.J. Watson Research Center, NY について
YELLIN D M について
IBM T.J. Watson Research Center, NY について
IEEE Transactions on Software Engineering について
プログラム解析 について
型状態 について
システムプログラミング一般 について
計算機システム開発 について
条件付 について
活性 について
分析 について
タイプ について
チェック について
拡張 について