 | 2009 |
|---|
| 8 |       | Cyrille Dongmo,
John A. van der Poll:
Use Case Maps as an Aid in the Construction of a Formal Specification.
MSVVEIS 2009: 3-13 |
| 2008 |
|---|
| 7 |  | Tertia Hörne,
John A. van der Poll:
Planning as model checking: the performance of ProB vs NuSMV.
SAICSIT Conf. 2008: 114-123 |
| 2007 |
|---|
| 6 | | Paul S. Steyn,
John A. van der Poll:
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.
MSVVEIS 2007: 43-52 |
| 2005 |
|---|
| 5 | | Ashraf Gaffar,
Ahmed Seffah,
John A. van der Poll:
HCI pattern semantics in XML: a pragmatic approach.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 4 | | John A. van der Poll,
Paula Kotzé:
Enhancing the established strategy for constructing a Z specification.
South African Computer Journal 35: 118-131 (2005) |
| 2004 |
|---|
| 3 | | John A. van der Poll,
Paula Kotzé:
Reasoning about the Properties of an Enterprise Information System.
VVEIS 2004: 10-19 |
| 2 | | John A. van der Poll,
Paula Kotzé,
Willem Adrian Labuschagne:
Automated Support for Enterprise Information Systems.
J. UCS 10(11): 1519-1539 (2004) |
| 2003 |
|---|
| 1 | | John 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) |
