edith@ai.toronto.edu (Edith Fraser) (02/28/90)
FLASH ANNOUNCEMENT
(GB = Galbraith Building, 35 St. George Street)
-------------------------------------------------------------
SYSTEMS & GRAPHICS & INTERACTION
GB119, at 2:00 p.m., 7 March 1990
Dr. Arthur G. Ryman
IBM Canada Laboratory
"An Overview of the 4Thought Project"
This seminar presents an overview of 4Thought, a research project currently
in progress at the IBM Canada Laboratory in collaboration with researchers
at Queen's Univerity, University of Waterloo, and University of Toronto.
The goal of 4Thought is to improve the quality and productivity of systems
software design. 4Thought will consist of techniques and tools to support
the design tasks of verification, visualisation and transformation.
Verification is supported through the use of Prolog as a design knowledge
representation technology. Visualisation is supported through the use of
real-time, three-dimensional graphics to create a virtual world metaphor
for interaction with the design knowledge base. Transformation is supported
through the use of a metaprogramming language for the automatic generation
of components from the design knowledge base.
The seminar will also include a brief summary of other research and
advanced tecnology projects in progress at the IBM Canada Lab.