Whatis your perspective on its potential impact on software architecture, specification language, software process and software reuse?
你如何看待其可能产生的影响软件体系结构，规范语言，软件过程和软件重用？
Com is a standard that specifies how classes should be programmed, not a language. Com is a binary specification that establishes a common method of building software components.
COM是指定类如何编程设计的一个标准，不是程序设计的语言。是一个能够建立软件组件的一种通用的二进制规范。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
目前软件开发中的形式化方法主要是形式化规范说明语言，有Z语言、VDM语言和RAISE语言等。
CSPDL-a software process language described in this thesis formalizes the process specification by both graph and textual XML.
本文描述的软件过程定义语言CSPDL采用了图形和XML文本相结合的表示方式。
The data model, the form defining language, the application specification language andaset of software tools in a form-oriented application developing system(FADS)are de-scribed.
讨论FADS系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。
The data model, the form defining language, the application specification language andaset of software tools in a form-oriented application developing system(FADS)are de-scribed.
讨论FADS系统的数据模型、表格定义语言、应用程序说明书语言和一组开发应用程序及数据库的软件工具。
应用推荐