| About
the Lab
The
Software Technology Laboratory at Queen's University has been conducting
leading edge research in software design and engineering for 20 years. The lab currently has 9 faculty members and 22 student
members. Graduates of the Software Technology Laboratory include
leading software innovators in virtually every major software house
in Canada as well as several professors of Software Engineering
in Canada and abroad.
Within the
lab, research is conducted by a variety of groups including
the Applied Formal Methods Group, the
Engineering
Interactive Systems (EQUIS) Group, the Source
Transformation Group, and the Queen's
Reliable Software Technology (QRST) Group. For information
on the research conducted by these groups and others please
see the recent publications section of our website.
History
The
Software Technology Laboratory at Queen's University was established
in 1986 by D.A. Lamb
and J.R. Cordy,
Primarily
funded by NSERC and CITO, over the years the laboratory
has enjoyed support from IBM Canada Limited, Silicon
Graphics Inc., Sun Microsystems and other companies. The
laboratory has spun off start-up companies such as NIAL
Systems Limited, Legasys Corporation, Namzak
Labs and TXL Software Research Inc.
As part of the ITRC Software Design Technology project, the laboratory
shared in the ITRC 1994 Bank of Montreal Innovation Excellence Award
and the ITRC 1995 ITRC Chair's Award for Entrepreneurship in Technology
Innovation.
Upcoming Software Conferences:
|
|