John Cooke - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2007

Precise Scenarios - A Customer-Friendly Foundation for Formal SpecificationsOliver Au, Roger Stone, John Cooke. IFM 2007: 21-36 [doi]

EditorialJohn Cooke. fac, 19(1):1, 2007. [doi]

2005

EditorialJohn Cooke. fac, 17(3):259-259, 2005. [doi]

Constructing correct software (2. ed.)John Cooke. Springer, 2005. [doi]

2004

EditorialCliff B. Jones, John Cooke. fac, 16(1):1, 2004. [doi]

2003

Versioning of Learning ObjectsChristopher A. Brooks, John Cooke, Julita Vassileva. icalt 2003: 296-297 [doi]

EditorialJohn Cooke, Savi Maharaj, Judi Romijn, Carron Shankland. fac, 14(3):199, 2003. [doi]

2002

EditorialJohn Cooke, B. Tim Denvir. fac, 13(2):93, 2002. [doi]

EditorialJohn Cooke. fac, 14(1):1, 2002. [doi]

2001

Automatic generation of instructional hypermedia with APHIDJudi R. Thomson, Jim E. Greer, John Cooke. iwc, 13(6):631-654, 2001.

2000

A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete DataJeff Bowes, Eric Neufeld, Jim E. Greer, John Cooke. ai 2000: 326-336 [doi]

Generating instructional hypermedia with APHIDJudi R. Thomson, Jim E. Greer, John Cooke. ht 2000: 248-249 [doi]

1998

Constructing correct software - the basicsJohn Cooke. FACIT: Formal approaches to computing and information technology, Springer, 1998.

The Intelligent Helpdesk: Supporting Peer-Help in a University CourseJim E. Greer, Gordon I. McCalla, John Cooke, Jason A. Collins, Vive Kumar, Andrew Bishop, Julita Vassileva. its 1998: 494-503 [doi]

1997

The Purpose of SpecificationRoger G. Stone, John Cooke. PPIG 1997: 5 [doi]

1996

The MicroWeb toolkit: Bringing the WWW to the classroomJudi R. Thomson, John Cooke, Jim E. Greer. webnet 1996:

1994

Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194John Cooke. mam, 18(5):297, 1994. [doi]

1992

Formal Methods - Mathematics, Theory, Recipes or What?John Cooke. cj, 35(5):419-423, 1992.

Teaching formal software engineering at LoughboroughRoger G. Stone, John Cooke. PPIG 1992: 11 [doi]

Sign in or sign up to see more results.

runs on WebDSL