SALAMAH Salamah について
Embry Riddle Aeronautical Univ., FL, USA について
GATES Ann について
Univ. Texas at El Paso, TX, USA について
KREINOVICH Vladik について
Univ. Texas at El Paso, TX, USA について
Journal of Systems and Software について
仕様記述 について
検証 について
テンプレート について