Data models; Databases; Dictionaries; Libraries; Reliability; System-on-chip; XML; cell-independent information; complete and consistent specification; library development; specification tool;
机译:用于规范软件图书馆语义的形式主义和语言工具
机译:MicroBuilder的开发和评估:用于REST微服务软件体系结构规范的模型驱动工具
机译:使用规格和因子矩阵(SFM)作为高等教育的支持工具进行产品设计项目的开发
机译:设计,规范和重用的方法和工具的工作组报告库和表示形式子组
机译:改善西弗吉尼亚州的播种和覆盖规格并创建材料估算工具
机译:重新制作慢性阿片类药物用于电子临床质量措施(ECQM)的现有临床质量措施用于术后阿片类药物规定:制定和测试规范草案
机译:有关使用sTORm环境创建sRs文档的要求规范的软件工具
机译:制定X3D修正案以创建医学图像体积渲染,分割和配准的标准规范