一種抽象算法程序到可執(zhí)行程序的轉(zhuǎn)換
2010-12-31 00:00:00胡芳
電腦知識(shí)與技術(shù) 2010年26期
軟件的可靠性差和開發(fā)效率低一直是困擾軟件產(chǎn)業(yè)界的兩大難題。而用形式化方法開發(fā)軟件一直認(rèn)為是提高軟件可靠性和軟件生產(chǎn)率的重要途徑，是實(shí)現(xiàn)軟件開發(fā)自動(dòng)化的關(guān)
軟件的可靠性差和開發(fā)效率低一直是困擾軟件產(chǎn)業(yè)界的兩大難題。而用形式化方法開發(fā)軟件一直認(rèn)為是提高軟件可靠性和軟件生產(chǎn)率的重要途徑，是實(shí)現(xiàn)軟件開發(fā)自動(dòng)化的關(guān)
