Search the dblp DataBase

Publications of Author

1. John A. van der Poll, Paula Kotzé
   Reasoning about the Properties of an Enterprise Information System. [Citation Graph (0, 0)][DBLP]
   VVEIS, 2004, pp:10-19 [Conf]
   
2. John A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne
   Automated Support for Enterprise Information Systems. [Citation Graph (0, 0)][DBLP]
   J. UCS, 2004, v:10, n:11, pp:1519-1539 [Journal]
   
3. John A. van der Poll, Paula Kotzé
   A multi-level marketing case study : specifying forests and trees in Z. [Citation Graph (0, 0)][DBLP]
   South African Computer Journal, 2003, v:30, n:, pp:17-28 [Journal]
   
4. John A. van der Poll, Paula Kotzé
   Enhancing the established strategy for constructing a Z specification. [Citation Graph (0, 0)][DBLP]
   South African Computer Journal, 2005, v:35, n:, pp:118-131 [Journal]
   
5. 
   Use Case Maps as an Aid in the Construction of a Formal Specification. [Citation Graph (, )][DBLP]
   
   
6. 
   Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. [Citation Graph (, )][DBLP]
   
   
7. 
   Planning as model checking: the performance of ProB vs NuSMV. [Citation Graph (, )][DBLP]