John Cooke

发表

Discovery: A Collaborative Data Mining Approach to Creative Science

Takami Yasuda, Jim E. Greer, John Cooke, 2000 .

Editorial – Formal Methods: What? Why? and When?

John Cooke, 1992 .

Proxy Servers and Databases for Managing Web-based Information

Jim E. Greer, John Cooke, Judi R. Thomson, 1997 .

Julita Vassileva, Christopher A. Brooks, John Cooke, 2003, Proceedings 3rd IEEE International Conference on Advanced Technologies.

Methods integration: time for reflection (and reorientation?)

John Cooke, 1996 .

Generating instructional hypermedia with APHID

Jim E. Greer, John Cooke, Judi R. Thomson, 2000, HYPERTEXT '00.

Constructing Correct Software (Formal Approaches to Computing and Information Technology)

John Cooke, 2004 .

Architects and Engineers: Practising in the Public Interest

John Cooke, 1991 .

The MicroWeb toolkit: Bringing the WWW to the classroom

Jim E. Greer, John Cooke, Judi R. Thomson, 1996, WebNet.

BCS-FACS 7th Refinement Workshop: Proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996

Peter J. L. Wallis, He Jifeng, John Cooke, 1997 .

Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194

John Cooke, 1994, Microprocess. Microsystems.

Proceedings of the BCS-FACS 7th conference on Refinement

Peter J. L. Wallis, He Jifeng, John Cooke, 1996 .

Constructing correct software (2. ed.)

John Cooke, 2005 .

Automatic generation of instructional hypermedia with APHID

Jim E. Greer, John Cooke, Judi R. Thomson, 2001, Interact. Comput..

Formal Methods - Mathematics, Theory, Recipes or What?

John Cooke, 1992, Comput. J..

A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data

Jim E. Greer, Eric Neufeld, John Cooke, 2000, Canadian Conference on AI.

Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications

Oliver Au, John Cooke, Roger G. Stone, 2007, IFM.

A place for the law in architectural studies

John Cooke, J. Cooke, 1997 .

The Purpose of Specification

John Cooke, Roger G. Stone, 1997, PPIG.

DESCRIPTORS *Computer Uses in Education; *Educational Technology; Elementary Secondary Education; Foreign Countries; Higher Education; *Instructional Design; *Models; *Tutoring

Pub Date, Jim E. Greer, Jim Greer, 2000 .

The Intelligent Helpdesk: Supporting Peer-Help in a University Course

Julita Vassileva, Vive Kumar, Gordon I. McCalla, 1998, Intelligent Tutoring Systems.

Human Error In Programming: The Need To Study The Individual Programmer

John Cooke, Richard Bunt, R. Bunt, 1975 .

Technologies for sustained biological resource observations with potential applications in coastal homeland security

John Cooke, Andrew M. Clark, Grant R. Gilmore, 2003 .

Teaching formal software engineering at Loughborough

John Cooke, Roger G. Stone, 1992, PPIG.

Constructing correct software - the basics

John Cooke, 1998, FACIT: Formal approaches to computing and information technology.