Institutional Repository

Browsing by Author "Kourie, D.G."

Browsing by Author "Kourie, D.G."

Sort by: Order: Results:

  • An approach to defining abstractions, refinements and enrichments 
    Kourie, D.G. (Computer Society of South Africa (on behalf of SAICSIT), 1989)
    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 ...
  • Experiences in CSP trace generation 
    Kourie, D.G.; Van den Heever, R.J. (Computer Society of South Africa (on behalf of SAICSIT), 1988)
    Experiences and insights gained from implementing and using a Prolog trace generator for CSP specifications are discussed. The use of Prolog as an implementation language is evaluated. The value of trace generation as ...

Search UnisaIR

Browse

My Account