Formalize相关论文
为解决企业异构数据的共享问题,提出利用本体模型和描述逻辑对元数据进行形式化的方法,通过形式化元数据交互实现异构数据的共享。......
特征代码反病毒系统已经不能适应当前计算机病毒的检测要求,行为检测法将取代特征代码法。在对病毒恶意行为进行简要分析后,将状态......
1.前言随着软件开发技术和开发平台的不断发展,面向对象的软件设计技术和实现技术已经成为主流.UML作为一种完全支持面向对象的建......
It is an important issue in Software Engineering that combined the formal development method with the vi-sual developmen......
保证职工的合理报酬,是建立和谐稳定劳动关系的关键环节。但由于种种原因,目前的工资集体协商制度还存在较严重的形式化倾向。工会......
大学的根本在于学问，为学术而学术是学者的至高境界。外加的形式化的东西，并非大学和学者的动力源泉。一再地用形式化、符号化的办法......
X-machine是一种形式化的、适用于动态系统建模的方法．首先介绍了该建模方法，然后设计、实现了一个可复用的、可转换X-machine模型为......
建筑设计中首要的是构思方法与技巧。构思方法与技巧可分为两类：模式化与自由化，两者的实质是生活化。以鸿雁山庄的构思过程为例，探讨......
