CHALIN Patrice について
Concordia Univ., QC, CAN について
IEEE Transactions on Software Engineering について
プログラム検証 について
意味解析 について
形式的手法【計算機】 について
要求分析 について
コンパイラ について
プログラムの正しさ について
論理プログラミング について
ソフトウェア工学 について
Java について
仕様書 について
ソフトウェア障害 について
モデリング について
形式的検証 について
計算機システム開発 について
コンパイラ について
検証 について
アサーション について
意味解析 について
エンジニアリング について