dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Paula Kotzé (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. van der Poll, Paula Kotzé: Enhancing the established strategy for constructing a Z specification. South African Computer Journal 35: 118-131 (2005)
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. van der Poll, Paula Kotzé: Reasoning about the Properties of an Enterprise Information System. VVEIS 2004: 10-19
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne: Automated Support for Enterprise Information Systems. J. UCS 10(11): 1519-1539 (2004)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. van der Poll, Paula Kotzé: A multi-level marketing case study : specifying forests and trees in Z. South African Computer Journal 30: 17-28 (2003)

Selection of 4 from 45 records - Paula Kotzé has 41 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page