论文部分内容阅读
领域特征突出的嵌入式实时系统软件开发，既需要严格地保证可靠性又要充分反映实时和交互行为特征，针对这种需要，该文提出了一种从需求分析到体系结构建模直至使用组技术实现软件的形式化开发方法。文章在介绍了目前的各软件工程领域以有各软件开发阶段中的形式化模型和工具的现状和特点后，引入需求分析的模型和体系结构建模的描述语言，分析其长处和不足，最后对该方法与移动组件组合的前景进行了展望。