> 以前一直認(rèn)為軟件設(shè)計(jì)是一門藝術(shù)/匠藝紧唱，TLA+將把軟件設(shè)計(jì)變?yōu)橐婚T科學(xué)技術(shù)讥裤。很多行業(yè)在被科學(xué)攻克之前借尿，都被認(rèn)為是藝術(shù)，例如圍棋。
---Cynefin模型有幾分道理
藝術(shù)就是混沌/復(fù)雜領(lǐng)域
技術(shù)就是繁雜/簡(jiǎn)單領(lǐng)域
如何用數(shù)學(xué)驗(yàn)證軟件的正確性——TLA+學(xué)習(xí)總結(jié)作者：羅勝金版權(quán)聲明：歡迎轉(zhuǎn)載，請(qǐng)注明原作者 1. 前言 下文將總結(jié)我的TLA+技術(shù)學(xué)習(xí)心得，分為道（理論）沮峡、法（方法）、術(shù)（技術(shù)）亿柑、器（工具）邢疙、用（案例）五個(gè)主要部分。 2...
作者：羅勝金版權(quán)聲明：歡迎轉(zhuǎn)載望薄，請(qǐng)注明原作者 1. 前言 下文將總結(jié)我的TLA+技術(shù)學(xué)習(xí)心得疟游，分為道（理論）、法（方法）痕支、術(shù)（技術(shù)）颁虐、器（工具）、用（案例）五個(gè)主要部分卧须。 2...
做正確的事與正確的做事，貌似前者更重要哟冬，但當(dāng)你面臨的是一個(gè)高度不確定的環(huán)境時(shí)楼熄，后者就成了關(guān)鍵。
614838722896 評(píng)論自隨筆
前言 我們都知道數(shù)據(jù)庫(kù)的事務(wù)滿足"ACID"特性浩峡，A是指事務(wù)的原子性可岂，C是指事務(wù)的一致性，I指事務(wù)的隔離性翰灾，D指持久性缕粹。最開始我們的數(shù)據(jù)量都很小，所有的數(shù)據(jù)都落在一個(gè)數(shù)據(jù)庫(kù)中...
從DDD的角度纸淮，領(lǐng)域邏輯的分析可以運(yùn)用戰(zhàn)略方法Bounded Context平斩。可是咽块，一個(gè)問(wèn)題是：如何獲得Bounded Context 绘面？ 我查看了許多關(guān)于Bounded C...
