首页> 外文会议>Hawaii International Conference on System Sciences >Using box structures with the Z notation
【24h】

Using box structures with the Z notation

机译:使用带有z表示法的盒子结构

获取原文

摘要

The box structure method (BSM) provides a framework that can be used to introduce formality into the requirements specification stage of software development. A method of requirements specification is presented which integrates the Z notation with BSM. The requirements specification is confined to the top level black box specification and the corresponding top level state box specification. The authors describe criteria for good requirements specification and explain advantages of the integrated method for achieving them. Summary introductions are given to both BSM and Z followed by an examination of the relationship between the two methods. They explain the integrated method and illustrate it using a simple birthday reminder system. Finally, they discuss issues that have emerged from the use of this method and indicate areas for future research.
机译:盒子结构方法(BSM)提供了一种框架,可用于将形式引入软件开发的要求规范阶段。提出了一种要求规范的方法,其与BSM集成了Z符号。要求规范仅限于顶层黑匣子规范和相应的顶级状态框规范。作者描述了良好要求规范的标准,并解释了实现它们的综合方法的优势。摘要介绍于BSM和Z两者,然后考察两种方法之间的关系。他们解释了集成方法,并使用简单的生日提醒系统说明它。最后,他们讨论了使用这种方法的问题,并表明未来研究领域。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号