该文针对嵌入式实时软件系统的需求规约和验证问题,提出了系统建模语言RTRSM,并以该语言为基础,展开全文,包括模型性质描述语言RIT......

本文介绍了我们实现的面向嵌入式实时软件系统(ERS)的需求工程环境SREE,该环境涉及软件需求工程(Requirement Engineering,RE)全过......

模拟执行是一种重要的需求规格说明书(SRS)的检测方法.文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想......

模拟执行是一种重要的需求规格说明书（SRS）的检测方法，文章基于面向嵌入式实时系统的需求描述模型RTRSM，提出了如何将组件化的思想和技......

1前言软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,......

以需求描述模型RTRSM为基础,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型,提出了构图覆盖的......