规约语言的話題

借貸	promotion
erp	脫髮

Software Engineering -> Chinese Version: Translation Terminology...

formal specification language 形式规约语言% C10, XJW functionality 功能性 G generalization 泛化 general token 普通标记% C10, XJW generator 生成器 grammar 语法 ground clause 基子句 I identification 标识% XJW imperative 命令式...

http://secv.blogspot.com/2007/02/translation-terminology-draft.html

SOA的十大技术理论体系- kimhd的专栏- CSDNBlog

BPEL:自动化业务流程BPEL（业务过程执行语言）是一门用于自动化业务流程的形式规约语言，用XML文档写入BPEL中的流程能在Web 服务之间以标准化的交互方式得到精心组织。这些流程能够在任何一个符合BPEL规范的平台或产品上执行。通过允许顾客们在各种各样...

http://g.csdn.net/5060715

索绪尔的结构主义语言学- 道天如是观- 博客大巴

社会性的另一重含义是它的约束性,使用语言的人必须遵守该语言共同体公认的规约。语言对于其使用者是一条只能接受而不经使用者同意的法规。语言作为一种社会规约,是已经选定的东西,任何人都不能独自创造它、改变它,如果要进行交际那就必须完全遵守这一契约...

http://greatufo.blogbus.com/logs/3725149.html

200w MP请达人推荐大学！(发帖人MP:2802056) » 布什夸我聪明- 猫扑...

代表性成果有：（1）研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；（2）参加制定ALGOL，COBOL国家标准；（3）率先在我国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；（4）完成8...

http://dzh.mop.com/topic/readSub_7531363_0_0.html

索绪尔的结构主义语言学- 道天如是观- 博客大巴

http://greatufo.blogbus.com/logs/3725149.html

挑战it的12个难题--Liang V

自动程序设计：开发一种规约语言或用户接口：（a）易于表达设计；（b）计算机能编译它；（c）它能描述所有的应用问题（而且是完全的）。系统通过对例外和不完全的情况规约说明，通过提问，就能自动推理出整个应用的情况，而且使用起来很方便。...

http://liangv.bokee.com/1356150.html

挑战it的12个难题--Liang V

http://liangv.bokee.com/1356150.html

Software Engineering -> Chinese Version: Translation Terminology...

http://secv.blogspot.com/2007/02/translation-terminology-draft.html

SOA的十大技术理论体系- kimhd的专栏- CSDNBlog

http://g.csdn.net/5060715

计算机科学与技术专业部分知名导师介绍_求学考研的BLOG_新浪博客

研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言；2.参加制定ALGOL、COBOL国家标准；3.率先在我国研制出数据驱动计算机模型FPMND；研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统；4.完成8个软件自动化系统，如基于自行...

http://blog.sina.com.cn/s/blog_4cbc5ea401000915.html

天极软件频道焦点更新列表-专题教程-软件-天极网

BPEL是用于自动化业务流程的形式规约语言。XML与BPEL的结合能以标准化的交互方式得到精心组织。自己设计制作系统动画光标 [更多设计专题] 如果不满意系统自带的或网上现成的光标，希望自己设计个性动画光标，我们完全可以自己动手DIY。...

http://soft.yesky.com/lesson/186/2184186.shtml