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