Charles Rattray

Publication Activity (10 Years)

Years Active: 1989-2006
Publications (10 Years): 0

Publications

Savi Maharaj, Carron Shankland, Charles Rattray
Preface. Theor. Comput. Sci. 351 (2) (2006)
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
Formal Specification of Computer-Based Systems. J. Univers. Comput. Sci. 10 (10) (2004)
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
Formal Specifications of Computer-Based Systems. ECBS (2003)
Miroslav Svéda, Charles Rattray, Jerzy W. Rozenblit
Formal Specifications of Computer-Based Systems. ECBS (2002)
Miroslav Svéda, Charles Rattray
Formal Specifications of Computer-Based Systems. ECBS (2001)
Miroslav Svéda, Franz Pichler, Charles Rattray
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. ECBS (2000)
A. C. Reeves, Charles Rattray
A Sketch-Based Technique for the Derivation of Self-Interpreters. Comput. Lang. 25 (1) (1999)
Charles Rattray
Identification and Recognition through Shape in Complex Systems. EUROCAST (1995)
Charles Rattray
The Shape of Complex Systems. EUROCAST (1993)
Charles Rattray, Marion Marsden
Object Identification and Retrieval in a CAST Library. EUROCAST (1991)
Richard Bland, James R. Cowie, Tom Kane, Charles Rattray, Ian Wilson
Using a Prolog Engine to Integrate Multiple Knowledge Sources: The KCM/Help-Desk Project. The Next Generation of Information Systems (1991)
A. C. Reeves, Charles Rattray
Sketching a Constructive Definition of 'mix'. Functional Programming (1989)
Charles Rattray, Don Price
Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design. EUROCAST (1989)