高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

结合形式化方法的UML系统开发

上一篇

下一篇

罗蜜,张为群. 结合形式化方法的UML系统开发[J]. 西南师范大学学报(自然科学版), 2003, 28(2).
引用本文: 罗蜜,张为群. 结合形式化方法的UML系统开发[J]. 西南师范大学学报(自然科学版), 2003, 28(2).
shu
Formal Refinement for The UML Development[J]. Journal of Southwest China Normal University(Natural Science Edition), 2003, 28(2).
Citation: Formal Refinement for The UML Development[J]. Journal of Southwest China Normal University(Natural Science Edition), 2003, 28(2).
shu

结合形式化方法的UML系统开发

  • 西南师范大学,计算机与信息科学学院,重庆,400715

Formal Refinement for The UML Development

计量
  • 文章访问数:  519
  • HTML全文浏览数:  372
  • PDF下载数:  0
  • 施引文献:  0
出版历程

结合形式化方法的UML系统开发

  • 西南师范大学,计算机与信息科学学院,重庆,400715

摘要: 介绍并讨论了在系统开发过程中使用UML(Unified Modeling Language)与其他形式化方法得到的一种精化模型, 而且这一模型也同样支持形式化的分析和验证.

English Abstract

    全文HTML

参考文献 (0)

目录

版权所有：西南师范大学学报(自然科学版)

地址：重庆市北碚区西南大学 电话：023-68252540，68254576，68254478 电子邮箱：xbbjb@swu.edu.cn

本系统由北京仁和汇智信息技术有限公司开发

/

返回文章
返回