A Generalisation of Bags in Z
暂无分享,去创建一个
As a mathematical theory for use in specification, bags (in Z) are currently a poor cousin to the better known and more widely used theories such as sets, relations, functions and sequences. By both expanding the range of operators available on bags, and generalising the basic notion of bags themselves, bags can be turned into a more useful theory that is applicable to a wider range of problems.
[1] Ian J. Hayes,et al. Specification case studies , 1987 .
[2] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.