POST: a case study for an incremental development in rCOS

Authors:
Quan Long;Zongyan Qiu;Zhiming Liu;Lingshuang Shao;He Jifeng
Affiliations:
LMAM and Department of Informatics, School of Mathematical Sciences, Peking University, Beijing, China;LMAM and Department of Informatics, School of Mathematical Sciences, Peking University, Beijing, China;International Institute for Software Technology, United Nations University, Macao, China;Software Engineering Institute, Peking University, Beijing, China;International Institute for Software Technology, United Nations University, Macao, China
Venue:
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Year:
2005

Citing 8
Cited 3

Predicate calculus and program semantics

Predicate calculus and program semantics
Object-oriented development: the fusion method

Object-oriented development: the fusion method
Designing object systems: object-oriented modelling with Syntropy

Designing object systems: object-oriented modelling with Syntropy
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Software Development: A Rigorous Approach

Software Development: A Rigorous Approach
Formal and Use-Case Driven Requirement Analysis in UML

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods

Methods and Tools for Formal Software Engineering

Verified Software: Theories, Tools, Experiments
Separation of Concerns and Consistent Integration in Requirements Modelling

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Design verification patterns

Formal methods and hybrid real-time systems

Quantified Score

Hi-index	0.00

Visualization

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#.