IEEE - Institute of Electrical and Electronics Engineers, Inc. - A formal software development approach based on COOZ and refinement calculus

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31

Author(s): Wang Yunfeng ; Li Bixin ; Pang Jun ; Zha Ming ; Zheng Guoliang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Nanjing, China, China
Conference Date: 22 September 1999
Page(s): 261 - 266
ISBN (Paper): 0-7695-0393-4
DOI: 10.1109/TOOLS.1999.796492
Regular:

Including refinement calculus into COOZ complements its disadvantage during design and implementation. The separation between design and implementation for construct and notation is removed as... View More

Advertisement