規範語言的求精過程可分為數據求精和過程求精。
它還要求對規範語言的更嚴格的使用。
這就是一種讀起來和寫起來都很輕鬆的規範語言。
對於規範語言表達不明確的部分,兩個實現者可能會給出不同的解釋。
軟件求精技術是實現從形式規範語言到可執行代碼轉換的一種重要技術。