Set-theoretic specifications, which are also knows as "model-based specifications" or "model-oriented specifications" , model systems using sets which are either considered to be primitives sets or constructed by means of combinations of p…

cited from: http://e-words.jp/w/E38397E383AAE382A8E383B3E38397E38386E382A3E38396E3839EE383ABE38381E382BFE382B9E382AF.html プリエンプティブマルチタスクとは、一台のコンピュータで同時に複数の処理をこなすマルチタスク処理の実現方法のうち、CPUを…