机译:使用Z表示法的用例图的多视图形式化模型:旨在提高功能需求质量
机译:提高在要求开发电子商务移动应用期间获得的功能和非功能性要求的质量和数量:替代参考过程模型
机译:当新手分析师创建用例图时,改进对功能系统需求的识别:应用概念性思维模型的好处
机译:SysML需求图的正式模型
机译:半形式图符号的解释,转换和模型检查
机译:正式和定量的软件工程非功能需求建模和评估方法。
机译:一个基于网络的实验室信息系统以提高秘鲁结核病患者的护理质量:功能要求实施和使用情况统计
机译:使用Z符号的多视图使用案例图的形式模型:旨在提高功能要求质量