從20世紀60年代開始，就存在着許多不同的形式規格說明語言和軟件開發方法。在形式規格說明領域一些最主要的發展過程列舉如下：
1969－1972 C.A.R Hoare撰寫了"計算機編程的公理基礎（An Axiomatic Basis for Computer Programming）"和"數據表示的正確性證明"兩篇開創性的論文，並提出了規格說明的概念。
1974－1975 B.Liskow/S.N. Zilles和J. Guttag引入了"抽象數據類型"的概念。
1976 E.W. Dijkstra定義了"最弱前置條件"的概念
1977 R.Burstall和J.Goguen提出了第一個代數規格說明語言：Clear
1988 Standford的SRI開發了代數規格說明語言OBJ3
1980-1986 C.Jones定義了VDM語言，也就是維也納開發方法。
1985－1992 牛津大學的程序研究小組開發了Z規格說明語言。與此同時BP研究室開發了稱之爲B方法的面向模型的規格說明語言。
1985－1993 在MIT和Digital SRC開發了代數規格說明語言Larch
從1991年開始，面向對象的形式規格說明語言開始發展，例如，Object-Z, VDM++, CafeOBJ等語言。
1996－2000年 在歐洲CoFI（Common Framework Initiative）項目資助下開發"統一"代數規格說明語言CASL(Common Algebraic Specification Language)
上述規格說明語言可以分爲兩大類：
l 基於代數和公理方法（Clear, OBJ, Larch, CafeOBJ）
l 基於模型的方法（VDM, Z, B, Object-Z）
參考文獻：
1. C.A.R. Hoare, An Axiomatic Basic for Computer Programming, Communication of the ACM Vol. 12, 1969,pp.576-583.
2. C.A.R. Hoare, Proof of Correctness of Data Representations, Acta Informatica Vol.1,1972,pp. 271-281.
3. B.Lisov, S.N. Zilles, Specification Techniques for Data Abstractions, IEEE Transactions on Software Engineering Vol. 1, 1975, pp.7-19.
4. J.Guttag, The Specification and Application to Programming of Abstract Data Types, Ph.D Thesis, University of Toronto, 1975.
5. E.W. Dijstra, A Discipline of Programming, Prentice-Hall 1976.
6. J.Goguen(ed.) Algebraic Specification with OBJ, Cambridge University Press.
7. C.Jones, Systematic Software Development with VDM, Prentice. Hall 1986.
8. J.M.Spivey, The Z Notation- A Reference Manual, Prentice-Hall 1988.
9. J.-R.Abrial, The B-Book, Cambridge University Press 1996.
10. J.Guttage, J. Horning, Larch: language and tools for formal specification, Springer 1993.
11. S. Stepeny, R.Barden, D.Cooper(eds.), Object-orientation in Z, Spring 1992.
12. R.Diaconesu,K. Futatsugi, CafeOBJ Report, World Scientific 1998.從20世紀60年代開始，就存在着許多不同的形式規格說明語言和軟件開發方法。在形式規格說明領域一些最主要的發展過程列舉如下：
1969－1972 C.A.R Hoare撰寫了"計算機編程的公理基礎（An Axiomatic Basis for Computer Programming）"和"數據表示的正確性證明"兩篇開創性的論文，並提出了規格說明的概念。
1974－1975 B.Liskow/S.N. Zilles和J. Guttag引入了"抽象數據類型"的概念。
1976 E.W. Dijkstra定義了"最弱前置條件"的概念
1977 R.Burstall和J.Goguen提出了第一個代數規格說明語言：Clear
1988 Standford的SRI開發了代數規格說明語言OBJ3
1980-1986 C.Jones定義了VDM語言，也就是維也納開發方法。
1985－1992 牛津大學的程序研究小組開發了Z規格說明語言。與此同時BP研究室開發了稱之爲B方法的面向模型的規格說明語言。
1985－1993 在MIT和Digital SRC開發了代數規格說明語言Larch
從1991年開始，面向對象的形式規格說明語言開始發展，例如，Object-Z, VDM++, CafeOBJ等語言。
1996－2000年 在歐洲CoFI（Common Framework Initiative）項目資助下開發"統一"代數規格說明語言CASL(Common Algebraic Specification Language)
上述規格說明語言可以分爲兩大類：
l 基於代數和公理方法（Clear, OBJ, Larch, CafeOBJ）
l 基於模型的方法（VDM, Z, B, Object-Z）
參考文獻：
1. C.A.R. Hoare, An Axiomatic Basic for Computer Programming, Communication of the ACM Vol. 12, 1969,pp.576-583.
2. C.A.R. Hoare, Proof of Correctness of Data Representations, Acta Informatica Vol.1,1972,pp. 271-281.
3. B.Lisov, S.N. Zilles, Specification Techniques for Data Abstractions, IEEE Transactions on Software Engineering Vol. 1, 1975, pp.7-19.
4. J.Guttag, The Specification and Application to Programming of Abstract Data Types, Ph.D Thesis, University of Toronto, 1975.
5. E.W. Dijstra, A Discipline of Programming, Prentice-Hall 1976.
6. J.Goguen(ed.) Algebraic Specification with OBJ, Cambridge University Press.
7. C.Jones, Systematic Software Development with VDM, Prentice. Hall 1986.
8. J.M.Spivey, The Z Notation- A Reference Manual, Prentice-Hall 1988.
9. J.-R.Abrial, The B-Book, Cambridge University Press 1996.
10. J.Guttage, J. Horning, Larch: language and tools for formal specification, Springer 1993.
11. S. Stepeny, R.Barden, D.Cooper(eds.), Object-orientation in Z, Spring 1992.
12. R.Diaconesu,K. Futatsugi, CafeOBJ Report, World Scientific 1998.