An approach to defining abstractions, refinements and enrichments

dc.contributor.author	Kourie, D.G.
dc.date.accessioned	2018-06-06T15:28:29Z
dc.date.available	2018-06-06T15:28:29Z
dc.date.issued	1989
dc.identifier.citation	D G Kourie (1989) An approach to defining abstractions, refinements and enrichments. Quaestiones Informaticae Vol 6 No 4 1989	en
dc.identifier.issn	0254-2757
dc.identifier.uri	http://hdl.handle.net/10500/24309
dc.description.abstract	A proposal for defining abstractions and refinements is given in terms of three-valued logic applied to a domain of discourse consisting of a property and an entity set. Definitions for several related concepts flow naturally from these, including possible orderings on refinements and abstractions, as well as the notions of non-determinism, enrichment and base abstractions.	en
dc.language	en	en
dc.language.iso	en	en
dc.publisher	Computer Society of South Africa (on behalf of SAICSIT)	en
dc.subject	abstraction	en
dc.subject	refinement	en
dc.subject	enrichment	en
dc.subject	three-valued logic	en
dc.subject	non-determinism	en
dc.title	An approach to defining abstractions, refinements and enrichments	en
dc.type	Article	en
dc.description.department	School of Computing	en