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