We have recently developed an object-oriented refinement calculus called rCOS to formalize the basic object-orient design principles, patterns and refactoring as refinement laws. The aim is of rCOS is to provide a formal support to the use-cased driven, incremental and iterative Rational Unified Process (RUP). In this paper, we apply rCOS to a step-wised development of a Point of Sale Terminal (POST) system, from a requirement model to a design model, and finally, to the implementation in Visual C#. © Springer-Verlag Berlin Heidelberg 2005.

Long Q., Qiu Z., Liu Z., Shao L., Jifeng H.

714.pdf    Gửi cho bạn bè

Từ khóa : Formal logic; Iterative methods; Logic design; Mathematical models; Product design; Product development; Object orientation; Refactoring; Refinement; Software design; UML; Object oriented programming