Experiences in CSP trace generation

dc.contributor.author	Kourie, D.G.
dc.contributor.author	Van den Heever, R.J.
dc.date.accessioned	2018-06-06T14:57:53Z
dc.date.available	2018-06-06T14:57:53Z
dc.date.issued	1988
dc.identifier.citation	D G Kourie and R J van den Heever (1988) Experiences in CSP trace generation. Quaestiones Informaticae Vol 6 No 3 1988	en
dc.identifier.issn	0254-2757
dc.identifier.uri	http://hdl.handle.net/10500/24301
dc.description.abstract	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 both an educational tool and a practical software development tool are considered. Keywords: Trace, trace generation, Prolog, specification, verification, validation, software development tool	en
dc.language.iso	en	en
dc.publisher	Computer Society of South Africa (on behalf of SAICSIT)	en
dc.title	Experiences in CSP trace generation	en
dc.description.department	School of Computing	en
dcterms.type	Article