context analysis; embedded systems; formal verification; frame problem;
机译:面向上下文的系统的需求分析
机译:安全关键嵌入式系统背景下的转义分析的设计与实现
机译:非洲背景下的可持续建筑评估方法:采用系统方法超越学科界限
机译:嵌入式系统的上下文分析方法 - 探索系统与上下文的要求边界
机译:深入了解:阐明电子记录保存系统的功能要求的内容,结构和上下文。
机译:特定于上下文的蛋白质网络矿工–一种从文献中探索特定于上下文的蛋白质相互作用网络的在线系统
机译:开放式创新和软件生态系统中的需求工程 - 在开放式创新和软件生态系统的背景下探索行业中的需求工程实践
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm