论文信息 - SAVCBS 2006 challenge: specification of iterators - 字舞流文

SAVCBS 2006 challenge: specification of iterators

A method for formal specification of iterators, which can be used to verify both clients and implementations, is illustrated with a Set abstraction as the underlying collection.

[1] Stephen H. Edwards. Common Interface Models for Reusable Software , 1993, Int. J. Softw. Eng. Knowl. Eng..

[2] William F. Ogden,et al. Modular Verification of Data Abstractions with Shared Realizations , 1994, IEEE Trans. Software Eng..

[3] Stephen H. Edwards,et al. Part II: specifying components in RESOLVE , 1994, SOEN.

[4] Bruce W. Weide,et al. Experience report: using RESOLVE/C++ for commercial software , 2000, SIGSOFT '00/FSE-8.

[5] Stephen H. Edwards,et al. Design and Specification of Iterators Using the Swapping Paradigm , 1994, IEEE Trans. Software Eng..

[6] Stuart H. Zweben,et al. Reusable Software Components , 1991, Adv. Comput..