搜索结果: 1-8 共查到“国际动态 软件理论”相关记录8条 . 查询时间(1.273 秒)
俄罗斯科学家研制出程序代码错误检测器
俄罗斯 程序代码错误检测器
2017/5/4
俄罗斯科学院系统编程研究所开发的一款新软件最近被收录进俄罗斯国产软件统一名册。这款名为SharpChecker的软件是C＃语言程序静态分析平台，用于查找程序代码中的错误。俄研发人员认为，该软件具有高效的特点，比国际市场上的同类产品（如：美国Synopsys公司研制的Coverity、美国Rogue Wave公司推出的Klocwork、惠普公司研制的Fortify、以色列Checkmarx公司研制的...
New 'Surveyman' software promises to revolutionize survey design and accuracy（图）
design accuracy Surveyman
2014/12/1
AMHERST, Mass. – Doctoral student Emma Tosch of University of Massachusetts Amherst School of Computer Science won a Best Paper award this week at the premier international computer programming langua...
爱尔兰软件企业对使用云技术态度积极
爱尔兰软件企业 使用 云技术 态度积极
2013/6/17
世界知名网络接入架构解决方案提供商思杰（Citrix）集团爱尔兰公司发布爱企业对云技术态度的调查结果。调查显示，70%左右企业认为其核心业务未来1年需要使用云技术服务；71%受访企业表示已初步安装云接入技术设备；92%企业认为，如企业内部设有信息技术部门，则云技术将有效提高其业务能力和效率。
苹果移动应用程序商店清除首个恶意软件
美国苹果公司 恶意软件 移动应用程序商店
2012/7/11
美国苹果公司2012年7月5日从其移动应用程序商店中删除了一个收集用户地址簿信息并发送垃圾短信的应用，该应用被认为是苹果App Store确认的首个恶意软件。俄罗斯信息安全企业卡巴斯基实验室最先在其博客中说，苹果App Store和谷歌网络商店“谷歌Play”中都有一个名叫“Find&Call”的应用会收集用户的地址簿联系人信息，将其发送到应用开发商的服务器上。开发商的系统随后会向联系人发送含应用...
英国新开发软件可塑造“个性虚拟人物”（图）
英国 软件 电脑游戏
2010/4/29
电脑游戏和其他动画媒体的创造者们现在可以通过新的自动化软件在非常真实的场景中量身打造他们的人物，程序员们将其描述为创造“有个性的虚拟化身”的软件。
德国科学家发明软件 实现眼睛控制汽车行驶方向（图）
德国 科学家 软件 汽车行驶方向
2010/4/26
德国柏林自由大学的科学家们为汽车驾驶者带来了一种全新的规则：使用他们开发的eyeDriver软件，驾驶者能通过眼睛引导汽车朝不同的方向行驶。
Sketch-interpreting software（图）
a tablet computer diagrams the screen interactive whiteboards
2010/2/24
Science writers know as well as anyone how much information a diagram can contain. We often labor to express in words what a researcher was able to convey in a single image.But while a drawing can be ...
World-leading software celebrates fifteenth birthday（图）
orld-leading software fifteenth birthday
2009/12/15
Academics at the University of Sheffield are celebrating the 15th birthday of their unique digital software this week (8 December 2009), which helps make sense of the web and social and mass media.The...