Research Groups

The Software Technology Laboratory includes the following research groups:

• Modeling and Analysis in Software Engineering (MASE) Group

  The MASE Group is under the direction of Dr. Juergen Dingel. The research interests of this group include software modeling, model-driven engineering, analysis of software artifacts, formal specification and verification, formal methods, testing, software quality assurance, and software engineering.

• Engineering Interactive Systems (EQUIS) Lab

  The EQUIS Lab is under the direction of Dr. T.C. Nicholas Graham and conducts research on how software engineering can contribute to the design and development of more usable computer systems. Current projects include the Workspace Model, the Software Design Board, and Model-Based Testing of Collaborative Systems.

• Source Transformation Group

Under the direction of Dr. James Cordy The Source Transformation Group explores the paradigm of structured source transformation as applied to problems in software system design, analysis and maintenance, as well as computational problems in general.Current projects include The TXL Project, Next Generation Transformational Languages Project, The Whole Website Understanding Project, The Software Design Ontology Project, Transformation Engineering Toolkit for Eclipse (TETE) Project, Software Tuning Panels for Autonomic Control (STAC) Project, Complementary Software Validation Project, andLightweight Semantic Markup Project.

• Queen's Reliable Software Technology (QRST) Group

The QRST group is headed by Dr. Mohammad Zulkernine. The principal research interests of this group are Automatic intrusion detection, Automatic software monitoring, Software reliability, and Software security engineering.

Additionally, other labs with in Queen's University's conduct software related research.

• Software Engineering Research Laboratory (SERL)

The Software Engineering Research Lab is under the directon of Dr. Thomas Dean and Dr. Ying Zou in the Department of Electrical and Computer Engineering. Groups with in the lab include the Software Reengineering Research Group.



• Diagram Recognition Laboratory

Under the direction of Dr. Dorothea Blostein, the Diagram Recognition Lab focuses on developing software for converting digitized images of documents to computer usable formats. We place special emphasis on interpretation of diagrams, in which two-dimensional arrangements of symbols are used to convey meaning. Currently we work with recognition of UML diagrams, recognition of mathematics notation, and recognition of business cards. We are using TXL to develop robust, scalable methods for representing the syntax and semantics of diagram notations.