Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Formal Use of Design Patterns and Refactoring
| |
|
| Communications in Computer and Information Science |
Leveraging Applications of Formal Methods, Verification and Validation
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
|
| 10.1007/978-3-540-88479-8_23 |
| Tiziana Margaria and Bernhard Steffen |
Formal Use of Design Patterns and Refactoring
Long Quan3  , Qiu Zongyan3 and Zhiming Liu4
| (3) |
LMAM & Dept. of Informatics, School of Math. Peking University, Beijing, 100871, China |
| (4) |
IIST, United Nations University, Macao, China |
Abstract
Design patterns has been used very effectively in object-oriented design for a long time. Refactoring is also widely used for producing better maintainable and reusable designs and programs. In this paper, we investigate how
design patterns and refactoring rules are used in a formal method by formulating and showing them as refinement laws in the calculus of refinement of component and object-oriented systems, known as rCOS. We also combine refactoring and design patterns to provide some big-step rules of pattern-directed refactoring.
Keywords Object-Orientation - Design Pattern - Refactoring -
rCOS
- Refinement
Supported by NNSF of China (No. 60718002), and Projects on HighQSofD and HTTS funded by Macao S&T Fund.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|