Recommended Research Topics
¤ Theoretical
Software Engineering
-
Methodologies for software system behaviors description
-
Applications of Real-Time Process Algebra (RTPA)
-
Formal description and extension of UML
-
Requirement specification models for real-time
software systems
- Process-algebra-based software frameworks
-
Formal description of OO data components
-
Code generation on the basis of software frameworks and patterns
-
Mathematical models of generic software attributes
-
Mathematical models of software quality
¤ Empirical
Software Engineering
- Process-based
SE
- SE process benchmarking
- Software
quality and quality assurance models
- Emerging roles in SE and supporting technologies
- Software quality measurement and control
¤ Software Engineering Measurement and Metrics
-
SE measurement models and metrics
- A web-based
SE process benchmarking
server
- Software
quality measurement assurance models
- SE measurement expert systems
¤ Component Architectures, Frameworks, and Tests
-
Reusable software frameworks and components
- Built-in tests (BITs) in component-based
SE
-
BIT classes
-
Test reuse methodologies
¤ Real-Time
and Embedded Software Systems
- Web-based distributed system architectures and
technologies
- Run-time tests in real-time systems
- Investigation of characteristics of event-driven, and/or time-scheduling
real-time systems
- Real-time systems modeling
- Real-time systems validation and verification
¤ Cognitive
Informatics
- Computational cognition models
- Formal description of the brain and mind
- Formal description of cognitive processes of memory and
learning
- Methodologies for knowledge acquisition and expression
- Complex systems decomposition and
integration
Graduate Courses
¤
ENEL609.02 (Summer '03)
Cognitive Informatics
¤
SENG609.19 (Fall '01/02/03)
Theoretical Foundations of Software Engineering
¤ SENG609.17
(Winter '01/02/03) Software Engineering Standards and Models
¤ SENG523
(Winter '02/03) Formal Methods (Graduate/Undergraduate)
¤ ENEL609.01
(Spring '01) Software Engineering Measurement and
Analysis
-
Other graduate courses in Software Engineering
Graduate Students
¤
Yousheng Tian
(yshtian@gmail.com) [PhD]
¤
Philip Choy
(ChPChoy@ucalgary.ca) [MSc/PhD]
¤
Jeff Bancroft
(frosennorth@hotmail.com) [MSc]
¤
Mike W. Wu
(michwu@shaw.ca)
[MSc, Graduated 2002]
PDF/UNU Fellows
¤
Dr. Tran D. Que
(2001)
¤ Dr. Jianhua
Zhao (2002)
¤ Dr. Nguyen
N. Binh (2002)
¤ Dr.
Nguyen Cong Vu (2003)
¤ Dr.
Xinmin Tan
(2007)
¤ Dr.
Yousheng Tian
(2008)