Abstraction, Refinement, Enrichment
| dc.contributor.author | Gruner, Stefan | |
| dc.date.accessioned | 2014-03-03T07:15:36Z | |
| dc.date.available | 2014-03-03T07:15:36Z | |
| dc.date.issued | 2013 | |
| dc.description | Note that the related Chapter 1 in the above-mentioned book published by Shaker Verlag contains three Figures, as well as a long list of Acknowledgments, which are OMITTED in this pre-print version. | en_US |
| dc.description.abstract | In the no longer existing South African journal Quaestiones Informaticae, "An Approach to Defining Abstractions, Refinements and Enrichments" was published by Derrick Kourie more than twenty years ago. At some occasion, about two years ago, Derrick Kourie had asked and encouraged me to review his original topics, such as to re-construct and re-present them from a different perspective. In this festschrift chapter, in honour of Derrick Kourie's 65th birthday, I outline the results of my attempt at fulfilling Derrick Kourie's collegial request. For this purpose I shall first recapitulate the key concepts of Kourie's original paper, since that paper has more or less fallen into oblivion and cannot be easily retrieved from the public domain any more. Thereafter Kourie's notions of abstraction, refinement and enrichment are re-defined in a different (more classical) theoretical framework. Finally those notions are contextualised with respect to the related notion of retrenchment developed since the mid-1990s by Banach, Poppleton, et al | en_US |
| dc.description.librarian | mv2014 | en_US |
| dc.description.uri | http://www.shaker.de/shop/978-3-8440-2068-7 | en_US |
| dc.format.extent | 30 p. | en_US |
| dc.format.medium | en_US | |
| dc.identifier.citation | Gruner, S 2013, Abstraction, Refinement, Enrichment. Chapter 1, pages 13-43, in Stefan Gruner & Bruce Watson (eds.), Formal Aspects of Computing: Essays dedicated to Derrick Kourie on the occasion of his 65th Birthday, Shaker Verlag. | en_US |
| dc.identifier.uri | http://hdl.handle.net/2263/37017 | |
| dc.language.iso | en | en_US |
| dc.publisher | Shaker Verlag, Aachen, Germany | |
| dc.rights | This chapter-pre-print is made available separately on the basis of an agreement between the author and Shaker Verlag, Aachen, Germany. | en_US |
| dc.subject | Abstraction | en_US |
| dc.subject | Refinement | en_US |
| dc.subject | Enrichment | en_US |
| dc.title | Abstraction, Refinement, Enrichment | en_US |
| dc.type | Book chapter | en_US |