王友
- 作品数:4 被引量:5H指数:2
- 供职机构:重庆师范大学更多>>
- 发文基金:重庆市教育委员会科学技术研究项目江苏省高校自然科学研究项目更多>>
- 相关领域:自动化与计算机技术更多>>
- B方法在家庭智能控制系统开发中的应用被引量:2
- 2006年
- 精确的软件需求规约是确保软件质量的基础,软件过程中保证方法更为重要,良好的方法可以保证在产品的开发过程中不引入人为的错误。现有流行的软件过程方法都可以在一定程度上减少此类错误的引入,很难从本质上避免人为错误的引入,形式化方法以其精确的数学语义为基础,可以保证开发过程中的一致性和准确性,以B方法尤为突出,它可以适用于软件过程中的任一阶段。文章以家庭智能控制系统为例,介绍了B方法在软件开发过程中的应用。
- 王友张广泉
- 关键词:B方法抽象机形式规约软件设计
- 基于Event--B的软件形式化需求获取方法研究
- 需求工程出现于上个世纪80年代中期,目前已发展成为软件工程的一个独立研究分支。需求获取技术是需求工程中一个非常重要的研究内容。如何用适当的方法把软件需求详细精确地描述出来,这不仅影响着开发人员之间对软件系统的理解和的交流...
- 王友
- 关键词:EVENT-B软件形式化
- 文献传递
- 基于UML景区管理系统建模被引量:2
- 2006年
- 以景区管理系统为开发背景,阐述了UML在建模中的应用。以Rose作为建模工具构建了景区管理系统的需求模型、动态行为模型、对象结构模型、部署模型。
- 王友
- 关键词:UML面向对象分析与设计
- 基于层次消息的应用系统模型被引量:1
- 2006年
- 在分析应用系统层次结构的基础上,提出了应用系统构件化的层次消息开发模型;描述了基于层次消息模型应用系统的抽象层次、组成构件及其结构特征、连接方式及其形式化的描述、消息及其形式化的描述,并给出了一套在该模型下开发的建议规范与方法。
- 王友戎玫张广泉
- 关键词:应用系统