Formal specification
来自维基百科，自由的百科全书
Found in articles
Superstructure Specification, version 2.1.1. Document formal/2007-02-05, Object Management Group, February 2007. http://www.omg.org/cgi-bin/doc?formal/2007-02-05
通信顺序进程
CSP最早出現於東尼·霍爾在1978年發表的論文，但在之後又經過一系列的改善。CSP已经实际的应用在工业之中，作为一种工具去规定和验证（英语：Formal specification）各种不同系统的并发状况，比如T9000 Transputer，还有安全电子商务系统。CSP的理论自身仍是活跃研究的主题，包括了增
软件需求说明
CONOPS（英语：Concept of operations） 需求工程 軟件工程知識體系（SWEBOK） 設計規格 規格化 型式規格（英语：Formal specification） 抽象類型 Bourque, P.; Fairley, R.E. Guide to the Software Engineering
XML Schema语言
schema语言的不完全列表: Marconi, Michael; Nentwich, Christian (编). CLiX Language Specification Version 1.0. 31 January 2004 [2017年8月27日]. （原始内容存档于2015年1月9日）. Bray
实化
Smalltalk与演员模型的语言实化了块（block）与消息。 Smalltalk-80把源代码编译为字节码，这是首例。 数据实化涉及在形式规范（英语：formal specification）中找到抽象数据类型的更为具体的表示。 例如，抽象数据类型集合（set）可以用map或者array来实化。 概念建模（英语：Conceptual