GE工业集团旗下的GE Fanue自动化美洲公司，宣布将采用Microsoft Visual Studio应用工具作为未来即将发布的Proficy 生产管理软件应......

<正>引言软件规格说明的形式化技术提供了一种能独立于实现的、可推理的系统数学模型,具有......

本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动......

日前，达索析统旗下子品牌Exalead与Basis Technology宣布建立合作关系，并将Basis Technology的Rosette语言平台集成到最新发布的Exal......

...