机译:工具带来IT支出回报:从电子表格到高级投资组合工具,用户都在寻找手段来跟踪IT投资的价值
机译:超级计算机用户流量统计和分析工具
机译:面向高级气体检测控制器用户的下一代软件
机译:TSIS:用于用户的高级流量软件工具
机译:一项对世界500强金融机构对软件质量保证测试工具(SQATT)实施的用户感知的实施后调查的分析
机译:iMet:合并代谢网络的图形用户界面软件工具
机译:行为和归纳重写(特邀演讲)11本文报道的研究得到了美国国家科学基金会(National Science Foundation)资助CCR-9901002以及日本信息促进局(IPA)的CafeOBJ项目的部分支持,这是其高级软件技术计划的一部分。可以在他们的网站(网址分别为http://www.ucsd.edu/users/{goguen,klin,grosu})上找到作者。有关BOBJ系统的更多信息,请访问http://www.ucsd.edu/groups/tatami/bobj/。注意:作者的所有论文都可以在其网站上找到,它们的网址分别为www.ucsd。 edu / users / {goguen,klin,grosu}。有关BOBJ系统的更多信息,请访问www.ucsd.edu/groups/tatami/bobj/。
机译:高级交通控制系统软件标准的制定。最终报告。第1卷。道路交通控制软件模型