@inproceedings{101de0e62f254d298cce43e72b7a614e,
title = "POST: A case study for an incremental development in rCOS",
abstract = "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\#.",
keywords = "Object-orientation, Refactoring, Refinement, Software design, UML",
author = "Quan Long and Zongyan Qiu and Zhiming Liu and Lingshuang Shao and He Jifeng",
year = "2005",
doi = "10.1007/11560647\_32",
language = "英语",
isbn = "3540291075",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "485--500",
booktitle = "Theoretical Aspects of Computing - ICTAC 2005 - Second International Colloquium, Proceedings",
address = "德国",
note = "2nd International Colloquium on Theoretical Aspects of Computing - ICTAC 2005 ; Conference date: 17-10-2005 Through 21-10-2005",
}