CÁC BÀI BÁO KHOA HỌC 06:40:58 Ngày 24/10/2019 GMT+7
POST: A case study for an incremental development in rCOS

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