机译:开发基于集成计算机信息系统的需求分析和规格说明阶段的方法,以实现认证的工厂可追溯性
机译:基于灰箱的嵌入式系统软件需求规范:以手机摄像头传感器控制器为例
机译:基于模型的框架涵盖了从规范到嵌入式软件系统中的时序要求验证的完整工作流程
机译:使用ECSAM的系统建模和需求规范:一种基于嵌入式计算机的系统分析方法
机译:使用属性语法为分布式软件系统开发需求和设计规范的方法。
机译:下一代飞机智能导航管理系统中的人机交互:面向代理的方法论方法下的任务分析和体系结构
机译:监视分析计算机系统(saCs):软件需求规范(sRs)。修订版2