首页
|
本学科首页
官方微博
|
高级检索
文章检索
按
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目英文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
检索
检索词:
出版年份:
从
到
被引次数:
从
到
他引次数:
从
到
提示:输入*表示无穷大
全文获取类型
收费全文
21篇
免费
0篇
专业分类
综合类
3篇
水路运输
15篇
铁路运输
2篇
综合运输
1篇
出版年
2020年
1篇
2018年
1篇
2015年
1篇
2014年
1篇
2012年
1篇
2010年
1篇
2008年
2篇
2007年
3篇
2006年
1篇
2005年
4篇
2004年
1篇
2001年
1篇
2000年
2篇
1999年
1篇
排序方式:
出版年(降序)
出版年(升序)
被引次数(降序)
被引次数(升序)
更新时间(降序)
更新时间(升序)
杂志中文名(升序)
杂志中文名(降序)
杂志英文名(升序)
杂志英文名(降序)
作者中文名(升序)
作者中文名(降序)
作者英文名(升序)
作者英文名(降序)
相关性
共有21条查询结果,搜索用时 0 毫秒
[首页]
« 上一页
[1]
[2]
3
21.
形式化B方法和UML的结合
徐阳
邹盛荣
朱勇
刘智霞
张宏
《南通航运职业技术学院学报》
2008,7(1):64-68
形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。
相似文献
[首页]
« 上一页
[1]
[2]
3
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号