形式化、半形式化和非形式化是三種類
型的規範風
格。 形式化規範就是用一套基於明確定義的數學概念的符號來書寫，並且通常伴隨著支援性的解釋（非形式化）語句。這些數學概念被用來定義符號的句法和語義，以及支援邏輯推理的證明規則。支援形式化符號的句法和語義規則應該定義如何明確地識別其結構和確定其含義。並且必須有證據表明矛盾不可能產生，支援符號的所有規則都有定義或者引用。
半形式化規範就是用一種受限制的句法語言來書寫，並且通常伴隨著支援性的解釋（非形式化）語句。這裡的受限制句法語言可以是一種帶有受限制句子結構和具有特殊意義的關鍵字的自然語言，也可以是圖表式的（如：資料流圖、狀態轉換圖、實體關係圖、資料結構圖、流程或程式結構圖）。不論基於圖表還是自然語言必須用一套規範來定義句法限制。
非形式化規範就是像散文一樣用自然語言來書寫。在這裡使用自然語言作為任何普通口頭語言（如：荷蘭語、英語、法語、德語）中意思的溝通。非形式化規範不像常規語言的傳統用法（如：文法和句法）一樣受一些符號或特殊的限制。雖然沒有符號限制，非形式化規範也要求為上下文中的術語定義其意思，除非作為常規用法已認可。
定義：形式化（formal）：在完備數學概念基礎上，採用具有確定語義定義並有嚴格語法的語言表達的規範
風格。半形式化（semiformal）：採用具有確定語義定義並有嚴格語法的語言表達的規範
風格。非形式化（informal）：採用自然語言表達的規範風格。
形式化方法
軟體形式化方法最早可追溯到20世紀50年代後期對於程式語言編譯技術的研究，即 j.backus 提出bnf 描述algol60 語言的語法，出現了各種語法分析程式自動生成器以及語法制導的編譯方法，使得編譯系統的開發從 手工藝製作方式 發展成具有牢固理論基礎的系統方法。形式化方法的研究高潮始於20 世...
形式化方法
1 形式化方法的發展 軟體形式化方法最早可追溯到20世紀50年代後期對於程式語言編譯技術的研究，即j.backus提出bnf描述algol60語言的語法，出現了各 種語法分析程式自動生成器以及語法制導的編譯方法，使得編譯系統的開發從 手工藝製作方式 發展成具有牢固理論基礎的系統方法。形式化方法的研究...
形式化語言
之前並沒有學習過語言形式化理論這門課，最多也就是了解編譯原理，知道有個符號系統能夠抽象詞法，語法。通過研究這套符合系統的內在規律，給出了驗證模型和相應的演算法。恩，這就是我所了解的電腦程式原理。本科畢業之後，我覺的自己已經很好地掌握了計算機 組成，結構和程式 但我不太懂 計算機幹了什麼，以致我們需要...