组件交互自动机相关论文
信息物理融合系统是由具有离散性的信息系统和具有连续性的物理系统通过端口进行数据、控制信号的通信组合而成。采用形式化方法对......
Web应用是一种非常复杂的、分布式的、运行在不同平台、采用不同语言编写、多成分和多层结构的交互式应用,为用户提供了一种全新的......
Web应用有许多特殊性使得不能直接使用传统的测试方法进行测试,因而需要修改已有方法或完全提出新的方法用于Web应用的测试.把Web......
