A formal method using a formal specification, called TUG (Tree Unified with Grammar) is introduced to develop software. A formal specification is written and then systematically mapped into a structured design and successively into a structured program. The mapping process is performed in terms of the patterns of Sequence, Selection, and Iteration in the specification with a set of mapping rules. The patterns build a linkage between specification, design, code, and proofs. Whenever there is a change of user requirements, the impact and changes are located and traced in the specification, design and code in terms of the patterns.
展开▼
机译：引入了一种使用正式规范的正式方法，称为TUG（Tree Unified with Grammar），以开发软件。编写正式规范，然后将其系统地映射到结构化设计中，然后依次映射到结构化程序中。映射过程是根据规范中具有一组映射规则的序列，选择和迭代的模式执行的。这些模式在规格，设计，代码和证明之间建立了联系。每当用户需求发生变化时，就应根据模式在规范，设计和代码中找到并跟踪影响和变化。
展开▼
