Search results for "John A. van der Poll"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ayodele A. Adesina-Ojo, John A. van der Poll, Lucas M. Venter	Towards the formalisation of object-oriented methodologies.	SAICSIT Conf.	2011	DBLP DOI BibTeX RDF
1	Cyrille Dongmo, John A. van der Poll	Evaluating software specifications by comparison.	SAICSIT Conf.	2011	DBLP DOI BibTeX RDF
1	John A. van der Poll	Formal methods in software development: a road less travelled.	South African Computer Journal	2010	DBLP BibTeX RDF
1	Cyrille Dongmo, John A. van der Poll	A four-way framework for validating a specification.	SAICSIT Conf.	2010	DBLP DOI BibTeX RDF
1	Cyrille Dongmo, John A. van der Poll	Use Case Maps as an Aid in the Construction of a Formal Specification.	MSVVEIS	2009	DBLP BibTeX RDF
1	Tertia Hörne, John A. van der Poll	Planning as model checking: the performance of ProB vs NuSMV.	SAICSIT Conf.	2008	DBLP DOI BibTeX RDF	tableaux theorem proving, model checking, planning, satisfiability, BDDs, constraint logic programming
1	Paul S. Steyn, John A. van der Poll	Validating Reasoning Heuristics Using Next-Generation Theorem-Provers.	MSVVEIS	2007	DBLP BibTeX RDF
1	John A. van der Poll, Paula Kotzé	Enhancing the established strategy for constructing a Z specification.	South African Computer Journal	2005	DBLP BibTeX RDF
1	Ashraf Gaffar, Ahmed Seffah, John A. van der Poll	HCI pattern semantics in XML: a pragmatic approach.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	programmable patterns, XML, knowledge representation, information modeling, knowledge reuse, knowledge dissemination
1	John A. van der Poll, Paula Kotzé, Willem Adrian Labuschagne	Automated Support for Enterprise Information Systems.	J. UCS	2004	DBLP BibTeX RDF
1	John A. van der Poll, Paula Kotzé	Reasoning about the Properties of an Enterprise Information System.	VVEIS	2004	DBLP BibTeX RDF
1	John A. van der Poll, Paula Kotzé	A multi-level marketing case study : specifying forests and trees in Z.	South African Computer Journal	2003	DBLP BibTeX RDF

Publications of "John A. van der Poll" ( http://dblp.L3S.de/Authors/John_A._van_der_Poll )