论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 重庆科技学院学报(自然科学版)期刊 \
一种结合UML和B的软件需求获取方法
一种结合UML和B的软件需求获取方法
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.
推荐文章
B方法与UML在软件设计中的结合应用
统一建模语言
B方法
软件设计
软件需求获取形式化的案例研究
需求获取
UML
用例驱动
B方法
形式化需求
UML与B结合的软件开发研究与应用
B方法
UML
软件规格说明
抽象机
利用UML获取功能需求的方法
需求分析
UML
用例
参与者
用例模型
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 一种结合UML和B的软件需求获取方法 | ||
| 来源期刊 | 重庆科技学院学报（自然科学版） | 学科 | 工学 |
| 关键词 | B方法 UML 形式规约 家庭智能控制系统 | ||
| 年，卷（期） | 2012,（3） | 所属期刊栏目 | 计算机·电工 |
| 研究方向 | 页码范围 | 142-146 | |
| 页数 | 5页 | 分类号 | TP311.5 |
| 字数 | 2802字 | 语种 | 中文 |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (5)
共引文献 (6)
参考文献 (2)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2005(1)
- 参考文献（0）
- 二级参考文献（1）
2006(1)
- 参考文献（0）
- 二级参考文献（1）
2007(2)
- 参考文献（1）
- 二级参考文献（1）
2008(1)
- 参考文献（0）
- 二级参考文献（1）
2009(1)
- 参考文献（0）
- 二级参考文献（1）
2011(1)
- 参考文献（1）
- 二级参考文献（0）
2012(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
B方法
UML
形式规约
家庭智能控制系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
重庆科技学院学报(自然科学版)
主办单位：
重庆科技学院
出版周期：
双月刊
ISSN：
1673-1980
CN：
50-1174/N
开本：
大16开
出版地：
重庆大学城
邮发代号：
创刊时间：
1995
语种：
chi
出版文献量（篇）
4247
总下载数（次）
8
总被引数（次）
13371
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
重庆科技学院学报(自然科学版)2022
重庆科技学院学报(自然科学版)2021
重庆科技学院学报(自然科学版)2020
重庆科技学院学报(自然科学版)2019
重庆科技学院学报(自然科学版)2018
重庆科技学院学报(自然科学版)2017
重庆科技学院学报(自然科学版)2016
重庆科技学院学报(自然科学版)2015
重庆科技学院学报(自然科学版)2014
重庆科技学院学报(自然科学版)2013
重庆科技学院学报(自然科学版)2012
重庆科技学院学报(自然科学版)2011
重庆科技学院学报(自然科学版)2010
重庆科技学院学报(自然科学版)2009
重庆科技学院学报(自然科学版)2008
重庆科技学院学报(自然科学版)2007
重庆科技学院学报(自然科学版)2006
重庆科技学院学报(自然科学版)2005
重庆科技学院学报(自然科学版)2004
重庆科技学院学报(自然科学版)2003
重庆科技学院学报(自然科学版)2002
重庆科技学院学报(自然科学版)2001
重庆科技学院学报(自然科学版)2012年第6期
重庆科技学院学报(自然科学版)2012年第5期
重庆科技学院学报(自然科学版)2012年第4期
重庆科技学院学报(自然科学版)2012年第3期
重庆科技学院学报(自然科学版)2012年第2期
重庆科技学院学报(自然科学版)2012年第1期
