机译:国家环境卫星,数据和信息服务:提供全球观测以了解地球科学系统国家环境卫星,数据和信息服务:提供全球观测以了解地球科学系统
机译:太阳能服务行业中的中间企业组成的联盟:对产品服务系统研究的启示
机译:计算机科学,信息科学,信息系统:对信息和跨学科在技术和科学配置中的作用的反思
机译:科技中介服务系统的形成与促进机制研究
机译:科学,技术,工程和数学领域的女教职员工如何就其服务工作经历晋升,任期和重新任命过程
机译:利用公民科学和信息技术促进人口体育锻炼
机译:行为和归纳重写(特邀演讲)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/。