本書以實(shí)現(xiàn)法律化的程序設(shè)計(jì)為目標(biāo)、面向合約軟件開發(fā)理論為基礎(chǔ), 系統(tǒng)地介紹了智能法律合約與面向合約軟件工程的概念與架構(gòu), 對智能法律合約的法律屬性、語言設(shè)計(jì)進(jìn)行了理論分析和模型設(shè)計(jì), 提出了智能法律合約的編譯方法、訂立方法等實(shí)用化工具和技術(shù), 并在數(shù)字資產(chǎn)與權(quán)屬交易和智能合約即服務(wù)等方面給出了智能法律合約的應(yīng)用解決方案和相關(guān)智能法律合約語言標(biāo)準(zhǔn)。本書系統(tǒng)地闡述了如何實(shí)現(xiàn)法律化的程序設(shè)計(jì)與開發(fā), 讓非計(jì)算機(jī)專業(yè)人士也可參與設(shè)計(jì)自己的區(qū)塊鏈智能合約。本書內(nèi)容能夠很好地幫助讀者了解智能法律合約的研究進(jìn)展、基本理論和方法, 以及未來發(fā)展方向, 其中示例也能幫助本領(lǐng)域?qū)W者進(jìn)行示例化研究, 從而推動(dòng)智能法律合約的發(fā)展。