郭忠伟
- 作品数:2 被引量:3H指数:1
- 供职机构:扬州大学信息工程学院更多>>
- 发文基金:江苏省自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 形式化B方法到UML类图的转化研究及应用被引量:1
- 2009年
- 形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。
- 邹盛荣郭忠伟彭昱静周塔顾爱华卫丽
- 关键词:形式化方法B方法UML类图
- 软件需求获取形式化的案例研究被引量:2
- 2009年
- 软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化。实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷。
- 邹盛荣彭昱静郭忠伟刘春秋周塔卫丽顾爱华
- 关键词:UML用例驱动B方法