Concordia University (Canada).;
机译:适应性软件的正式方法:对非功能性需求的连续保证
机译:一种基于价值的方法来优先处理非功能性需求durina软件项目开发
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:支持非功能需求的定量推理:一种面向过程的方法
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:更正:一种灵活的方法用于定量系统药理学模型的上下文相关评估
机译:正式和定量的软件工程非功能需求建模和评估方法