Title | Reification - Changing Viewpoint but Preserving Truth |
Publication Type | Conference Proceedings |
Year of Conference | 1996 |
Authors | Denker, G. |
Conference Name | Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers. |
Pagination | 182-199 |
Publisher | Springer |
Abstract | In this paper we investigate the technique of stepwise refinement used to facilitate and to structure the design process of complex software systems and to increase the productivity by reusing code, proofs, etc. Assuming an object-oriented approach to system specification, i.e., objects are understood as units of structure and behaviour, data refinement as well as action refinement have to be addressed. Our approach relies on temporal logics as a suitable framework to express system dynamics. |
Public | no |