GLiDeS' Models
Using Models to Guide Linear Deductions
by
and
Marianne Brown
Geoff Sutcliffe
School of Information Technology
James Cook University
Australia
marianne@cs.jcu.edu.au
geoff@cs.jcu.edu.au
Abstract