informal specification

informal specification 基本解释

网络  非形式描述文本; 笼统的界定

计算机

重点词汇

• informala. 非正式的, 不拘礼的, 通俗的 [经] 非正式的, 日常使用的
• specificationn. 规格, 详述, 详细说明书 [计] 规范; 形式说明; 说明; 说明书; 规格

informal specification 双语例句

1. 1、 To support the method, this paper introduces graphical requirement analysis language, formal requirement specification language, the method and mechanism of transforming from informal model to formal specification and from formal specification to implemen
   介绍了支持这种方法的图形化需求描述语言、形式化需求规格说明语言、由图形化向形式化的转换及由形式化向实现转换的方法和机制；
2. 2、 System general interest can divide into formal system and informal system, this kind of classfication is easy to stress with society for reference system in the order with spontaneous society, or is the universal specification of leading establishment by
   制度大体可以分为正式制度和非正式制度，这种分类易于以社会为参照系，着眼于社会自发的秩序，或者由国家为主导制定的普遍规范。
3. 3、 Aiming at eliminating the ambiguity and subjectivity of informal specification, it contributes to discovering the flaws of system design by giving the formalized description and definition of the model.
   通过对该模型进行形式化描述和定义，消除非形式规范的二义性及主观性，有助于发现系统设计中的缺陷。