机译:理性设计[ 13 sup> 13 光盘 14 sub> 14 ] tert i> tert - 丁基苯作为用于设计长寿命的超极化的支架结构 13 sup> 13 C探针
机译:混合
机译:设计WWW应用程序的系统方法
机译:在WWW上设计超级专题系统
机译:万维网(WWW)商业系统中人类信任的理论模型和定义,以及对影响网络银行系统中信任的因素的经验评估
机译:设计试点和评估SchoolhealthLink:密苏里州学校护士的WWW健康信息资源
机译:行为和归纳重写(特邀演讲)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/。