①程序及程序設(shè)計(jì)中:給定一個(gè)編程或規(guī)定語言,抽象釋義一般由抽象關(guān)系連接的一些語義所構(gòu)成。語義是程序的可能行為的數(shù)學(xué)特征化,描述了非常接近程序的實(shí)際執(zhí)行的最精確的語義被稱為具體語義。②軟件工程中:軟件工程過程中......（本文共 223 字）     [閱讀本文] >>