咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 object-oriented ...
  • 1 篇 specification-ba...
  • 1 篇 visual refinemen...
  • 1 篇 visual modeling
  • 1 篇 constraint diagr...
  • 1 篇 configuration co...
  • 1 篇 testing composit...
  • 1 篇 test templates g...
  • 1 篇 object-z

机构

  • 1 篇 nokia res espoo
  • 1 篇 univ wisconsin d...
  • 1 篇 univ brighton br...
  • 1 篇 concordia univ d...

作者

  • 1 篇 schuman steve
  • 1 篇 howse john
  • 1 篇 stapleton gem
  • 1 篇 periyasamy k
  • 1 篇 alagar vs
  • 1 篇 oliver ian

语言

  • 1 篇 英文
  • 1 篇 其他
检索条件"主题词=object-oriented formal specification"
2 条 记 录,以下是1-10 订阅
排序:
A rigorous method for test templates generation from object-oriented specifications
收藏 引用
SOFTWARE TESTING VERIFICATION & RELIABILITY 2001年 第1期11卷 3-37页
作者: Periyasamy, K Alagar, VS Univ Wisconsin Dept Comp Sci La Crosse WI 54601 USA Concordia Univ Dept Comp Sci Montreal PQ H3G 1M8 Canada
This paper describes a rigorous method that investigates the suitability of formal specifications written in object-Z specification language for testing object-oriented software implementation in a black-box fashion. ... 详细信息
来源: 评论
Diagrammatic formal specification of a Configuration Control Platform
收藏 引用
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 2009年 第C期259卷 87-104页
作者: Howse, John Schuman, Steve Stapleton, Gem Oliver, Ian Univ Brighton Brighton E Sussex England Nokia Res Espoo Finland
This paper presents a diagrammatic logic framework that is suitable for use in formal specification and for reasoning about and refining formal software models. We take a case study style approach to presenting the fr... 详细信息
来源: 评论