Prototypes; Ada programming language; Computer programs; Input; Installation; Instructions; Methodology; Modular construction; Programming languages; Reliability; User manuals; SQL(Structured Query Language); Standards; STARS(Software Technology for Adaptable Reliable Systems); Data base management systems;
机译:客人编辑:用于可靠和适应性的片上AI子系统和加速器的通信感知设计和方法
机译:使用多角度方法研究用户与基于糖尿病足部护理的基于指南的决策支持系统的原型前端之间的交互
机译:Applied Biosystems和SQL Star LIMSa?v5软件:强大的技术,经过验证的解决方案以及对客户成功的关注
机译:用于基于基准的适应性软件流程改进的方法及其支持环境
机译:适应性软件重用:绑定时间意识到建模语言,以支持软件产品线工程中的特征绑定时间的变体
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法:临床咨询系统:为计算机用户设计医师
机译:行为和归纳重写(特邀演讲)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/。